A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Assurance via workflow+ modelling and conformance
[article]
2019
arXiv
pre-print
We propose considering assurance as a model management enterprise: saying that a system is safe amounts to specifying three workflows modelling how the safety engineering process is defined and executed, and checking their conformance. These workflows are based on precise data modelling as in functional block diagrams, but their distinctive feature is the presence of relationships between the output data of a process and its input data; hence, the name "WorkflowPlus", WF+ . A typical WP^+ model
arXiv:1912.09912v1
fatcat:42uwwgh74feoziqemt4uhqkneq