liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Virtual Verification of System Designs against System Requirements
EADS Innovation Works, Germany.
EADS Innovation Works, UK.
Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.ORCID iD: 0000-0002-3435-4996
2010 (English)In: Models in Software Engineering, Springer Berlin/Heidelberg, 2010, 75-89 p.Conference paper (Refereed)
Abstract [en]

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
Keyword [en]
Requirements, Verification, ModelicaML, Modelica, MBSE, Model-based testing.
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
URN: 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: diva2:743649
Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010
Available from: 2014-09-04 Created: 2014-09-04 Last updated: 2014-10-21Bibliographically approved

Open Access in DiVA

fulltext(430 kB)104 downloads
File information
File name FULLTEXT01.pdfFile size 430 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Search in DiVA

By author/editor
Fritzson, Peter
By organisation
PELAB - Programming Environment LaboratoryThe Institute of Technology
Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 104 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 53 hits
ReferencesLink to record
Permanent link

Direct link