A Highly Reliable Computer for Airborne Applications,
Abstract
This paper highlights the reliability features of the CMF (Calculateur Militaire Francais) AIR embedded computer supporting its operational software. This computer was designed to meet the requirements of the ACE (Avion de Combat European)/RAFALE D aircraft. For this reason, it has to be highly dependable, to satisfy severe physical requirements (size, weight, power consumption, etc.) and to support real-time software execution (this software being written in high-level languages such as Ada and LTR3 (a French Pascal-like real-time language). The general structure of the computer is first presented, emphasis being placed on the technological choices (for example, the use of application specific integrated circuits). The various protective mechanisms provided at the level of the machine (hardware and microcode) and then presented: data access control and code execution control. Finally, a short presentation of the software production environment is given. Compromises made between operational dependability and performance characteristics are also summarized.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 01, 1988
- Accession Number
- ADP005772
Entities
People
- Michel Muenier
Organizations
- AGARD