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

@inproceedings{Hauge2012APM,
  title={A Pattern-Based Method for Safe Control Systems Exemplified within Nuclear Power Production},
  author={Andr{\'e} Alexandersen Hauge and Ketil St\olen},
  booktitle={SAFECOMP},
  year={2012}
}
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… CONTINUE READING