Abstract
In any safety argument, belief in the top-level goal depends upon a variety of assumptions that derive from the system development process, the operating context, and the system itself. If an assumption is false or becomes false at any point during the lifecycle, the rationale for belief in the safety goal might be invalidated and the safety of the associated system compromised. Assurance that assumptions actually hold when they are supposed to is not guaranteed, and so monitoring of assumptions might be required. In this paper, we describe the Safety Condition Monitoring System, a system that permits comprehensive yet flexible monitoring of assumptions throughout the entire lifecycle together with an alert infrastructure that allows tailored responses to violations of assumptions. An emphasis of the paper is the approach used to run-time monitoring of assumptions derived from software where the software cannot be easily changed.
Keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Graydon, P., Knight, J., Strunk, E.: Assurance based development of critical systems. In: 37th IEEE International Symposium on Dependable Systems and Networks, Edinburgh, Scotland (2007)
Graydon, G., Knight, J.: Process synthesis in assurance based development of dependable systems. In: 8th European Dependable Computing Conference, Valencia, Spain (2009)
Leveson, N.: A systems approach to risk management through leading safety indicators. Reliab. Eng. Syst. Saf. 136, 17–34 (2015)
Denney, E., Pai, G., Habli, I.: Dynamic safety cases for through-life safety assurance. In: 37th IEEE International Conference on Software Engineering (NIER), Florence, Italy (2015)
Object Management Group, Business Process Model and Notation (BPMN) Version 2. http://www.omg.org/spec/BPMN/2.0/PDF/
Hiser, J., Nguyen-Tuong, A., Co, M., Rodes, B., Hall, M., Coleman, C., Knight, J., Davidson, J.: A framework for creating binary rewriting tools. In: 10th European Dependable Computing Conference, Valencia, Spain (2014)
Acknowledgments
This work was supported in part by Dependable Computing LLC and in part by NASA Contract NNL13AA08C.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Knight, J., Rowanhill, J., Xiang, J. (2015). A Safety Condition Monitoring System. In: Koornneef, F., van Gulijk, C. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2014. Lecture Notes in Computer Science(), vol 9338. Springer, Cham. https://doi.org/10.1007/978-3-319-24249-1_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-24249-1_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-24248-4
Online ISBN: 978-3-319-24249-1
eBook Packages: Computer ScienceComputer Science (R0)