School of Computing


Komatsu Visiting Fellowship

This project supports a visiting fellowship from Komatsu Ltd. allowing an experienced engineer developing embedded control systems to work on formal techniques for the design of such systems. The work will focus on contributing studies in multidisciplinary embedded systems design to the DESTECS project which investigates the use of co-modelling and co-simulation in the design of fault-tolerant embedded systems.