Modelica - A Strongly Typed System Specification Language for Safe Engineering Practices
Fritzson, Peter Engelson, Vadim Idebrant, Andreas Aronsson, Peter
2004 (English)In: Proceedings of the SimSAFE Conference, Karlskoga, Sweden, June 15-17, 2004, 2004Conference paper (Other academic)
Recent years have witnessed a significant growth of interest in modeling and simulation of engineering application systems. A key factor in this growth has been the development of efficient equation-based simulation languages, with Modelica as one of the prime examples. Such languages have been designed to allow automatic generation of efficient simulation code from declarative specifications. A major objective is to facilitate reuse and exchange of models, model libraries, and simulation specifications.
The Modelica language and its associated support technologies have achieved considerable success through the development of domain libraries in a number of technical areas. By using domain-libraries complex simulation models can be built by aggregating and combining submodels and components from various physical domains.
The concept of safe engineering practices has been one of the most important guidelines when designing Modelica. This made it natural to make Modelica a statically strongly typed language, which allows the compiler to check the consistency of a design before it is executed, in contrast to dynamically typed languages such as Matlab.
The ability of static checking has also influenced the design of conditional equations and the ongoing the design of variant handling features in Modelica. Moreover, the language allows support for standardized physical units, thus enabling tools for unit checking of relationships and connections between interfaces. A third possible level of checking is through design rules within application-specific libraries, which can be enforced via assert statements. These properties taken together gives a good foundation for safe engineering practices, even though more work is needed to further increase the safety quality level.
National CategoryComputer Science
IdentifiersURN: urn:nbn:se:liu:diva-23103Local ID: 2500OAI: oai:DiVA.org:liu-23103DiVA: diva2:243416
SIMSAFE 2004, June 17, Karlskoga, Sweden