Abstract
The paper presents a systematic method of safety monitor synthesis. The method is based on the object-oriented model of a given application. It is assumed that the valid object model of an application extended with relevant safety aspects is available. The method comprises four steps: identification, reduction, implantation and tuning of a safety monitor. The identification step selects this part of the object model which constitutes a preliminary monitor specification. In the reduction step the monitor model is simplified in order to eliminate all irrelevant details. The implantation step ensures that the monitor is driven by measurable events. Finally, tuning focuses on setting proper sensitivity of the monitor. The method results in the monitor specification which, while incorporated into the actual system, can strengthen its safety guarantees. The method is presented within the context of an example application — a gas burner system.
Chapter PDF
References
Górski, J. and Nowicki, B. (1995) Object Oriented Approach to Safety Analysis. Safety and Reliability of Software Based Systems ENCRES’95, Brugge, Belgium, September 1995
Górski, J. and Nowicki, B. (1996) Safety Analysis Based on Object-Oriented Modelling of Critical Systems. The 15th International Conference on Safety SAFECOMP’96, Reliability and Security, Vienna, Austria, October 1996
Górski, J. and Nowicki, B. (1996a) Object Oriented Based Safety Monitor Synthesis,EFP-RR167 (in Polish)
Idarel, D. (1987) Starecharts: A Visual Formalism for Complex Systems. In Science of Computer Programming 8
International Electrotechnical Commission, IEC 1508 Functional Safety: Safety-related Systems (draft)
Leveson N. G. and Stoizy J. L. (1987) Safety Analysis Using Perti Nets. IEEE Transactions on Software Engineering, vol. SE-13, no. 3, March 1987
Redmill. F. J. ed. (1989) Dependability of Critical Computer Systems 1, 2,3. Elsevier Applied Science
Rumbaugh, J. et al. (1991) Object-Oriented Modelling and Design. Prentice Hall Int.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Górski, J., Nowicki, B. (1997). Object-oriented Safety Monitor Synthesis. In: Gritzalis, D. (eds) Reliability, Quality and Safety of Software-Intensive Systems. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35097-4_10
Download citation
DOI: https://doi.org/10.1007/978-0-387-35097-4_10
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6399-7
Online ISBN: 978-0-387-35097-4
eBook Packages: Springer Book Archive