Ada, or How to Enforce Safety Rules at Compile Time

Ada, or How to Enforce Safety Rules at Compile Time https://peertube.watch/videos/watch/67c92e05-296c-451e-80a7-8870dbebaa0d 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. Speaker: Jean-Pierre Rosen, Track: Ada, Room: AW1.125, When: Saturday 3 February 2018, 13:30–13:50 (Brussels time), Schedule: FOSDEM 2018 event page, Slides & links More info on Ada-Belgium web site, Licence: Creative Commons Attribution 2.0 Belgium (CC BY 2.0 BE) (as stated in the FOSDEM video archive). Attribution: “Ada, or How to Enforce Safety Rules at Compile Time” by Jean-Pierre Rosen, FOSDEM 2018. Original recording: 2018/AW1.125/ada_safety.webm from the FOSDEM video archive. This channel is an unofficial mirror; FOSDEM is a free and non-commercial event organised by the community for the community. Sun, 11 Oct 2026 02:56:18 GMT https://validator.w3.org/feed/docs/rss2.html PeerTube - https://peertube.watch Ada, or How to Enforce Safety Rules at Compile Time https://peertube.watch/lazy-static/avatars/3b284627-b75f-409e-ac2e-10f4c2946f43.png https://peertube.watch/videos/watch/67c92e05-296c-451e-80a7-8870dbebaa0d All rights reserved, unless otherwise specified in the terms specified at https://peertube.watch/about and potential licenses granted by each content's rightholder.