Design of Embedded Controllers for Safety Critical Systems

Project IST-2001-38314


Project | Participants | Innovation | Work Plan  | Related Links | News

Hybrid System Modeling

Stochastic Control and Analysis of Hybrid Systems
Theory of Meta Models
Meta Modeling Tools
Platform Based Design
Design Flow




Hybrid System Modeling

Home Work Plan Hybrid System Modeling


Hybrid System Modeling


Start month: 1

Duration:  22 months











Objectives: UCAM has a strong research program in the area of hybrid systems control. The general objective of UCAM in WPHS will be to determine appropriate stochastic models for control of safety critical systems, to be used in WPSHS. AQUI is a center of excellence on embedded system design with particular emphasis on control problems for automotive and air traffic control. Its activities have been centered on hybrid systems for embedded control applications. Modeling of embedded control problems as hybrid systems is the focus of AQUI in this work package. UCB has a major research program in hybrid systems. The general objective of the research program of UCB is to investigate hybrid systems from numerical, computational complexity and language semantics points of view. The specific contribution of partner 3 is participation in the development of a common hybrid-model interchange format, which will enable research groups across the Atlantic in transferring models and comparing analysis methods using a common interchange language.


Work Description: For the computer simulation, analysis and execution of safety critical hybrid controllers, computational limitations make idealized mathematical models inadequate.  Issues such as event detection and Zeno behavior needs to be addressed, and a theory of error estimation for hybrid systems needs to be developed.  The challenge here is to integrate paradigms from discrete mathematics (combinatorics, logic, graph theory, induction) with paradigms from continuous mathematics (differential equations, stochastic control, transforms, stability).  In particular, the treatment of component-based hybrid systems will require the study of mixed discrete-continuous games, where system components correspond to players with various safety and liveness objectives. Coordinate the development of a common, hybrid-system interchange format. Research groups in the US and EU are developing a number of new simulation and hybrid analysis methods and tools. For example, reachability analysis in hybrid systems is one of the fundamental problems in verification of safety of embedded systems. A common problem in evaluating and using of different hybrid analysis methods is that modeling methods used by research groups are different. On one hand, this is necessary, since modeling intimately related to the analysis method to be investigated, but on the other hand, these differences make the comparison and joint use of techniques extremely hard. Researchers will investigate the formal representation of the semantics of common hybrid system models used by different communities and will recommend an interchange language with extensible semantics. The recommendation will also include a standard-based syntax (such as XML) for physical transfer of data.



DHS1: Overview of hybrid modeling languages used by research groups in the US.

DHS2: Overview of methods of representing semantics of hybrid modeling techniques.

DHS3: Development of a recommendation for a common hybrid-system interchange language.

DHS4: Collection and evaluation of feedback about the hybrid interchange language.

DHS5: Development and distribution of a revised interchange language.

DHS6: Development of case studies of using the interchange language for representing the semantics of 2 selected modeling languages in the US.



Month 6: DHS1 report (public)

Month 10: DHS2 report (public)

Month 12: DHS3 report (public)

Month 18: First release of the draft interchange-language specification

Month 22: DHS4 and 5 report (public).

Month 24: DHS6 report (public). Final release of the final interchange-language specification and use cases.


Interrelation with other WPs

WPHS will receive background input from all the partners about safety critical situations motivated by the applications. The deliverables of WPHS will be used as input in WPDF.