|
General
TTP Easy-to-Read
TTP – Frequently
Asked Questions
The Time-Triggered
Architecture
Glossary of
Terms and Acronyms
Fault Handling
Fault
Handling in the Time-Triggered Architecture
Håkan
Sivencrona: Heavy-Ion Fault Injection in TTP-C2 Implementation
Astrit
Ademaj et al.: Evaluation of Fault Handling of the Time-Triggered
Architecture with Bus and Star Topology (short
version)
Günther
Bauer et al.: The Central Guardian Approach to Enforce Fault
Isolation in the Time-Triggered Architecture
Formal Verification
John
Rushby: Systematic Formal Verification for Fault-Tolerant
Time-Triggered Algorithms
John
Rushby: An Overview of Formal Verification For the Time-Triggered
Architecture
Holger
Pfeifer: Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture
Holger
Pfeifer: Model Checking a Fault-Tolerant Startup Algorithm
Protocol Comparisons
QinetiQ:
Vetronics Standards & Guidelines
NASA:
Comparison of Communication Architectures for Spacecraft Modular
Avionics Systems
TTTech:
Protocols for Aerospace Control Systems
John
Rushby: A Comparison of Bus Architectures for Safety-Critical
Embedded Systems
Hermann
Kopetz: A Comparison of CAN and TTP
Books
Hermann
Kopetz: "Real-Time-Systems: Design Principles for Distributed
Embedded Applications"
Third
Edition of "Avionics Databuses"
Second
Edition of "Digital Avionics Handbook"
For additional articles please refer to the
Real-Time
Systems Research Group website.
|
