Marco Filax, Tim Gonschorek, Michael Lipaczewski, Frank Ortmeier: On Traceability of Informal Specifications for Model-Based Verification. In: IMBSA 2014: short & tutorial proceedings of the 4th international symposium on model based safety assessment., S. 11-18, Magdeburg : Univ., 2014.

Abstract

Safety critical systems are often specified by a set of informal requirements. The fulfillment of those requirements has, in general, to be verified through external assessors. In most cases models (i.e. UML diagrams) are used to communicate system architectures and decide whether a given system meets its requirements. Even though, there already exist multiple approaches to verify safety critical systems and assessors would benefit from the usage of model-based system verifications, they are not commonly used in industry. We propose a traceable modeling approach for verifying safety critical systems specified with a set of informal unstructured requirements. The proposed process is divided into three phases: the analysis of the given set of informal requirements, semi-formalization and formalization.

BibTeX (Download)

@inproceedings{FODB:80901202,
title = {On Traceability of Informal Specifications for Model-Based Verification},
author = { Marco Filax and Tim Gonschorek and Michael Lipaczewski and Frank Ortmeier},
url = {https://cse.cs.ovgu.de/cse-wordpress/wp-content/uploads/2015/07/filax_IMBSA_2014.pdf},
year  = {2014},
date = {2014-01-01},
booktitle = {IMBSA 2014: short & tutorial proceedings of the 4th international symposium on model based safety assessment.},
pages = {11-18},
publisher = {Magdeburg : Univ.},
abstract = {Safety critical systems are often specified by a set of informal requirements. The fulfillment of those requirements has, in general, to be verified through external assessors. In most cases models (i.e. UML diagrams) are used to communicate system architectures and decide whether a given system meets its requirements. Even though, there already exist  multiple  approaches  to  verify  safety  critical  systems  and  assessors would benefit from the usage of model-based system verifications, they are  not  commonly  used  in  industry.  We  propose  a  traceable  modeling approach for verifying safety critical systems specified with a set of informal unstructured requirements. The proposed process is divided into three phases: the analysis of the given set of informal requirements, semi-formalization and formalization.},
keywords = {model-based, VECS, VIP-MoBaSA},
pubstate = {published},
tppubtype = {inproceedings}
}