What is Safety-Critical Software, and How Can Ada and SPARK Help?
- Track: Ada devroom
- Room: AW1.125
- Day: Saturday
- Start: 15:30
- End: 15:50
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!
Speakers
 |
Jean-Pierre Rosen |