Tue Sep 22 14:13:19 CEST 2009


I'm looking at local efforts in model-based design.  I ran into the
MARTES[2] project which ran over 3 years (2005-2007):

    ``The aim of the MARTES project is the following: The definition,
    construction, experimentation, validation and deployment of a new
    model-based methodology and an interoperable toolset for Real-Time
    Embedded Systems development, and the application of these
    concepts to create a development and validation platform for the
    domain of embedded applications on heterogeneous platforms

Local academics listed in [2] are [3] and [4].

The two companies that cought my eye are: 

- NXP for SCATE[5], MPC[6] and C3PO[7], which seem to be mostly under
  the care of Ondrey Popp[8]

- Cofluent Design[9] for their MCSE and Cofluent Studio products.

Looks like what I'm looking for is Model Transformations.

I'm thinking: separate level connections from tool effects.
I.e. you're going to use different tools at different levels, but try
to keep the link between them clear.  The Generic Upsilon
Transformations (GUT)[10] is mentioned in [2] as a modeling technique
where each model TX is a merge of two models.

[1] http://www.martes-itea.org/public/publications.php
[2] https://lirias.kuleuven.be/bitstream/123456789/167594/1/D2.10_v1_ITEA-MARTES.pdf
[3] http://www.cs.kuleuven.be/~stefanv/
[4] http://www.cs.kuleuven.be/~aram/
[5] http://sourceforge.net/projects/scate/
[6] http://sourceforge.net/projects/mpsc/
[7] http://sourceforge.net/projects/c3po/
[8] http://www.linkedin.com/pub/ondrej-popp/4/637/56b
[9] http://www.cofluentdesign.com/