Section: New Results
UML Patterns for hardware/software architectures
A first contribution has been presented at the OMER3 (Object-oriented Modeling of Embedded Real-Time Systems) Workshop, at Paderborn (Germany), October 2005  . The approach is twofold:
a UML2.0 and SysML-based architecture description including functional and structural specification, resource allocations and QoS modelling;
a quantitative analysis with formal description of behaviour using Time Petri Net.
The quantitative analysis explores the solution space and proves the existence of valid schedulings. A refinement process allows different levels of description of the application.
Works in progress come within the scope of the Model Driven approach to the specification and design of embedded systems. We will propose metamodels for behavior, structure, and analysis, and the associated model transformations.