Authors:
Evgeny Kusmenko
;
Igor Shumeiko
;
Bernhard Rumpe
and
Michael von Wenckstern
Affiliation:
RWTH Aachen, Germany
Keyword(s):
Behavioral Compatibility, Component & Connector Model, Simulink, Evaluation on Automotive Models, Model-Checking.
Related
Ontology
Subjects/Areas/Topics:
Applications and Software Development
;
Component-Based Software Engineering
;
Model-Based Testing and Validation
;
Model-Driven Software Development
;
Software Engineering
Abstract:
Automotive industry uses model checking approaches to ensure behavioral backward compatibility of different
variants and versions of software components to enable higher re-usability. Due to the lack of scalability, our
already presented backward model-checking approach only allowed compatibility checks for small and mid-size
components. Therefore, this paper presents several optimizations, such as normalizing and hashing the
Expression Abstract Syntax Tree for faster evaluations and the creation of mappings for internal Simulink
variables to avoid the need to unfold them. These optimizations lead to a tremendous decrease in execution
time of our backward-compatibility checks between MATLAB Simulink components enabling the support of
larger models. Besides describing the methodology behind the new fast simulation preorder algorithm, this
paper also evaluates the different steps of the new algorithms for a driver assistant system provided by Daimler
AG.