Trinity College Dublin

MDDSV is a 4-year project funded by Science Foundation Ireland, as part of the Irish software engineering research centre (Lero). MDDSV will provide a tool chain for the development of mobile real-time systems, allowing application code to be generated from the high-level specification of a system, including its safety constraints. It will deliver a modelling language and environment, which allows the expression of constraints within which system behaviour must take place. It will also focus on the design and construction of systems within a dynamic or unknown environment (e.g., one where communications efficiency is variable).

Motivation

Thanks to progresses in miniaturisation and automatisation, we encounter more and more autonomous mobile entities in our everyday lives.Examples of these entities include more and more evolved robots, automatic guided vehicles for warehouses, or people, and in research environments, autonomous cars. As these entities evolve in the same environment as each other and as human,they need to coordinate their behaviours in order to ensure the safety of both entities and humans. Coordinating behaviour in real-time using an unreliable wireless network is very challenging. This project investigates the tool support that can be provided to developers of such applications.

People

Mikael Asplund, Niall O'Hara, Dawei Yang, Siobhán Clarke, Mélanie Bouroche and Vinny Cahill