UML to SystemC System Design Flow
an ECSI Workshop
May 4, 2004
Industry is looking for efficient methods bridging the application (product) design and its implementation methods (platform-based design). The link between these two worlds is established by exchange or combination of models.
The OMG’s MDA approach involving meta-models, mapping between models, platform independent vs. platforms specific models seems to fit well here, but we need to ensure that we interpret it appropriately.
The workshop provided the industry point of view on some of these issues to initiate discussion and exchange of opinions and experiences.
Moreover some view on real-world experiences were provided on e.g. how UML is used for deeply embedded systems development and how platforms are modeled in SystemC at very high level of abstraction (the level that is relevant for architecture validation/application development) and what are the lessons learned.
1. UML-SystemC based methodology
Requirements of an UML-SystemC based methodology: An overview of a system design methodology outlining the way how UML can be associated to SystemC to satisfy the requirements of SoC and Embedded systems design.
Presenter: Pierre Boulet, LIFL
UML Specification of Platform-based Design
Presenter: Florian Schäfer, Cadence Design Systems
2. General requirements for the design methodology from a perspective of the system house
Presenter: Klaus Kronlöf, Nokia
3. UML 2.0
UML 2.0 features introduction: The main UML2 .0 features will be presented with specific focus on its applicability to system design.
Presenter: Sébastien Gérard, CEA
Platform modelling in UML + UML profile example: The presentation will provide an overview of system platform modelling in UML, give an example of a profile definition, explore the link between architecture of software and hardware with validation facets (schedulability and performance).
Presenter: Sébastien Gérard, CEA
4. Formal bridge between UML and SystemC
The definition of formal framework in which UML is linked to SystemC through a formal B semantics will be presented: (UML-B/U2B and B-SystemC).
Part I: UML-B: The existing tool U2B creates B models from UML-B models. The existing tool can be used for software and hardware development based on a translation to EventB. The basics of the translation will be outlined, as they are applicable to hardware and software alike. UML2 offers mechanisms for component-based design that were not present in UML1. Using these we will outline some future evolution of UML-B and U2B.
Part II: B and BHDL: The B models generated from UML-B models may represent hardware or software. Using Atelier B hardware models that suit the subset BHDL of B can be translated into SystemC. The SystemC design can then be regarded as correct with respect to the formal properties proven. The path from UML-B to SystemC on RT-level will be outlined. Subsequently, we will continue with the component-based designed as introduced in part I, and show how they may lead to higher level SystemC models.
Presenters: Colin Snook, U Southampton & Stefan Hallerstede, KeesDA
5. Model checking of temporal system properties
Presenter: Alexander Knapp, LMU Munich
6. Model Driven Architecture
Usage of MDA based Methods in Rigorous System Design
Presenter: Ian Oliver, Nokia
MDA for SOC Design
Presenter: Cédric Dumoulin, LIFL
7. UML-SystemC Based Design Flow
A Design Flow based on SystemC Starting from UML Models
Presenter: Donatella Sciuto/Francesco Bruschi, P. di Milano
8. Industrial point of view
• UML-SystemC flow
Presentations from Thales Communication – Philippe Kajfasz and STMicroelectronics – Alain Clouard