Authors:
Omar Kacimi
;
Christian Ellen
;
Markus Oertel
and
Daniel Sojka
Affiliation:
OFFIS, Germany
Keyword(s):
Model-based Design, Safety Analysis, Tool Interoperability, Systems Engineering, Verification & Validation, OSLC.
Abstract:
The interoperability of tools and methods is a topic being currently discussed across all engineering domains
of embedded systems. The increasing amount of requirements on interoperability demands a common
understanding of design artifacts which needs to be accessible beyond tool boundaries. Furthermore, to
support safety related development, a framework to integrate verification and validation activities has to be
established. This eases early design decisions and provides support for certification processes.
Different European projects tackled the subject and current ones like MBAT (Model-Based Analysis and
testing) are addressing it under the form of a so called Reference Technology Platform (RTP). Nevertheless,
besides theoretical discussions on interoperability standards and basic transfer technologies, few implementations
of such a platform exist.
Within MBAT, we integrated an automated safety analysis into our existing RTP prototype. This setup was
developed for the purposes o
f an industrial case study calling upon a typical set of heterogeneous tools
and formats like MATLAB Simulink/Stateflow, IBM Rational DOORS and EAST-ADL. In this paper, we
present our RTP implementation and evaluate its effectiveness with respect to the safety aspects and the
interoperability challenges raised by the use case.
(More)