2019
DOI: 10.48550/arxiv.1912.09912
|View full text |Cite
Preprint
|
Sign up to set email alerts
|

Assurance via workflow+ modelling and conformance

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 "Workflow Plus".A typical WF + -model comprises three laye… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2022
2022
2022
2022

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
(1 citation statement)
references
References 16 publications
(28 reference statements)
0
1
0
Order By: Relevance
“…Other related approach is enriching assurance cases with extra information. For instance, Workflow+ [29] proposes an approach to model the process and control flow, dataflow (with input-output relationships), and argument flow or constraint derivation. Although the authors do not mention traceability to specific standard requirements or privacy compliance, the approach can be translated to our context.…”
Section: Related Workmentioning
confidence: 99%
“…Other related approach is enriching assurance cases with extra information. For instance, Workflow+ [29] proposes an approach to model the process and control flow, dataflow (with input-output relationships), and argument flow or constraint derivation. Although the authors do not mention traceability to specific standard requirements or privacy compliance, the approach can be translated to our context.…”
Section: Related Workmentioning
confidence: 99%