Association for Computing Machinery (ACM)
1094-3641
Cơ quản chủ quản: N/A
Các bài báo tiêu biểu
Validate, simulate, and implement ARINC653 systems using the AADL
Tập 29 Số 3 - Trang 31-44 - 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. Model Driven
Engineering (...