Cristin-resultat-ID: 1091593
Sist endret: 24. januar 2014, 10:20
NVI-rapporteringsår: 2013
Resultat
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
2013

Developing Safe Control Systems using Patterns for Assurance

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

Bok

Om resultatet

Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Publiseringsår: 2013
Sider: 1 - 8
ISBN:
  • 978-1-61208-268-4

Klassifisering

Fagfelt (NPI)

Fagfelt: Informatikk og datateknikk
- Fagområde: Realfag og teknologi

Beskrivelse Beskrivelse

Tittel

Developing Safe Control Systems using Patterns for Assurance

Sammendrag

The Safe Control Systems (SaCS) method is a pattern-based method supporting the development of conceptual designs for safety critical systems. A pattern language offers support for the method by six different kinds of basic patterns, operators for combining patterns, and a graphical notation for visualising a pattern composition. Intended users of SaCS are system developers, safety engineers and HW/SW engineers. The method has so far been applied in two cases within different industrial domains. This paper demonstrates and presents experiences from the application of SaCS within the railway domain. We consider an interlocking system that controls the appliances of a railway station. We argue that SaCS effectively supports the establishment of requirements, a design satisfying the requirements, and an outline of a safety demonstration for the design.

Bidragsytere

André A Hauge

  • Tilknyttet:
    Forfatter
    ved Forskningsgruppen for programmering og software engineering ved Universitetet i Oslo
  • Tilknyttet:
    Forfatter
    ved Virtuell og utvidet virkelighet ved Institutt for energiteknikk

Ketil Stølen

  • Tilknyttet:
    Forfatter
    ved Forskningsgruppen for programmering og software engineering ved Universitetet i Oslo
  • Tilknyttet:
    Forfatter
    ved Software and Service Innovation ved SINTEF AS
1 - 2 av 2

Resultatet er en del av Resultatet er en del av

PESARO 2013, The Third International Conference on Performance, Safety and Robustness in Complex Systems and Applications, Venice, Italy, April 21-26, 2013.

Leister, Wolfgang; Lorenz, Pascal. 2013, International Academy, Research and Industry Association (IARIA). NRVitenskapelig antologi/Konferanseserie
1 - 1 av 1