Til hovedinnhold
Norsk English

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.

Kategori

Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

Språk

Engelsk

Forfatter(e)

Institusjon(er)

  • Universitetet i Oslo
  • Institutt for energiteknikk
  • SINTEF Digital / Software and Service Innovation

År

2013

Forlag

International Academy, Research and Industry Association (IARIA)

Bok

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

ISBN

978-1-61208-268-4

Side(r)

1 - 8

Vis denne publikasjonen hos Cristin