Komatsu Visiting Fellowship

Project Dates: From January 2010 to June 2010

Project Leader: Dr. John Fitzgerald

Sponsors: Komatsu Ltd. Japan

 

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.