253 search results - page 5 / 51 » Using Fault Modeling in Safety Cases |
SCS
2004
13 years 11 months ago
2004
Complex reactive real time systems are systems of systems that interact with the external world to perform selections of tasks in real time. They may be required to carry out sele...
ICPP
2000
IEEE
14 years 2 months ago
2000
IEEE
In this paper a sufficient condition is given for minimal routing in n-dimensional (n-D) meshes with faulty nodes contained in a set of disjoint fault regions. It is based on an ...
IPPS
2005
IEEE
14 years 3 months ago
2005
IEEE
Abstract— The increasing use of electronics in the automotive and avionic domain has lead to dramatic improvements with respect to functionality, safety, and cost. However, with ...
ICDCSW
2005
IEEE
14 years 3 months ago
2005
IEEE
Although a self-stabilizing system that suffers from a transient fault is guaranteed to converge to a legitimate state after a finite number of steps, the convergence can be slow ...
DSN
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...