|
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 modeling in UML + UML
profile example
The presentation will provide an overview of system platform
modeling 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
|
