Safety-critical systems, formal methods and standards
The work
| Authors | Jonathan P. Bowen; Victoria Stavridou |
|---|---|
| Editors | |
| Type | article |
| Year | 1993 |
| Citekey | bowen1993safetycritical |
Where it appeared
| Published in | Software Engineering Journal |
|---|---|
| Volume | 8 |
| Issue | 4 |
| Pages | 189--209 |
Identifiers
| DOI | 10.1049/sej.1993.0025 |
|---|
Access
| Landing page | https://www.cs.ox.ac.uk/techreports/oucl/tr-5-92.html |
|---|
Empty on purpose
| copy |
Related
| Distinct from | bowen1993formal |
|---|---|
| Distinct from | williams1992formal |
From bibtex.
Abstract
Standards concerned with the development of safety-critical systems, and the software in such systems in particular, abound today as the software crisis increasingly affects the world of embedded computer-based systems. The use of formal methods is often advocated as a way of increasing confidence in such systems. This paper examines the industrial use of these techniques, the recommendations concerning formal methods in a number of current and draft standards, and comments on the applicability and problems of using formal methods for the development of safety-critical systems of an industrial scale. Some possible future directions are suggested.
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-09-17 09:36 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@article{bowen1993safetycritical,
title = {Safety-critical systems, formal methods and standards},
author = {Jonathan P. Bowen and Victoria Stavridou},
year = {1993},
journal = {Software Engineering Journal},
volume = {8},
number = {4},
pages = {189--209},
doi = {10.1049/sej.1993.0025},
}
This record lives at https://refs.drheap.org/bowen1993safetycritical/ and will keep doing so.