Validate, simulate, and implement ARINC653 systems using the AADL
Validate, simulate, and implement ARINC653 systems using the AADL
复制标题
DOI：
10.1145/1647420.1647435
复制
发表时间：
2009-11
期刊：
影响因子：
--
通讯作者：
Julien Delange;L. Pautet;A. Plantec;Mickaël Kerboeuf;Frank Singhoff;F. Kordon
中科院分区：
文献类型：
--
作者：
Julien Delange;L. Pautet;A. Plantec;Mickaël Kerboeuf;Frank Singhoff;F. Kordon
安全关键型系统广泛应用于不同的领域，其复杂性日益增加。此类系统依赖于ARINC653航空电子设备标准中的特定服务，如空间和时间隔离。它们的严重性需要基于适当的开发过程和专用工具的精心驱动的设计，以便尽早检测和避免问题。模型驱动工程（MDE）方法现在被认为是构建安全关键系统的有价值的方法。体系结构分析与设计语言（AADL）提出了一种适合于操作MDE的基于组件的语言，以满足安全关键系统的需求。本文提出了一种利用AADL对ARINC653系统进行建模、验证和实现的方法。详细介绍了利用AADL版本2的新特性设计ARINC653体系结构的建模方法。它还建议建模模式来表示其他安全机制，例如在关键应用程序中使用Ravenscar。这种方法得到了Ocarina （AADL工具包）、POK （AADL/ARINC653运行时）和Cheddar（调度验证）等工具的全面支持。因此，它帮助系统工程师模拟和验证非功能需求，如调度或资源维度。
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. Model Driven Engineering (MDE) approaches are now considered as valuable approach for building safety-critical systems. The Architecture Analysis and Design Language (AADL) proposes a component-based language suitable to operate MDE that fits with safety-critical systems needs. This paper presents an approach for the modeling, verification and implementation of ARINC653 systems using AADL. It details a modeling approach exploiting the new features of AADL version 2 for the design of ARINC653 architectures. It also proposes modeling patterns to represent other safety mechanisms such as the use of Ravenscar for critical applications. This approach is fully backed by tools with Ocarina (AADL toolsuite), POK (AADL/ARINC653 runtime) and Cheddar (scheduling verification). Thus, it assists system engineers to simulate and validate non functional requirements such as scheduling or resources dimensioning.