Within this project we investigate a contract-based methodology for the design of control systems relying on formal software construction techniques and simulation tools, as well as building fault-tolerant platforms for reliable software.
|Boström, Pontus and Alexeev, Petr and Heikkilä, Mikko and Huova, Mikko and Waldén, Marina and Linjama, Matti, Analysis of Real-Time Properties of a Digital Hydraulic Power Management System. In: Formal Methods for Industrial Critical Systems. Lang, Frédéric and Flammini, Francesco (Eds.). Lecture Notes in Computer Science Springer, 2014 1|