liu.seSearch for publications in DiVA
ReferencesLink to record
Permanent link

Direct link
Modelica - A Strongly Typed System Specification Language for Safe Engineering Practices
Show others...
2004 (English)In: Proceedings of the SimSAFE Conference, Karlskoga, Sweden, June 15-17, 2004, 2004Konferensbidrag (Other academic)
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.

National Category
Computer Science
Identifiers
urn:nbn:se:liu:diva-23103 (URN)2500 (Local ID)oai:DiVA.org:liu-23103 (OAI)
Conference
SIMSAFE 2004, June 17, Karlskoga, Sweden
Available from2009-10-07 Created:2009-10-07 Last updated:2014-10-08Bibliographically approved

Open Access in DiVA

No fulltext

Search in DiVA

By author/editor
Fritzson, PeterEngelson, VadimIdebrant, AndreasAronsson, PeterLundvall, HåkanBunus, PeterNyström, Kaj
By organisation
PELAB - Programming Environment LaboratoryThe Institute of TechnologyMathCore Engineering AB, Linköping, Sweden
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Citations

Web of Science®:
Totalt: 47 hits
ReferencesLink to record
Permanent link

Direct link