Titlebook: Dependable Computing; 14th European Worksh Marco Vieira,João Carlos Cunha Conference proceedings 2013 Springer-Verlag Berlin Heidelberg 201

integrated

eulogize

形容词词尾

Solid Mechanics and Its Applications and it is a single point of failure. In this context we examined Network Time Protocol (NTP) as an alternative time source when the GPS receiver is compromised. In this paper a resilient architecture is proposed that is able to detect and react to the GPS spoofing attack. Experimental tests have shown the effectiveness of our solution.

Ruptured-Disk

Nonlinear Equations and Optimizationurrently, thus incurring in minimal overhead. Also, by exploring the multiple existent implementations of well-known interfaces, it is possible to use the idea without incurring in additional development cost.

腼腆

The Challenge of Detection and Diagnosis of Fugacious Hardware Faults in VLSI Designses like radiation, suffering from wear-out, or being affected by an intermittent fault. Upon detection, systems may react to adapt the deployed fault tolerance mechanisms to the diagnosed problem. This paper explores these ideas evaluating challenges and requirements involved, and provides an outline of potential techniques to be applied.

indicate

Ligneous

Dna262

Osmosis

Middleware Support for Adaptive Real-Time Applications in Wireless Sensor Networks of this framework, explaining why they are needed and what they provide. In order to illustrate how this middleware can be used and its potential benefits, we consider the well-known LQER routing protocol to show how it must be changed to incorporate probabilistic real-time requirements and meet them in a dependable way.

thalamus

Issues and Ongoing Work on State-Driven Workload Generation for Distributed Systemss is nontrivial due to system complexity and non-deterministic factors. This work discusses our ongoing work on a state-driven workload generation approach for distributed systems, based on an evolutionary algorithm, and its preliminary implementation for testing a fault-tolerant distributed system for flight data processing.