Skip to content

Commit

Permalink
docs: add slides of OSS Europe talk
Browse files Browse the repository at this point in the history
Signed-off-by: Christian Schlotter <[email protected]>
  • Loading branch information
schlotter committed Sep 20, 2024
1 parent 9d35993 commit e87e093
Show file tree
Hide file tree
Showing 4 changed files with 33 additions and 3 deletions.
4 changes: 4 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -116,3 +116,7 @@ By making a contribution to this project, I certify that:
maintained indefinitely and may be redistributed consistent with
this project or the open source license(s) involved.
```

## Talks

Slides and recordings related to this project can be can be found [in the `talks` directory](talks/).
7 changes: 4 additions & 3 deletions examples/digital_microscope/README.md
Original file line number Diff line number Diff line change
@@ -1,8 +1,9 @@
# Digital Microscope

This is a simple example of a digital microscope that functioned as an
example in the conference talk "Level Up Your Embedded Testing Game:
FRETish, Robot, and Twister: A Dream Team" on the "Open Source Summit Europe 2024"
example in the conference talk [*Level Up Your Embedded Testing Game –
FRETish, Robot, and Twister: A Dream Team* on Open Source Summit Europe 2024
in Vienna](/talks/).

This is just for illustration purposes of FRET to RobotFramework tests
This is just for illustration purposes of FRET to Robot Framework tests
and does not guarantee correctness or best-practices of Zephyr.
Binary file not shown.
25 changes: 25 additions & 0 deletions talks/README.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,25 @@
# Talks

This directory contains slides and recordings of talks related to `fret-to-robot`.

## Level Up Your Embedded Testing Game – FRETish, Robot, and Twister: A Dream Team

* **Date**: September 17, 2024
* **Event**: Open Source Summit Europa, Vienna
* **Abstract**:

Developing embedded software for regulated environments like medical devices presents unique challenges. Crucially,
we need to document how the software design fulfills stated product requirements. While functional testing remains
dominant for verifying functional suitability, deriving and maintaining effective test suites can quickly become
cumbersome.

This talk explores a novel approach to this longstanding problem. We leverage NASA's FRETish method for formally
capturing requirements. We will talk about how the formal nature of FRETish requirements allows for automatic test
case generation leveraging the Robot Framework. The latter was specifically chosen as it is partially supported by
Zephyr's test harness today and allows to utilize twister for automated test execution of these test suites on real
hardware. This method has the potential to streamline testing, offering benefits such as reduced time and
maintenance efforts as well as accurate coverage metrics from very early on in the project's lifecycle.

We'll discuss our progress in implementing this approach, the challenges we encountered, and potential solutions for
deeper integration with the Zephyr project.
* **Slides**: [20240917 OSS Europe Level Up Your Embedded Testing Game.pdf](20240917%20OSS%20Europe%20Level%20Up%20Your%20Embedded%20Testing%20Game.pdf)

0 comments on commit e87e093

Please sign in to comment.