Analysis of real-time properties of a digital hydraulic power management system

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. © 2014 Springer International Publishing.