Hybrid system modeling techniques to capture the nature of the design problem and the interaction between abstract models and implementation platforms;

Stochastic control algorithms for hybrid systems;

A theory based on abstract algebra that can provide the basic foundation for an error-free methodology for design specification and early verification;

Software tools that use the notion of meta-models, the result of the investigation described above, as the integration platform. We believe that the fully specified meta-model could be an ideal interchange format among tools with formal semantics that will allow formal analysis and the use of rigorous design flows based on the concept of successive refinement. A set of fully documented Application Programmer Interfaces (API’s) will also be provided to facilitate the interaction and the integration among design tools;

A complete characterization of platform architectures in terms of layers of abstractions and interfaces among them. This characterization will draw from the work on the formal platform-based design methodology developed by the partners;

A flow and a methodology for the design of embedded controller for safety-critical systems by focusing on important test cases that have been studied extensively by the partners: automotive power train, flight and air-traffic control.