Nov 9, 2021 — Online Event
High Integrity Software: Assuring security and safety for critical software applications
The conference will focus on cyber safety for embedded systems (ie. the confluence of safety and security), and how innovations in testing and the application of formal methods can help to achieve those objectives. Talks will address themes including the state of the art in software testing, using fuzz testing in a civil avionics security certification context (DO-326A), and applying innovative techniques such as formal methods to achieve cyber security.
This year, the conference will feature a keynote talk about the work of the National Cyber Security Centre in the domain of embedded and critical systems.
Posted on 8/31/2021