Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Verification and Validation of...

Verification and Validation of a Pressure Control Unit for Hydraulic Systems

Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama, Verification and Validation of a Pressure Control Unit for Hydraulic Systems. In: István Majzik, Marco Vieira (Eds.), Software Engineering for Resilient Systems, Lecture Notes in Computer Science 8785, 101–115, Springer, 2014.

Abstract:

This paper describes the development, verification and model-based validation of a safety-critical pressure relief function for a digital hydraulic system. It demonstrates techniques to handle typical challenges that are encountered when verifying and validating cyber-physical systems with complex dynamical behaviour. The system is developed using model-based design in Simulink. The verification part focuses on verification of functional properties of the controller, where formal automated verification tools are employed. The validation part focuses on validating that the controller has the desired impact on the physical system. In the latter part search-based methods are used to find undesired behaviour in a simulation model of the system. The combination of techniques provides confidence in the resilience of the developed system.

BibTeX entry:

@INPROCEEDINGS{inpBoHeHuWaLi14a,
  title = {Verification and Validation of a Pressure Control Unit for Hydraulic Systems},
  booktitle = {Software Engineering for Resilient Systems},
  author = {Boström, Pontus and Heikkilä, Mikko and Huova, Mikko and Waldén, Marina and Linjama, Matti},
  volume = {8785},
  series = {Lecture Notes in Computer Science},
  editor = {Majzik, István and Vieira, Marco},
  publisher = {Springer},
  pages = {101–115},
  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