Robustness analysis of avionics embedded systems-Reference-Cited by-同舟云学术

Robustness analysis of avionics embedded systems

Published:2003-07-11 Issue:7 Volume:38 Page:123-132
ISSN:0362-1340
Container-title:ACM SIGPLAN Notices
language:en
Short-container-title:SIGPLAN Not.

Author:

Ait-Ameur Y.¹,Bel G.²,Boniol F.²,Pairault S.²,Wiels V.²

Affiliation:

1. LISI-ENSMA-UP, Futuroscope Cedex, France

2. ONERA-DTIM, Toulouse Cedex, France

Abstract

Avionics embedded systems are confronted to sensors errors or inaccuracies. It is essential to be able to estimate the impact and the propagation of these errors on the system computed outputs. This paper comes from achieved work in the context of an industrial project in the avionics area. It presents a formal approach allowing to analyse the reaction of a LUSTRE program to inaccurate input values. It uses program analysis techniques like abstract interpretation and interval analysis. The approach has been implemented in Java and applied to parts of a flight control system of the AIRBUS aircrafts.

Publisher

Association for Computing Machinery (ACM)

Subject

Computer Graphics and Computer-Aided Design,Software

Link

https://dl.acm.org/doi/pdf/10.1145/780731.780750

Reference15 articles.

1. Strictness analysis for higher-order functions

2. Abstract interpretation

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Learning Non-robustness using Simulation-based Testing: a Network Traffic-shaping Case Study;2023 IEEE Conference on Software Testing, Verification and Validation (ICST);2023-04

2. A Systematic Review on Software Robustness Assessment;ACM Computing Surveys;2022-05-31

3. Platform Software Reliability for Cloud Service Continuity - Challenges and Opportunities;2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS);2021-12

4. A Literature Review on Embedded Systems;IEEE Latin America Transactions;2020-02

5. CheckCell;ACM SIGPLAN Notices;2014-12-31