Brussels / 2 & 3 February 2019


What is Safety-Critical Software, and How Can Ada and SPARK Help?

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!


Photo of Jean-Pierre Rosen Jean-Pierre Rosen