Virtual Verification of System Designs against System Requirements
2010 (English)In: Models in Software Engineering, Springer Berlin/Heidelberg, 2010, 75-89 p.Conference paper (Refereed)
System development and integration with a sufficient maturity at entry into service is a competitive challenge in the aerospace sector. With the ever-increasing complexity of products, this can only be achieved using efficient model-based techniques for system design as well as for system testing. However, natural language requirements engineering is an established technique that cannot be completely replaced for a number of reasons. This is a fact that has to be considered by any new approach. Building on the general idea of model-based systems engineering, we aim at building an integrated virtual verification environment for modeling systems, requirements, and test cases, so that system designs can be simulated and verified against the requirements in the early stages of system development. This paper provides a description of the virtual verification of system designs against system requirements methodology and exemplifies its application in a ModelicaML modeling environment.
Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2010. 75-89 p.
Lecture Notes in Computer Science, ISSN 0302-9743 (print), 1611-3349 (online) ; 6627
Requirements, Verification, ModelicaML, Modelica, MBSE, Model-based testing.
Electrical Engineering, Electronic Engineering, Information Engineering
IdentifiersURN: urn:nbn:se:liu:diva-110242DOI: 10.1007/978-3-642-21210-9_8ISBN: 978-3-642-21209-3 (print)ISBN: 978-3-642-21210-9 (online)OAI: oai:DiVA.org:liu-110242DiVA: diva2:743649
Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010