Requirement Verification and Dependency Tracing During Simulation in Modelica
2013 (English)In: EUROSIM '13, IEEE Press, 2013, 561-566 p.Conference paper (Refereed)
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.
Electrical Engineering, Electronic Engineering, Information Engineering
IdentifiersURN: urn:nbn:se:liu:diva-110331DOI: 10.1109/EUROSIM.2013.99ISI: 000361021500097ISBN: 978-0-7695-5073-2OAI: oai:DiVA.org:liu-110331DiVA: diva2:744323
EUROSIM Congress on Modelling and Simulation, Wales, UK, September 10-12, 2013