- 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.