A pattern-based method for safe control systems exemplified within nuclear power production

Authors:
André Alexandersen Hauge;Ketil Stølen
Affiliations:
Department of Software Engineering, Institute for Energy Technology, Halden, Norway,Department of Informatics, University of Oslo, Norway;Department of Networked Systems and Services, SINTEF ICT, Oslo, Norway,Department of Informatics, University of Oslo, Norway
Venue:
SAFECOMP'12 Proceedings of the 31st international conference on Computer Safety, Reliability, and Security
Year:
2012

Citing 3
Cited 0

Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Problem frames: analyzing and structuring software development problems

Problem frames: analyzing and structuring software development problems
Pattern Oriented Software Architecture: On Patterns and Pattern Languages (Wiley Software Patterns Series)

Pattern Oriented Software Architecture: On Patterns and Pattern Languages (Wiley Software Patterns Series)

Quantified Score

Hi-index	0.00

Visualization

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.