1048 search results - page 79 / 210 » Reliability Modeling of Fault Tolerant Control Systems |
MOMPES
2009
IEEE
14 years 2 months ago
2009
IEEE
Hard real-time embedded distributed systems pose huge demands in their implementation which must contain as few faults as possible. Over the past years, model-driven development a...
ISORC
2003
IEEE
14 years 1 months ago
2003
IEEE
Fault tolerance schemes for mobile agents to survive agent server crash failures are complex since developers normally have no control over remote agent servers. Some solutions mo...
VEE
2012
ACM
12 years 3 months ago
2012
ACM
This paper describes the design and implementation of SecondSite, a cloud-based service for disaster tolerance. SecondSite extends the Remus virtualization-based high availability...
HICSS
2008
IEEE
14 years 2 months ago
2008
IEEE
Most Supervisory Control and Data Acquisition (SCADA) systems have been in operation for decades and they in general have 24x7 availability requirement, hence upgrading or adding ...
FM
2008
Springer
13 years 9 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...