1031 search results - page 3 / 207 » On the Formal Development of Safety-Critical Software |
SAFECOMP
2007
Springer
13 years 12 months ago
2007
Springer
A strategy and relating activities of a software safety analysis (SSA) are presented for the software of a digital reactor protection system where software modules in the design de...
ICSE
2007
IEEE-ACM
13 years 12 months ago
2007
IEEE-ACM
Safety-critical systems (whose anomalous behavior could have catastrophic consequences such as loss of human life) are becoming increasingly prevalent; standards such as DO-178B, ...
APSEC
2007
IEEE
14 years 4 days ago
2007
IEEE
Analyzing accidents is a vital exercise in the development of safety-critical software systems to prevent past accidents from reoccurring in the future. Current practices such as ...
EMSOFT
2001
Springer
13 years 10 months ago
2001
Springer
Abstract. Embedded systems for safety-critical applications often integrate multiple “functions” and must generally be fault-tolerant. These requirements lead to a need for mec...
DSN
2000
IEEE
13 years 10 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...