Skip to main content
SpringerLink
Log in

A Pattern-Based Method for Safe Control Systems Exemplified within Nuclear Power Production

  • Conference paper
Computer Safety, Reliability, and Security (SAFECOMP 2012)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 7612))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alexander, C., Ishikawa, S., Silverstein, M., Jacobson, M., Fiksdahl-King, I., Angel, S.: A Pattern Language: Towns, Buildings, Construction. Oxford University Press (1977)

    Google Scholar 

  2. Buschmann, F., Henney, K., Schmidt, D.C.: Pattern-Oriented Software Architecture: On Patterns and Pattern Languages, vol. 5. Wiley (2007)

    Google Scholar 

  3. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley (1995)

    Google Scholar 

  4. GSN Working Group: GSN Community Standard, version 1.0 (2011)

    Google Scholar 

  5. 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)

    Google Scholar 

  6. IEC: Nuclear Power Plants – Instrumentation and Control Important to Safety – Classification of Instrumentation and Control Functions. IEC-61226, International Electrotechnical Commission (2009)

    Google Scholar 

  7. Jackson, M.: Problem Frames: Analyzing and Structuring Software Development Problems. Addison-Wesley (2001)

    Google Scholar 

  8. Lokhov, A.: Technical and Economic Aspects of Load Following with Nuclear Power Plants. Nuclear Development Division, OECD NEA (2011)

    Google Scholar 

  9. 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)

    Google Scholar 

  10. Object Management Group: Unified Modeling Language Specification, version 2.4.1 (2011)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Software Engineering, Institute for Energy Technology, Halden, Norway

    André Alexandersen Hauge

  2. Department of Networked Systems and Services, SINTEF ICT, Oslo, Norway

    Ketil Stølen

  3. Department of Informatics, University of Oslo, Norway

    André Alexandersen Hauge & Ketil Stølen

Authors
  1. André Alexandersen Hauge
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ketil Stølen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fakultät für Informatik, Institut für Technische und Betriebliche Informationssysteme (ITI), Otto-von-Guericke-Universität, Universitätsplatz 2, 39106, Magdeburg, Germany

    Frank Ortmeier

  2. SELEX ELSAG, Liverpool Innovation Park, Edge Lane, Fairfield, L7 9NJ, Liverpool, UK

    Peter Daniel

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation