Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Historikk
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
André A Hauge
og
Ketil Stølen
Tidsskrift
Tidsskrift
Lecture Notes in Computer Science (LNCS)
ISSN 0302-9743
e-ISSN 1611-3349
NVI-nivå 1
Finn i kanalregisteret
Om resultatet
Om resultatet
Vitenskapelig artikkel
Publiseringsår: 2012
Volum: 7612
Sider: 13 - 24
Lenker
Lenker
original online (doi)
https://doi.org/10.1007/978-3-642-33678-2_2
Importkilder
Importkilder
Scopus-ID: 2-s2.0-84867591469
Beskrivelse
Beskrivelse
Engelsk
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.
Vis
fullstendig beskrivelse
Bidragsytere
Bidragsytere
André Alexandersen Hauge
Bidragsyterens navn vises på dette resultatet som André A Hauge
Forfatter
ved Virtuell og utvidet virkelighet ved Institutt for energiteknikk
Forfatter
ved Forskningsgruppen for programmering og software engineering ved Universitetet i Oslo
Ketil Stølen
Forfatter
ved Forskningsgruppen for programmering og software engineering ved Universitetet i Oslo
Forfatter
ved Sustainable Communication Technologies ved SINTEF AS
1
-
2
av
2