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
Requirement Verification and Dependency Tracing During Simulation in Modelica
Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
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
Linköping University, Department of Electrical Engineering, Vehicular Systems. Linköping University, The Institute of Technology.
University of Calabria, Italy.
Show others and affiliations
2013 (English)In: EUROSIM '13, IEEE Press, 2013, 561-566 p.Conference paper, Published paper (Refereed)
Abstract [en]

Requirement verification is an important part of the development process, and the increasing system complexity has exacerbated the need for integrating this step into a formalized model driven development process, providing a dedicated methodology as well as tool support. In this paper the authors propose an extension for Modelica, an equation-based language for system modeling, that will allow to represent system requirements in the same formalism as the design model, thus reducing the need for transformations between different specialized formalisms, lowering maintenance and modification costs, and benefitting from the expression and simulation capabilities, as well as extensive tool support of Modelica. The object-oriented nature of the approach provides the advantages of modular design and hierarchical structuring of the requirement model. This paper also illustrates, with the help of an example, how requirement verification can be used alongside the simulation process to trace the components responsible for requirement violations. To this end, we introduce a formalism for expressing relationships between components and requirements, as well as a tracing algorithm.

Place, publisher, year, edition, pages
IEEE Press, 2013. 561-566 p.
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
URN: urn:nbn:se:liu:diva-110331DOI: 10.1109/EUROSIM.2013.99ISI: 000361021500097ISBN: 978-0-7695-5073-2 (print)OAI: oai:DiVA.org:liu-110331DiVA: diva2:744323
Conference
EUROSIM Congress on Modelling and Simulation, Wales, UK, September 10-12, 2013
Available from: 2014-09-08 Created: 2014-09-08 Last updated: 2016-08-22

Open Access in DiVA

No full text

Other links

Publisher's full texthttp://dl.acm.org/citation.cfm?id=2547817

Authority records BETA

Buffoni-Rogovchenko, LenaFritzson, PeterNyberg, Mattias

Search in DiVA

By author/editor
Buffoni-Rogovchenko, LenaFritzson, PeterNyberg, Mattias
By organisation
PELAB - Programming Environment LaboratoryThe Institute of TechnologyVehicular Systems
Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 335 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