Assurance via workflow+ modelling and conformance release_42uwwgh74feoziqemt4uhqkneq

by Zinovy Diskin, Nicholas Annable, Alan Wassyng, Mark Lawford

Released as a article .

2019  

Abstract

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 comprises three layers: (i) process and control flow, (ii) dataflow (with input-output relationships), and (iii) argument flow or constraint derivation. Precise dataflow modelling signifies a crucial distinction of (WP+)-based and GSN-based assurance, in which the data layer is mainly implicit. We provide a detailed comparative analysis of the two formalisms and conclude that GSN does not fulfil its promises.
In text/plain format

Archived Files and Locations

application/pdf  10.4 MB
file_zqvdgzgm7fb3xagnx4wp6lm6ai
arxiv.org (repository)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   submitted
Date   2019-12-20
Version   v1
Language   en ?
arXiv  1912.09912v1
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 4f343fd4-4462-4ea9-a8a8-9ae827be2956
API URL: JSON