Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Analysis of Real-Time Properti...

Analysis of Real-Time Properties of a Digital Hydraulic Power Management System

Pontus Boström, Petr Alexeev, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama, Analysis of Real-Time Properties of a Digital Hydraulic Power Management System. In: Frédéric Lang, Francesco Flammini (Eds.), Formal Methods for Industrial Critical Systems, Lecture Notes in Computer Science 8718, 33–47, Springer, 2014.

Abstract:

The paper presents a case study involving a Digital Hydraulics Power Management System (DHPMS). The system is a cyber-physical system, where actions need to be taken with high precision in order to ensure that the system works safely and energy efficiently. Here high precision actions demand very low latency of the control software. The contribution of this paper is an approach to analyse real-time properties of a common type of cyber-physical system. The paper also highlights the need to carefully analyse the effects of timing errors on performance and safety. The timing analysis is based on timed automata models and model-checking in the TIMES tool. Some lessons learned from the case study are also discussed.

BibTeX entry:

@INPROCEEDINGS{inpBoAlHeHuWaLi14a,
  title = {Analysis of Real-Time Properties of a Digital Hydraulic Power Management System},
  booktitle = {Formal Methods for Industrial Critical Systems},
  author = {Boström, Pontus and Alexeev, Petr and Heikkilä, Mikko and Huova, Mikko and Waldén, Marina and Linjama, Matti},
  volume = {8718},
  series = {Lecture Notes in Computer Science},
  editor = {Lang, Frédéric and Flammini, Francesco},
  publisher = {Springer},
  pages = {33–47},
  year = {2014},
  ISSN = {0302-9743},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Publication Forum rating of this publication: level 1

Edit publication