Sciweavers

130
Voted
DSN
2004
IEEE
15 years 7 months ago
Fault Tolerance Tradeoffs in Moving from Decentralized to Centralized Embedded Systems
Some safety-critical distributed embedded systems may need to use centralized components to achieve certain dependability properties. The difficulty in combining centralized and d...
Jennifer Morris, Daniel Kroening, Philip Koopman
118
Voted
DSN
2004
IEEE
15 years 7 months ago
Safety Optimization: A Combination of Fault Tree Analysis and Optimization Techniques
Abstract-We present a new form of quantitative safety analysis safety optimization. This method is a combination of fault tree analysis(FTA) and mathematical optimization technique...
Frank Ortmeier, Wolfgang Reif
111
Voted
CDVE
2006
Springer
15 years 7 months ago
Mosaics of Visualization: An Approach to Embedded Interaction Through Identification Process
José Bravo, Ramón Hervás, Gab...
DSN
2004
IEEE
15 years 7 months ago
Cheap Paxos
Leslie Lamport, Mike Massa
129
Voted
DSN
2004
IEEE
15 years 7 months ago
An Architectural Framework for Providing Reliability and Security Support
This paper explores hardware-implemented error-detection and security mechanisms embedded as modules in a hardware-level framework called the Reliability and Security Engine (RSE)...
Nithin Nakka, Zbigniew Kalbarczyk, Ravishankar K. ...