Sciweavers

141 search results - page 4 / 29
» Timing Tolerances in Safety-Critical Software
Sort
View
PVM
2007
Springer
14 years 3 months ago
Distributed Real-Time Computing with Harness
Abstract. Modern parallel and distributed computing solutions are often built onto a “middleware” software layer providing a higher and common level of service between computat...
Emanuele Di Saverio, Marco Cesati, Christian Di Bi...
ICFEM
2003
Springer
14 years 3 months ago
Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
Mickaël Kerboeuf, David Nowak, Jean-Pierre Ta...
ADAEUROPE
2005
Springer
14 years 3 months ago
The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95
Transparent system support for software fault tolerance reduces performance in general and precludes application-specific optimizations in particular. In contrast, explicit support...
Patrick Rogers, Andy J. Wellings
DCOSS
2007
Springer
14 years 4 months ago
Dwarf: Delay-aWAre Robust Forwarding for Energy-Constrained Wireless Sensor Networks
With the field of wireless sensor networks rapidly maturing, the focus shifts from “easy” deployments, like remote monitoring, to more difficult domains where applications imp...
Mario Strasser, Andreas Meier, Koen Langendoen, Ph...
PSSE
2004
Springer
14 years 3 months ago
Real-Time and Fault-Tolerant Systems
Zhiming Liu, Mathai Joseph