Lena Buffoni
Department of Computer and Information Science, Linköping University, Sweden
Peter Fritzson
Department of Computer and Information Science, Linköping University, Sweden
Download article
Published in: Proceedings of the 55th Conference on Simulation and Modelling (SIMS 55), Modelling, Simulation and Optimization, 21-22 October 2014, Aalborg, Denmark
Linköping Electronic Conference Proceedings 178:18, p. 192-196
Published: 2014-12-09
ISBN: 978-91-7519-376-2
ISSN: 1650-3686 (print), 1650-3740 (online)
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.
