328 search results - page 14 / 66 » Software engineering for safety: a roadmap |
ECOOPWEXCEPTION
2000
Springer
15 years 4 months ago
2000
Springer
This paper presents a set of concepts and design techniques that has proven successful in implementing and using C++ libraries intended for applications that simultaneously require...
110
click to vote
FM
2003
Springer
15 years 4 months ago
2003
Springer
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
113
click to vote
CBSE
2004
Springer
15 years 5 months ago
2004
Springer
Safety critical embedded real-time systems represent a class of systems that has attracted relatively little attention in research addressing component based software engineering. ...
104
click to vote
EDCC
2008
Springer
15 years 1 months ago
2008
Springer
This work addresses the problem of software fault diagnosis in complex safety critical software systems. The transient manifestations of software faults represent a challenging is...
RE
2010
Springer
14 years 6 months ago
2010
Springer
Domain modeling is an important aspect of software engineering. This paper presents our experience of modeling land transportation domain in the formal framework of Event-B. The do...