Fast Simulation Preorder Algorithm

Evgeny Kusmenko, Igor Shumeiko, Bernhard Rumpe, Michael von Wenckstern

2018

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.

Paper Citation

in Harvard Style

Kusmenko E., Shumeiko I., Rumpe B. and von Wenckstern M. (2018). Fast Simulation Preorder Algorithm.In Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-283-7, pages 256-267. DOI: 10.5220/0006722102560267

in Bibtex Style

@conference{modelsward18,
author={Evgeny Kusmenko and Igor Shumeiko and Bernhard Rumpe and Michael von Wenckstern},
title={Fast Simulation Preorder Algorithm},
booktitle={Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2018},
pages={256-267},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006722102560267},
isbn={978-989-758-283-7},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Fast Simulation Preorder Algorithm
SN - 978-989-758-283-7
AU - Kusmenko E.
AU - Shumeiko I.
AU - Rumpe B.
AU - von Wenckstern M.
PY - 2018
SP - 256
EP - 267
DO - 10.5220/0006722102560267