384 search results - page 16 / 77 » Formal Development of Reactive Fault Tolerant Systems |
DELTA
2006
IEEE
14 years 1 months ago
2006
IEEE
We present an approach to the synthesis of fault-tolerant hard real-time systems for safety-critical applications. We use checkpointing with rollback recovery and active replicati...
DATE
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper we present an approach to the design optimization of faulttolerant embedded systems for safety-critical applications. Processes are statically scheduled and communic...
AINA
2007
IEEE
13 years 7 months ago
2007
IEEE
The e-health domain has for objective to assist and manage citizens health. It concerns many actors like patient, doctors, hospitals and administration. Current and forthcoming ge...
SEFM
2005
IEEE
14 years 1 months ago
2005
IEEE
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...
SIGADA
1998
Springer
13 years 12 months ago
1998
Springer
Our institute has been developing the only publicly available implementation of the Ada 95 Distributed Systems Annex for several years in strong collaboration with Ada Core Techno...