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 AADLSafety-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.
......
Tập 29 Số 3 - Trang 31-44 - 2009