Validate, simulate, and implement ARINC653 systems using the AADL
Julien Delange, Laurent Pautet, Alain Plantec, Mickaël Kerbœuf, Frank Singhoff, Fabrice Kordon · 2009
Safety-critical systems are widely used in different domains and lead to an increasing complexity. Such systems rely on specific services such space and time isolation as in the ARINC653 avionics standard. Their criticality requires a carefully driven design based on an appropriate development process and dedicated tools to detect and avoid problems as early as possible.