3801 search results - page 25 / 761 » An Approach to Modeling Software Safety |
IPPS
1998
IEEE
15 years 1 months ago
1998
IEEE
Abstract. We address the general problem of automatically proving safety properties of reactive systems within the UNITY model. We take up a relational and set-based approach, and ...
ETFA
2005
IEEE
15 years 3 months ago
2005
IEEE
The X-by-Wire systems in cars can only be accepted if they provide at least the same dependability than the traditional ones. In this paper we propose a new approach to evaluate t...
TIME
2007
IEEE
15 years 3 months ago
2007
IEEE
We present a symbolic algorithm for deciding safety (reachability) of timed systems modelled as Timed Automata (TA), under the notion of robustness w.r.t. infinitesimal clock-drif...
114
click to vote
CASES
2011
ACM
13 years 9 months ago
2011
ACM
Cost pressure is driving vendors of safety-critical systems to integrate previously distributed systems. One natural approach we have previous introduced is On-Demand Redundancy (...
88
Voted
SAFECOMP
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. In this paper we describe a novel concept for reliability analysis of communication architectures in safety-critical systems. This concept has been motivated by applicati...