Til hovedinnhold

Developing Safe Control Systems using Patterns for Assurance

Developing Safe Control Systems using Patterns for Assurance

Kategori
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
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.
Språk
Engelsk
Forfatter(e)
Institusjon(er)
  • Universitetet i Oslo
  • Institutt for energiteknikk
  • SINTEF Digital / Software and Service Innovation
År
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