Protocol-level system health monitoring and redundancy management for integrated vehicle health management

AIAA/IEEE Digital Avionics Systems Conference - Proceedings

Volumn , Issue , 2006, Pages

  Jakovljevic, Mirko ^a   Artner, Martin ^a  

^a TTTech North America   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 77957778129     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DASC.2006.313723     Document Type: Conference Paper

References (5)

1. TTA-Group, 2002, TTP Specification v1.1.
2. nd ed., CRC Press (Taylor&Francis), Boca Raton, FL.
3. Rushby, John, An Overview of Formal Verification FOR the Time-Triggered Architecture, FTRTFT'02, Oldenburg, Germany, September 2002 (Springer-Verlag LNCS Vol. 2469, pp. 83-105.)
4. TTP-Tools: Integrated TTP Software Development Suite, http://www.tttech.eom/products/software/ttptools/overview.htm
5. Gwaltney, David A., Briscoe, Jeri M., 2005, The Integrated Safety-Critical Advanced Avionics Communication and Control (ISAACC) System Concept: Infrastructure for ISHM, CASI, 2005 Integrated Systems Health Management Conference, Cincinnati, OH, United States, 8-11 Aug. 2005.