Brussels / 3 & 4 February 2018

schedule

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.

Speakers

Photo of Jean-Pierre Rosen Jean-Pierre Rosen

Links