AbstractsComputer Science

OpenModelica Support for Figaro Extensions Regarding Fault Analysis; OpenModelicastöd för felanalys med användning av Figarosystemet

by Alexander Carlqvist




Institution: Linköping University
Department:
Year: 2014
Keywords: OpenModelica; Modelica; Figaro; fault analysis; program transformation; Natural Sciences; Computer and Information Science; Computer Science; Naturvetenskap; Data- och informationsvetenskap; Datavetenskap (datalogi); Datavetenskap vid LiTH; Computer and information science at the Institute of Technology
Record ID: 1351700
Full text PDF: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-107393


Abstract

The practical result of this thesis is an extension to OpenModelica that transforms Modelica into Figaro. Modelica is an equation-based object-oriented modeling language. OpenModelica is an open source implementation of Modelica. Figaro is a language used for reliability modeling. Figaro is a general representation formalism that can be transformed into reliability models like fault trees. Figaro was designed for fault analysis. Modelica was designed to model the behavior of physical systems and run dynamic simulations. Because of that, you cannot just break components and analyze what happens to a system. This work enables us to have fault analysis in OpenModelica by transforming our Modelica model into a Figaro model and invoke the Figaro compiler. This lets us break particular components and see what happens to the system. This work is part of an ongoing effort to integrate several modeling environments.