10 search results - page 1 / 2 » TTP - A Time-Triggered Protocol for Fault-Tolerant Real-Time... |
FTCS
1993
13 years 9 months ago
1993
FORMATS
2004
Springer
14 years 8 days ago
2004
Springer
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...
DSN
2006
IEEE
14 years 2 months ago
2006
IEEE
Fault-tolerant time-triggered communication relies on the synchronization of local clocks. The startup problem is the problem of reaching a sufficient degree of synchronization a...
ISORC
2002
IEEE
14 years 1 months ago
2002
IEEE
The Real-Time CORBA and minimumCORBA specifications are important steps towards defining standard-based middleware which can satisfy real-time requirements in an embedded system...
FMCAD
2007
Springer
14 years 2 months ago
2007
Springer
Time-triggered systems are distributed systems in which the nodes are independently-clocked but maintain synchrony with one another. Time-triggered protocols depend on the synchro...