liu.seSök publikationer i DiVA
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Requirement Verification and Dependency Tracing During Simulation in Modelica
Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.ORCID-id: 0000-0002-3435-4996
Linköpings universitet, Institutionen för systemteknik, Fordonssystem. Linköpings universitet, Tekniska högskolan.
University of Calabria, Italy.
Visa övriga samt affilieringar
2013 (Engelska)Ingår i: EUROSIM '13, IEEE Press, 2013, s. 561-566Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
IEEE Press, 2013. s. 561-566
Nationell ämneskategori
Elektroteknik och elektronik
Identifikatorer
URN: urn:nbn:se:liu:diva-110331DOI: 10.1109/EUROSIM.2013.99ISI: 000361021500097ISBN: 978-0-7695-5073-2 (tryckt)OAI: oai:DiVA.org:liu-110331DiVA, id: diva2:744323
Konferens
EUROSIM Congress on Modelling and Simulation, Wales, UK, September 10-12, 2013
Tillgänglig från: 2014-09-08 Skapad: 2014-09-08 Senast uppdaterad: 2016-08-22

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltexthttp://dl.acm.org/citation.cfm?id=2547817

Personposter BETA

Buffoni-Rogovchenko, LenaFritzson, PeterNyberg, Mattias

Sök vidare i DiVA

Av författaren/redaktören
Buffoni-Rogovchenko, LenaFritzson, PeterNyberg, Mattias
Av organisationen
PELAB - Laboratoriet för programmeringsomgivningarTekniska högskolanFordonssystem
Elektroteknik och elektronik

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 378 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf