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 modeled in Modelica, and requirement(More)
How can Python users be empowered with the robust simulation, compilation and scripting abilities of a nonproprietary 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)
Web services lack the possibility to exchange first-class objects as parameters and results. In current SOA practices, one has to give up years of experience in object-oriented programming, and return to procedural programming, passing as parameters XML data rather than objects. We propose to tackle this problem with our WS-object model which, by(More)
  • 1