C O L U M B U S

Design of Embedded Controllers for Safety Critical Systems

Project IST-2001-38314

 

Project | Participants | Innovation | Work Plan  | Related Links | Newsmieszkania w Gdyni|

Hybrid System Modeling

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

 

 

 

Platform Based Design

Home Work Plan Platform Based Design

f

Platform Based Design

WPPBD

Start month: 1

Duration:  24 months

Participant:

UCAM

AQUI

INRIA

UCB

VU

 

 

 

1

Objectives: Platform Based Design is a revolutionary approach to the design of embedded systems pioneered by this project. Work package WPPBD will lay the foundations for generic tools that allow one to develop embedded systems using the Platform Based Design approach, starting from conceptual level specifications and hardware level architecture constraints and refining these to a level suitable for implementation. The results of WPPBD will be used by WPDF where they will be brought to bare on the applications to automotive control and flight control as part of the overall design flow.

2

Work Description: We will develop methods and guidelines for generating descriptions for the entire system platform stack, including the topmost level (application space), the bottom level (architecture space) and the interfaces that provide the necessary abstraction between the platforms. Task PBD1: Development of the definition of abstraction layers for automotive and flight control.

Task PBD2: Modeling of platform constraints and export of platform parameters up the abstraction hierarchy.

Task PBD3: Determination of the appropriate constraints and export mechanism for the chosen application space.

Task PBD4: Refinement mechanism to guarantee properties verified at higher level of the platform stack are maintained.

Task PBD5: Mapping of embedded control design problems into the overall concept. Optimization methods for the selection of control parameters and of platform parameters.

Task PBD6: Demonstration of approach on test cases.

3

Deliverables

DPBD1: Report on the platform based approach with constraints and export mechanism (public)

DPBD2: Joint paper among the participants on the principles of the design methods.

DPBD3: Report and papers on the application of the method to the embedded control problem for safety critical systems.

4

Milestones

Month 18: DPBD1 report (public)

Month 24: DPBD2 report (public)

Month 24: DPBD3, contribution to the final project deliverable

5

Interrelation with other WPs

WPBD will be based on the experience of the partners with embedded system applications, in particular to power train and flight control. The results of WPPBD will be used as input to WPDF, where the general developments will be tested as part of the overall design philosophy.