253 search results - page 23 / 51 » Using Fault Modeling in Safety Cases |
SAFECOMP
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
ERSHOV
1993
Springer
14 years 1 months ago
1993
Springer
Distributed database applications are a wide use of distributed systems. One of the major advantages of distributed database systems is the potential for achieving high availabili...
AICCSA
2007
IEEE
14 years 4 months ago
2007
IEEE
:- A software product spends more than 65% of its lifecycle in maintenance. Software systems with good maintainability can be easily modified to fix faults. In this paper, we adapt...
GECCO
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...
PDP
1996
IEEE
14 years 2 months ago
1996
IEEE
A case study of performance and dependability evaluation of fault-tolerant multiprocessors is presented. Two specific architectures are analyzed taking into account system functio...