A systems-theoretic approach to safety in software-intensive systems
The work
| Authors | Nancy G. Leveson |
|---|---|
| Editors | |
| Type | article |
| Year | 2004 |
| Citekey | leveson2004systemstheoretic |
Where it appeared
| Published in | IEEE Transactions on Dependable and Secure Computing |
|---|---|
| Publisher | IEEE |
| Volume | 1 |
| Issue | 1 |
| Pages | 66--86 |
Identifiers
| DOI | 10.1109/tdsc.2004.1 |
|---|
Related
| Distinct from | craigen1995formal |
|---|---|
| Distinct from | gleirscher2020formal |
Abstract
Traditional accident models were devised to explain losses caused by failures of physical devices in relatively simple systems. They are less useful for explaining accidents in software-intensive systems and for non-technical aspects of safety such as organizational culture and human decision-making. This paper describes how systems theory can be used to form new accident models that better explain system accidents (accidents arising from the interactions among components rather than individual component failure), software-related accidents, and the role of human decision-making. Such models consider the social and technical aspects of systems as one integrated process and may be useful for other emergent system properties such as security. The loss of a Milstar satellite being launched by a Titan/Centaur launch vehicle is used as an illustration of the approach.
A copy is held
pdf, 209.1 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | import via bibtex |
|---|---|
| Added | 2026-08-09 00:00 UTC |
| Approved by | a person 2026-08-12 14:58 UTC |
Filed under
Cite it as
@article{leveson2004systemstheoretic,
title = {A systems-theoretic approach to safety in software-intensive systems},
author = {Nancy G. Leveson},
year = {2004},
journal = {IEEE Transactions on Dependable and Secure Computing},
publisher = {IEEE},
volume = {1},
number = {1},
pages = {66--86},
doi = {10.1109/tdsc.2004.1},
}
This record lives at https://refs.drheap.org/leveson2004systemstheoretic/ and will keep doing so.