UML PROFILE FOR SAVECCM - Research

SaveCCM
5. SaveComp Component Model
This section gives an overview of SaveCCM – a research model developed at
Mälardalen University, Sweden. Only the SaveCCM component model will be
analysed, SaveCCM Core component language and SaveCCT component
technology are out of scope of this thesis. The section 5.4 provides an example of
a Cruise control system to illustrate SaveCCM.
5.1 The SaveCCM application domain
SaveComp Component Model (SaveCCM) is a research component model for
embedded systems developed within the Save project at Mälardalen Real-Time
Research Centre, Dept. of Computer Engineering, MdH, Västerås, Sweden.
SaveCCM is intended for modelling vehicular systems using CBD approach,
precisely, it is anticipated for designing safety – critical sub-systems responsible
for controlling the vehicle dynamics, including power-train, steering, braking, etc.
The possible reason for the limited success of CBSE in the embedded systems
domain is the inability of available component technologies to provide solutions
that meet typical embedded application requirements, such as resource –
efficiency, predictability, and safety [Åkerholm 07]. Experience has shown that for
many embedded system domains efficiency in run – time resources consumption
and prediction of system behaviour are more important than efficiency in the
software development. Contrary to many of the current component technologies,
SaveCCM focuses on predictability and analysability more than on flexibility.
Except systems with predictable behaviour, SaveCCM supports the development
of resource-efficient systems.
There are many similar component technologies for development of embedded
systems, such as Koala and Rubus used in industry and the research technologies
PECT, PECOS and ROBOCOP.
This component model is intended to be sufficiently expressive for the needs of
embedded control designers, while at the same time being restricted enough to
facilitate predictability, dependability, and analysis. In addition, within the SAVE
project a SaveIDE tool is developed. It is a development environment for modelling
embedded systems using SaveCCM.
5.2 SaveCCM – syntax and semantics
SaveCCM is based on a textual XML syntax (for more about this syntax refer to
[Hansson 04][SaveR 07]), and a modified subset of UML 2.0 component diagram
is used as a graphical notation. The semantics is formally defined by a two-step
35