Sciweavers

17 search results - page 2 / 4
» Design and Analysis of a Fault-Tolerant Mechanism for a Serv...
Sort
View
DFT
2009
IEEE
189views VLSI» more  DFT 2009»
14 years 6 days ago
Analyzing Formal Verification and Testing Efforts of Different Fault Tolerance Mechanisms
Pre-fabrication design verification and post-fabrication chip testing are two important stages in the product realization process. These two stages consume a large part of resourc...
Meng Zhang, Anita Lungu, Daniel J. Sorin
DATE
2004
IEEE
143views Hardware» more  DATE 2004»
13 years 9 months ago
Fault-Tolerant Deployment of Embedded Software for Cost-Sensitive Real-Time Feedback-Control Applications
Designing cost-sensitive real-time control systems for safetycritical applications requires a careful analysis of the cost/coverage trade-offs of fault-tolerant solutions. This fu...
Claudio Pinello, Luca P. Carloni, Alberto L. Sangi...
ADAEUROPE
2000
Springer
13 years 9 months ago
On Persistent and Reliable Streaming in Ada
Saving internal program data for further use is one of the most useful ideas in programming. Developing general features to provide such data saving/ restoring is a very active res...
Jörg Kienzle, Alexander B. Romanovsky
COMPSAC
2005
IEEE
13 years 11 months ago
Exception Handling in Coordination-Based Mobile Environments
Mobile agent systems have many attractive features including asynchrony, openness, dynamicity and anonymity, which makes them indispensable in designing complex modern application...
Alexei Iliasov, Alexander B. Romanovsky
HICSS
2005
IEEE
149views Biometrics» more  HICSS 2005»
13 years 11 months ago
Fault Analysis of a Distributed Flight Control System
This paper presents how state consistency among distributed control nodes is maintained in the presence of faults. We analyze a fault tolerant semi-synchronous architecture concep...
Kristina Forsberg, Simin Nadjm-Tehrani, Jan Torin