Completed
Knob: Correct by Construction Testing
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Deploying Linux in Safety Critical Applications - Three Key Challenges
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Safety versus Conformance
- 3 Safety versus Safety Integrity
- 4 A Simple Model - Timing Mitigation
- 5 A Simple Model - HW Context
- 6 A Simple Model – Application Context
- 7 A Simple Model - OS Interferend
- 8 Knob: Choice of OS
- 9 Knob: Hardening of OS
- 10 Knob: Correct by Construction Testing
- 11 Knob: Exploit Application Properties
- 12 Safety Element out of Context
- 13 SEOOC Integration Challenge
- 14 Conclusion
