Model-Checking for Validation of a Fault Protection System (2001)
by
Martin Feather Jet
,
Martin S. Feather
Proceedings, 6 th IEEE International Symposium on High Assurance Systems Engineering
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Jet01model-checkingfor,
author = {Martin Feather Jet and Martin S. Feather},
title = {Model-Checking for Validation of a Fault Protection System},
booktitle = {Proceedings, 6 th IEEE International Symposium on High Assurance Systems Engineering},
year = {2001},
pages = {32--41}
}
author = {Martin Feather Jet and Martin S. Feather},
title = {Model-Checking for Validation of a Fault Protection System},
booktitle = {Proceedings, 6 th IEEE International Symposium on High Assurance Systems Engineering},
year = {2001},
pages = {32--41}
}
Bookmarks
OpenURL
Abstract:
The Fault Protection (FP) system of a spacecraft is a critical component for its operation. The system diagnoses problems with the health of the spacecraft, and directs actions to resolve those problems. It therefore warrants a high degree of assurance as to its correctness.
Citations
| 971 | The Model Checker Spin – Holzmann - 1997 |
| 519 | Model checking and abstraction – Clarke, Grumberg, et al. - 1994 |
| 266 | Model checking programs – Visser, Havelund, et al. - 2000 |
| 96 | Alcoa: the alloy constraint analyzer – JACKSON, SCHECHTER, et al. |
| 67 | Using abstraction and model checking to detect safety violations in requirements speci cations – Heitmeyer, Kirby, et al. - 1998 |
| 20 | Validating Requirements for Fault Tolerant Systems using Model Checking – Schneider, Easterbrook, et al. - 1998 |
| 7 | Implementing Statecharts – Mikk, Lakhnech, et al. - 1998 |
| 7 | Automated translation of UML models of architectures for verification and simulation using Spin – Bose - 1999 |
| 6 | An Improvement – Holzmann, Peled - 1994 |
| 5 | The 13th Technology of Deep Space One – Rouquette, Neilson, et al. - 1999 |
| 1 | Reduced, Reusable and Reliable Monitor Software – Rouquette - 1997 |
