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

Hybrid System Modeling

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

 

 

 

Meta-Modeling Tools

Home Work Plan Meta-Modeling Tools

f

Meta-Modeling Tools         WPMM                                                                           

 Start month: 6

Duration:  24 months

Participant:

UCAM

AQUI

INRIA

UCB

VU

 

 

 

1

Objectives: In providing a specification, one needs a capability of describing the following three aspects: actions, constraints, and their refinement. This is true whether it is a specification of a system (behavior or architecture) or of the environment. The objective of this work package is the development of meta-models that have precisely this capability. The ultimate goal is a meta-modeling based open tool integration framework, which enables the rapid composition of domain-specific design tools using reusable tool components.

2

Work Description: The starting point of the work will be the theoretical development of work package WPTA. Building on this foundation, we will extend the results to determine how one can

(a)          Compose and validate complex meta-models, and

(b)    Extend meta-modeling constructs to very large, dynamic, networked embedded systems.

This will lead to a common, meta-modeling framework to be used as a core component of open tool integration environments. The meta-modeling framework will include modeling languages for representing design flows and meta-modeling languages for representing data models of individual tools.

3

Deliverables

DMM1: Report on formal framework. Overview of meta-modeling languages currently used in the US. Development of a recommendation for common meta-modeling language(s). Development and distribution of case studies of design flow modeling and related meta-model based design flow modeling in 2 selected domains.

DMM2: Report on the use of meta-models for hybrid systems. Participating in the evaluation of the approaches using the results of the EU team members. Collection and evaluation of feedback about the proposed meta-modeling language Development and distribution of a revised meta-modeling language.

DMM3: Contribution to the final project deliverable.

4

Milestones

Month 18: DMM1 report (public)

Month 24: DMM2 report (public)

Month 24: DMM3, contribution to the final project deliverable

5

Interrelation with other WPs

WPMM will be based on input from WPTA. The results of WPMM will be used as input from WPDF.