Brussels / 3 & 4 February 2018


Ada, or How to Enforce Safety Rules at Compile Time

This is a real life story of a mixed criticality system, where a proper usage of Ada's features for controlling visibility allowed a provable enforcement of the segregation rules at compile time: any violation would simply not compile.


Photo of Jean-Pierre Rosen Jean-Pierre Rosen