Expressing Requirements in Modelica
2014 (English)Conference paper (Refereed)
As cyber-physical systems grow increasingly complex, the need for methodologies and tool support for an automated requirement verification process becomes evident. Expressing requirements in a computable form becomes a crucial step in defining such a process. The equation based declarative nature of the Modelica language makes it an ideal candidate for modeling a large subset of system requirements. Moreover, modeling both the requirements and the system itself in the same language presents numerous advantages. However, a certain semantic gap subsists between the notions used in requirement modeling and the concepts of cyber-physical modeling that Modelica relies on. To bridge this gap, in this paper, we illustrate through the use of dedicated types, pseudo function calls and function block libraries, how the Modelica language can be tailored to fit the needs of requirement modeling engineers.
Place, publisher, year, edition, pages
Requirements, Equation-based modeling
Electrical Engineering, Electronic Engineering, Information Engineering
IdentifiersURN: urn:nbn:se:liu:diva-114207OAI: oai:DiVA.org:liu-114207DiVA: diva2:788251
In Proceedings of the 55th Scandinavian Conference on Simulation and Modeling (SIMS’2014),Aalborg, Denmark, Oct 21-22.