Model-based development for time-triggered architectures

AIAA/IEEE Digital Avionics Systems Conference - Proceedings

Volumn 2, Issue , 2004, Pages

  Dion, Bernard ^a   Le Sergent, Thierry ^a   Martin, Bruno ^a   Griebel, Herbert ^b  

^a ANSYS Esterel Technologies   (France)

^b TTTech Computertechnik AG   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER SIMULATION; CONTROL SYSTEMS; FAULT TOLERANT COMPUTER SYSTEMS; MATHEMATICAL MODELS; SCHEDULING; SYSTEMS ENGINEERING;

CODE GENERATION; ELECTRONIC CONTROL UNITS (ECU); TASK SCHEDULING; TIME-TRIGGERED ARCHITECTURES (TTA);

SOFTWARE ENGINEERING;

EID: 16244366778     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (6)

1. Bernard Dion, Correct-by-Construction Methods for the Development of Safety-Critical Applications, SAE World Congress, Paper # 4AE-129, Detroit, March 2004.
2. TTP Specification, http://www.ttagroup.org
3. Herman Kopetz, Real-Time Systems: design Principles for Distributed Embedded Applications, Kluwer Academic Publishers, 1997.
4. ARP 4754: Certification Considerations for Highly Integrated or Complex Aircraft Systems, SAE, 1996.
5. DO-178B: Software Considerations in Airborne Systems and Equipment Certification, RTCA, 1992.
6. DO-254: Design Assurance Guidance for Airborne Electronics Hardware.