Abstract
A large class of safety-critical control systems contains monitoring subsystems that display certain system parameters to (human) operators. Ensuring that the displayed data are sufficiently fresh and non-corrupted constitutes an important part of safety requirements. However, the monitoring subsystems are typically not a part of a safety kernel and hence often built of SIL1–SIL2 components. In this paper, we formalise a recently implemented industrial approach to architecting dependable monitoring systems, which ensures data freshness and integrity despite unreliability of their components. Moreover, we derive an architectural pattern that allows us to formally reason about data freshness and integrity. The proposed approach is illustrated by an industrial case study.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, New York (2010)
Event-B and the Rodin platform (2013), http://www.event-b.org/
Prokhorova, Y., Troubitsyna, E., Laibinis, L., Ilic, D., Latvala, T.: Formalisation of an Industrial Approach to Monitoring Critical Data. TUCS Technical Report 1070 (2013)
Iliasov, A., Laibinis, L., Troubitsyna, E., Romanovsky, A., Latvala, T.: Augmenting Event-B Modelling with Real-Time Verification. In: Proc. of Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (2012)
Hashemian, H.M.: Measurement of Dynamic Temperatures and Pressures in Nuclear Power Plants. University of Western Ontario – Electronic Thesis and Dissertation Repository (2011), http://ir.lib.uwo.ca/etd/189
Hoang, T.S., Furst, A., Abrial, J.-R.: Event-B Patterns and Their Tool Support. Software and Systems Modeling, 1–16 (2011)
Umezawa, Y., Shimizu, T.: A Formal Verification Methodology for Checking Data Integrity. In: Proceedings of the Conference on Design, Automation and Test in Europe (DATE 2005), pp. 284–289 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Prokhorova, Y., Troubitsyna, E., Laibinis, L., Ilić, D., Latvala, T. (2013). Formalisation of an Industrial Approach to Monitoring Critical Data. In: Bitsch, F., Guiochet, J., Kaâniche, M. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2013. Lecture Notes in Computer Science, vol 8153. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40793-2_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-40793-2_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40792-5
Online ISBN: 978-3-642-40793-2
eBook Packages: Computer ScienceComputer Science (R0)