The Formal Representation of the Safety Case Processes Described in the EN 5012x Norms (paper)

By July 25, 2022Bastad 2009, Documents
pdf icon

The aim of this paper is to describe the method to develop the normative model of the Safety Case Process in a formal way. In order to reach this objective, various commonly used description technologies to describe processes were examined and evaluated against this specific application background. In the end, Event Driven Process Chains (EPCs) were discovered to be the appropriate description technique to reach this aim.

Year of Publication: 2009

Document: View

Select language