To main content

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

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.

Category

Academic article

Language

English

Author(s)

  • André A Hauge
  • Ketil Stølen

Affiliation

  • University of Oslo
  • Institute for Energy Technology
  • SINTEF Digital / Sustainable Communication Technologies

Year

2012

Published in

Lecture Notes in Computer Science (LNCS)

ISSN

0302-9743

Publisher

Springer

Volume

7612

Page(s)

13 - 24

View this publication at Cristin