A systems-theoretic approach to safety in software-intensive systems
The work
| Title | A systems-theoretic approach to safety in software-intensive systems |
|---|---|
| Authors | Nancy G. Leveson |
| 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 |
|---|
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.
Copy held
| Kind | PDF, 214.1 kB |
|---|---|
| Retrieved | 2026-08-09 |
| Held | local, for personal reference |
| Where it came from | http://sunnyday.mit.edu/papers/tdsc.pdf |
Where this came from
| How it got here | already cited · cited in bibtex |
|---|---|
| First seen | 2026-08-09 |
| Record | reviewed by a person |
| Approved | 2026-08-12 |
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},
volume = {1},
number = {1},
pages = {66--86},
publisher = {IEEE},
doi = {10.1109/tdsc.2004.1},
}
This record lives at https://refs.drheap.org/leveson2004systemstheoretic/ and will keep doing so.