Authors:
Steffen Hillemacher
1
;
Stefan Kriebel
2
;
Evgeny Kusmenko
1
;
Mike Lorang
1
;
Bernhard Rumpe
1
;
Albi Sema
1
;
Georg Strobl
2
and
Michael von Wenckstern
1
Affiliations:
1
RWTH Aachen University, Germany
;
2
BMW Group, Germany
Keyword(s):
Reference paper for SMARDT methodology in Automotive Industry, Elf-driving Vehicles, Modeling Languages.
Related
Ontology
Subjects/Areas/Topics:
Domain-Specific Modeling and Domain-Specific Languages
;
Languages, Tools and Architectures
;
Model-Driven Software Development
;
Software Engineering
Abstract:
Cyber-physical systems are deeply intertwined with their corresponding environment through sensors and actuators.
To avoid severe accidents with surrounding objects, testing the the behavior of such systems is crucial.
Therefore, this paper presents the novel SMARDT (Specification Methodology Applicable to Requirements,
Design, and Testing) approach to enable automated test generation based on the requirement specification and
design models formalized in SysML. This paper presents and applies the novel SMARDT methodology to develop
a self-adaptive software architecture dealing with controlling, planning, environment understanding, and
parameter tuning. To formalize our architecture we employ a recently introduced homogeneous model-driven
approach for component and connector languages integrating features indispensable in the cyber-physical systems
domain. In a compelling case study we show the model driven design of a self-adaptive vehicle robot
based on a modular and extens
ible architecture.
(More)