Section: New Results
A UML profile for Real-Time Embedded System modeling
Embedded system modeling has always relied upon graphical diagrams with strong intuitive meaning: component netlists, data-flow block diagrams, or hierarchical state diagrams to name a few. Our concern was to define a superset of the UML2.0 OMG standard (technically called a profile), amenable to the precise semantics of synchronous and GALS systems. The motivation is to use UML-based editors and modeling tools as front-ends for the powerful compilation, synthesis, implementation and analysis techniquees developed around our mathematical model foundations. This includes formal modeling of execution platforms, with software and hardware aspects, in the platform-based design approach advocated in our team.
This year we investigated several modeling domains. Our technical propositions were partially phrased as proposal contributions to the MARTE profile  ,  , currently being built as a response to the RFP call at OMG. We worked more specifically on the definition of a general time model, that can be used to match ``physical'' metric time, as well as more logical single-clock or multiclock time bases, where the time units can be measured by the successive occurrences of any given event, not necessarily linked with physical periodic regular timing. We also worked on the introduction of regular iterator constructs, both for architetcural structure and for application behaviors. Finally we also investigated hardware component and architecture representation, in a way that comply with platform-based design and allocation.
We conducted these researches in the context of the CARROLL PROTES project and of the proMARTE international consortium (see ``Contracts'' section).