ACM SIGAda’s High Integrity Language Technology
International Workshop on
Model-Based Development and Contract-Based Programming
as part of Embedded Systems Week (ESWEEK)
In this presentation I will outline 40 years of involvement and experience with High Integrity Languages, starting with the birth of the Ada language, moving to the creation of synchronous languages and their inclusion in a broader MBSE framework. This talk will show how this has all been built from strong customer and regulatory requirements, in various application domains including aeronautics, railways and now automotive.