diff --git a/README.md b/README.md index 7ab455c..93001fa 100644 --- a/README.md +++ b/README.md @@ -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 found [in the `talks` directory](talks/). diff --git a/examples/digital_microscope/README.md b/examples/digital_microscope/README.md index 70bb1a0..d566a15 100644 --- a/examples/digital_microscope/README.md +++ b/examples/digital_microscope/README.md @@ -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. diff --git a/talks/20240917 OSS Europe Level Up Your Embedded Testing Game.pdf b/talks/20240917 OSS Europe Level Up Your Embedded Testing Game.pdf new file mode 100644 index 0000000..50f218e Binary files /dev/null and b/talks/20240917 OSS Europe Level Up Your Embedded Testing Game.pdf differ diff --git a/talks/README.md b/talks/README.md new file mode 100644 index 0000000..ee0435a --- /dev/null +++ b/talks/README.md @@ -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 +* **Slides**: [20240917 OSS Europe Level Up Your Embedded Testing Game.pdf](20240917%20OSS%20Europe%20Level%20Up%20Your%20Embedded%20Testing%20Game.pdf) +* **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.