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

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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, Published 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.
Series
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
Identifiers
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 (print)OAI: oai:DiVA.org:liu-110242DiVA: diva2:743649
Conference
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)179 downloads
File information
File name FULLTEXT01.pdfFile size 430 kBChecksum SHA-512
e26988a0c09385fcf3d74f0c6fef5bf862992be5e2b070f8ee19fb0834a7453bb27131ae193cf52c52dccd7b3100778b8692b696bdf51176efb1f32f5a846926
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Authority records BETA

Fritzson, Peter

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: 179 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

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 82 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf