What is Safety-Critical Software, and How Can Ada and SPARK Help?
Channel: FOSDEM
Date: 2019-02-12

by Jean-Pierre Rosen

At: FOSDEM 2019
https://video.fosdem.org/2019/AW1.125/ada_safety.webm


We are (too much) used to software having bugs as an unavoidable fate. But for safety-critical software, like the code that's driving planes or trains, "Failure is Not an Option". This presentation exposes the constraints of such software, and how they require a special state of mind, special methods, and special tools - like Ada and SPARK. And these can be useful for more casual programming - zero bug software is nice, even when not safety-critical! 

Room: AW1.125
Scheduled start: 2019-02-02 15:30:00+01