|
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: An Overview of Formal Verification for the Time-Triggered
Architecture (slides)
John
Rushby: Formal Analysis of TTA
John
Rushby: Partitioning in the Time-Triggered Architecture
John
Rushby: Formal Verification of Transmission Window Timing
for the Time-Triggered Architecture
John
Rushby: Formal Methods Assurance for TTP (abstract)
John
Rushby: Systematic Formal Verification for Fault-Tolerant
Time-Triggered Algorithms (long
version)
Holger
Pfeifer: Modular Formal Analysis of the Central Guardian in
the Time-Triggered Architecture
Holger
Pfeifer: Formal Verifcation of the TTP Group Membership Algorithm
Holger
Pfeifer: Formal Verification for Time-Triggered Clock Synchronization
Shmuel
Katz: Low-overhead Time-Triggered Group Membership
Protocol Comparisons
QinetiQ:
Vetronics Standards & Guidelines
NASA:
Comparison of Communication Architectures for Spacecraft Modular
Avionics Systems
John
Rushby: A Comparison of Bus Architectures for Safety-Critical
Embedded Systems, 2003
John
Rushby: A Comparison of Bus Architectures for Safety-Critical
Embedded Systems, 2001 (long
version)
Hermann
Kopetz: A Comparison of TTP/C and FlexRay
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.
|
