AADL and Dassault Aviation
What is interesting about ARINC 653, in addition to laying out a partitioned architecture, is that they also have some guidance for health monitoring, but it is not formalized
About the Speaker
Thierry Cornilleau works for Dassault Aviation, contributing to a number of real-time and avionics software studies and projects. Most recently, he was involved in the Allied Standards Avionics Architecture Council (ASAAC) Software Group and in the European Component Oriented Architecture (ECOA) development. Cornilleau holds a doctoral degree computer science as well as a degree in engineering.
Peter Feiler is the technical lead and author of the Architecture Analysis & Design Language (AADL) Standard. For the last 25 years, Feiler has been a senior member of the technical staff at the SEI where his research areas include dependable real-time systems, architecture languages for embedded systems, and predictable system analysis and engineering. In 2009, he received the