55 search results - page 5 / 11 » Self-Testing Fault-Tolerant Real-Time Systems |
FORMATS
2004
Springer
13 years 11 months 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...
ECRTS
2006
IEEE
14 years 1 months ago
2006
IEEE
Developing distributed real-time and embedded (DRE) systems in which multiple quality-of-service (QoS) dimensions must be managed is an important and challenging problem. This pap...
COMPSAC
1998
IEEE
13 years 12 months ago
1998
IEEE
Middleware implementation of various critical services required by large-scale and complex real-time applications on top of COTS operating system is currently an approach of growi...
CLUSTER
2004
IEEE
13 years 7 months ago
2004
IEEE
An increasing number of applications are being developed using distributed object computing (DOC) middleware, such as CORBA. Many of these applications require the underlying midd...
RTCSA
1999
IEEE
13 years 12 months ago
1999
IEEE
Replication is a well-know fault-tolerance technique, and several replication strategies exist (e.g. active, passive, and semi-active replication). To be used in hard real-time sy...