Using Modelica for Testing Embedded Systems
Wolfgang Freiseisen, Robert Keber, Wihelm Medetz, Petru Pau, Dietmar Stelzmueller · 2002
paper, we give an overview of a simulation environ- ment based on Modelica, dedicated to testing PLC programs. The main components of the system are a compiler of a Modelica subset and a runtime environment, which provides the necessary tools for simulating the evolution of models.