Abstract
The dependability of compiler would directly affect the quality of software because it can directly produce object code. At the same time, compiler diversity is an important part of software diversity design in a redundant system, which could not only help avoid common defects from compilers but also to find defects in source code. This paper proposes a method for compiler selection in safety-critical embedded redundant system based on airworthiness requirement and the principle of software diversity. A case on compiler selection in tri-redundancy FCS (flight control system) is given in the end.
| Original language | English |
|---|---|
| Pages (from-to) | 497-504 |
| Number of pages | 8 |
| Journal | Procedia Engineering |
| Volume | 17 |
| DOIs | |
| State | Published - 2011 |
| Event | 2nd International Symposium on Aircraft Airworthiness, ISAA 2011 - Beijing, China Duration: 26 Oct 2011 → 28 Oct 2011 |
Keywords
- airworthiness requirement
- compiler dependability
- compiler diversity
- compiler selection
- redundant system
Fingerprint
Dive into the research topics of 'A study on compiler selection in safety-critical redundant system based on airworthiness requirement'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver