Abstract
This article exemplifies the application of a pattern-based method, called SaCS (Safe Control Systems), on a case taken from the nuclear domain. The method is supported by a pattern language and provides guidance on the development of design concepts for safety critical systems. The SaCS language offers six different kinds of basic patterns as well as operators for composition.
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
Alexander, C., Ishikawa, S., Silverstein, M., Jacobson, M., Fiksdahl-King, I., Angel, S.: A Pattern Language: Towns, Buildings, Construction. Oxford University Press (1977)
Buschmann, F., Henney, K., Schmidt, D.C.: Pattern-Oriented Software Architecture: On Patterns and Pattern Languages, vol. 5. Wiley (2007)
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley (1995)
GSN Working Group: GSN Community Standard, version 1.0 (2011)
Hauge, A.A., Stølen, K.: A Pattern Based Method for Safe Control Conceptualisation Exemplified Within Nuclear Power Production, HWR-1029, Institute for energy technology, OECD Halden Reactor Project, Halden, Norway (to appear)
IEC: Nuclear Power Plants – Instrumentation and Control Important to Safety – Classification of Instrumentation and Control Functions. IEC-61226, International Electrotechnical Commission (2009)
Jackson, M.: Problem Frames: Analyzing and Structuring Software Development Problems. Addison-Wesley (2001)
Lokhov, A.: Technical and Economic Aspects of Load Following with Nuclear Power Plants. Nuclear Development Division, OECD NEA (2011)
The Commission of the European Communities: Commission Regulation (EC) No 352/2009 on the Adoption of Common Safety Method on Risk Evaluation and Assessment, 352/2009/EC (2009)
Object Management Group: Unified Modeling Language Specification, version 2.4.1 (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hauge, A.A., Stølen, K. (2012). A Pattern-Based Method for Safe Control Systems Exemplified within Nuclear Power Production. In: Ortmeier, F., Daniel, P. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2012. Lecture Notes in Computer Science, vol 7612. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33678-2_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-33678-2_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33677-5
Online ISBN: 978-3-642-33678-2
eBook Packages: Computer ScienceComputer Science (R0)