Olena Rogovchenko

Learn More
This paper presents a complete case study that takes a real Fuel Display System element used in Scania Trucks and applies an unified process for modelling system requirements together with the system itself and verifying these requirements in a structured manner. In order to achieve this process the system is mod-eled in Modelica, and requirement(More)
How can Python users be empowered with the robust simulation, compilation and scripting abilities of a non-proprietary object-oriented, equation based modeling language such as Modelica? The immediate objective of this work is to develop an application programming interface for the OpenModelica modeling and simulation environment that would bridge the gap(More)
With the growing complexity of the hardware models, the verification of the functional safety of each individual component as well as of the entire system becomes increasingly complex. In this paper the authors present a novel approach to functional safety analysis, based on the integration of functional tests into the model itself and the analysis of(More)
A 3D representation of a physical phenomena is often a good way to present it. It's often easier to see an event in an animation rather than just read data tables. The goal of this thesis is to create an application that visualizes a physical simulation in Modelica. This thesis explains how the OMVisualize application was developed. To create the(More)
In the world of modeling, Model Validation plays a crucial role. A model editor is not said to be complete without Validation. ModelicaML is a Modeling Language extended from a subset of UML and SysML, developed under OpenModelica Project. It is defined to provide time-discrete and time-continuous models. Papyrus Model Editor is extended to support for(More)