by J. P. Bowen, V. Stavridou
in [16
ftp://ftp.comlab.ox.ac.uk/pub/Documents/techpapers/Jonathan.Bowen/safecomp92.ps.Z
Add To MetaCart
Abstract:
Abstract. The safety of software is becoming increasingly important as computers pervade control systems on which human life depends. Whilst hardware has become significantly more reliable over the years, the same cannot be said of software. This has become more complex and methods to ensure its correctness have been slow in development. One approach is to mathematically verify software in such systems. This paper investigates the industrial use of these techniques, their advantages and disadvantages, and the introduction of standards and their recommendations concerning formal methods in this area. The cost of safety is also considered.
Citations
|
59
|
Safety-critical systems, formal methods and standards
– Bowen, Stavridou
- 1993
|
|
49
|
The infeasibility of experimental quantification of lifecritical software reliability
– Butler, Finelli
- 1991
|
|
41
|
Compiling Occam into Field-Programmable Gate Arrays
– Page, Luk
- 1991
|
|
21
|
An algebraic approach to verifiable compiling specification and prototyping of the ProCoS level 0 programming language
– Hoare, Jifeng, et al.
- 1990
|
|
17
|
SACEM Software Validation
– Guiho, Hennebert
- 1990
|
|
12
|
Software development methods in practice
– Hill
- 1991
|
|
8
|
An overview of HP-SL
– Bear
- 1991
|
|
8
|
Achieving high integrity of process control software by graphical design and formal verification
– Halang, Kramer
- 1992
|
|
8
|
Engineering human error tolerant software
– Harrison
- 1992
|
|
8
|
An algebraic approach toveri able compiling speci cation and prototyping of the ProCoS level 0 programming language
– Hoare, Jifeng, et al.
- 1990
|
|
5
|
Compiling Occam into eldprogrammable gate arrays
– Page, Luk
- 1991
|
|
5
|
Verification, analysis and synthesis of safety interlocks
– JACKY
- 1991
|
|
4
|
Veri cation, Analysis and Synthesis of Safety Interlocks
– Jacky
- 1991
|
|
4
|
Whodunit? The search for the new product killers. Electronic Business
– REINERTSEN
- 1983
|
|
2
|
Project organisation
– Ravn, Stavridou
- 1991
|
|
2
|
Calculating the real cost of software defects
– Ward
- 1991
|
|
1
|
The infeasibilityof experimentalquanti cation of life-critical software reliability
– Butler, Finelli
- 1991
|
|
1
|
Existing and emerging standards for software safety
– Wright, Zawilski
- 1991
|
