Slicing MATLAB Simulink models

MATLAB Simulink is the most widely used industrial tool for developing complex embedded systems in the automotive sector. The resulting Simulink models often consist of more than ten thousand blocks and a large number of hierarchy levels. To ensure the quality of such models, automated static analys...

Full description

Saved in:
Bibliographic Details
Main Authors: Reicherdt, R., Glesner, S.
Format: Conference Proceeding
Language:English
Subjects:
Analytical models
Context
Context modeling
Data models
Dependence Analysis
Embedded systems
MATLAB
Simulink
Slicing
Switches
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:MATLAB Simulink is the most widely used industrial tool for developing complex embedded systems in the automotive sector. The resulting Simulink models often consist of more than ten thousand blocks and a large number of hierarchy levels. To ensure the quality of such models, automated static analyses and slicing are necessary to cope with this complexity. In particular, static analyses are required that operate directly on the models. In this article, we present an approach for slicing Simulink Models using dependence graphs and demonstrate its efficiency using case studies from the automotive and avionics domain. With slicing, the complexity of a model can be reduced for a given point of interest by removing unrelated model elements, thus paving the way for subsequent static quality assurance methods.
ISSN:0270-5257
1558-1225
DOI:10.1109/ICSE.2012.6227161