Abstract | ||
---|---|---|
The Time-Triggered Protocol TTP/C constitutes the core of the communication level of the Time-Triggered Architecture for dependable real-time systems. TTP/C ensures consistent data distribution, even in the presence of faults occurring to nodes or the communication channel. However, the protocol mechanisms of TTP/C rely on a rather optimistic fault hypothesis. Therefore, an independent component, the central guardian, employs static knowledge about the system to transform arbitrary node failures into failure modes that are covered by the fault hypothesis. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1016/j.ress.2006.10.006 | Reliability Engineering & System Safety |
Keywords | Field | DocType |
real time systems,failure mode,communication channels | Computer science,Correctness,Real-time operating system,Theoretical computer science,Formal specification,Fault tolerance,Modular design,Formal methods,Hierarchy,Time-triggered architecture,Reliability engineering,Embedded system | Journal |
Volume | Issue | ISSN |
92 | 11 | 0951-8320 |
Citations | PageRank | References |
2 | 0.40 | 18 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Holger Pfeifer | 1 | 179 | 12.77 |
Friedrich W. Von Henke | 2 | 425 | 49.05 |