Cristin-resultat-ID: 950765
Sist endret: 17. desember 2012, 12:42
NVI-rapporteringsår: 2012
Resultat
Vitenskapelig artikkel
2012

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

Bidragsytere:
  • André A Hauge og
  • Ketil Stølen

Tidsskrift

Lecture Notes in Computer Science (LNCS)
ISSN 0302-9743
e-ISSN 1611-3349
NVI-nivå 1

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2012
Volum: 7612
Sider: 13 - 24

Importkilder

Scopus-ID: 2-s2.0-84867591469

Beskrivelse Beskrivelse

Tittel

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

Sammendrag

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.

Bidragsytere

André Alexandersen Hauge

Bidragsyterens navn vises på dette resultatet som André A Hauge
  • Tilknyttet:
    Forfatter
    ved Virtuell og utvidet virkelighet ved Institutt for energiteknikk
  • Tilknyttet:
    Forfatter
    ved Forskningsgruppen for programmering og software engineering ved Universitetet i Oslo

Ketil Stølen

  • Tilknyttet:
    Forfatter
    ved Forskningsgruppen for programmering og software engineering ved Universitetet i Oslo
  • Tilknyttet:
    Forfatter
    ved Sustainable Communication Technologies ved SINTEF AS
1 - 2 av 2