LiU Electronic Press
Full-text not available in DiVA
Author:
Fritzson, Peter (Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory) (Linköping University, The Institute of Technology)
Engelson, Vadim (Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory) (Linköping University, The Institute of Technology)
Idebrant, Andreas (MathCore Engineering AB, Linköping, Sweden)
Aronsson, Peter (Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory) (Linköping University, The Institute of Technology)
Lundvall, Håkan (Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory) (Linköping University, The Institute of Technology)
Bunus, Peter (Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory) (Linköping University, The Institute of Technology)
Nyström, Kaj (Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory) (Linköping University, The Institute of Technology)
Title:
Modelica - A Strongly Typed System Specification Language for Safe Engineering Practices
Department:
Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory
Linköping University, The Institute of Technology
Publication type:
Conference paper (Other academic)
Language:
English
In:
Proceedings of the SimSAFE Conference, Karlskoga, Sweden, June 15-17, 2004
Conference:
SIMSAFE 2004, June 17, Karlskoga, Sweden
Year of publ.:
2004
URI:
urn:nbn:se:liu:diva-23103
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-23103
Local ID:
2500
Subject category:
Computer Science
SVEP category:
Computer science
Abstract(en) :

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.

Available from:
2009-10-07
Created:
2009-10-07
Last updated:
2014-09-17
Statistics:
20 hits