loading
Documents

Research.Publish.Connect.

Paper

Authors: Evgeny Kusmenko ; Igor Shumeiko ; Bernhard Rumpe and Michael von Wenckstern

Affiliation: RWTH Aachen, Germany

ISBN: 978-989-758-283-7

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.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.206.13.39

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.