Association for Computing Machinery (ACM)

Công bố khoa học tiêu biểu

* Dữ liệu chỉ mang tính chất tham khảo

Sắp xếp:  
Validate, simulate, and implement ARINC653 systems using the AADL
Association for Computing Machinery (ACM) - Tập 29 Số 3 - Trang 31-44 - 2009
Julien Delange, Laurent Pautet, Alain Plantec, Mickaël Kerbœuf, Frank Singhoff, Fabrice Kordon
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. ...... hiện toàn bộ
Tổng số: 1   
  • 1