Paper Info
Title
Flow Sensitive Slicing for MATLAB/Simulink Models
Abstract
MATLAB/Simulink is a widespread tool for modelbased software development within the automotive domain. Industrial sized models developed with Simulink often contain more than 20000 blocks connected by complex dependency relations. Those relations are mostly concealed by architectural pattern within the model. Common tools to discover dependencies during model development/maintenance are static analyses and slicing algorithms. In this paper we present a flow sensitive definition of data dependence for Simulink models for the inclusion within such analyses. It is tailored to describe dependencies hidden by the architecture of the model. This includes the distinction of data dependencies of virtual from nonvirtual blocks, the impact of buscapable blocks and bus signals. When integrated into a slicing algorithm, the relation enables accurate tracing of the atomic and composite signal flow of a model via its program dependence graph. We evaluate the created slicing algorithm with models from industrial case studies against another approach from the literature. During the evaluation of the slicing algorithms we could observe a reduction of the average slice sizes by up to 66%, due to the inclusion of the proposed data dependency relation.
Year
DOI
Venue
2016
10.1109/WICSA.2016.23
2016 13th Working IEEE/IFIP Conference on Software Architecture (WICSA)
Keywords
Field
DocType
MATLAB,Simulink,Slicing,Dependence Analysis
Program slicing,Data modeling,Data dependency,Computer architecture,Program Dependence Graph,Algorithm design,Computer science,Slicing,Dependence analysis,Theoretical computer science,Computer engineering,Tracing
Conference
ISBN
Citations 
PageRank 
978-1-5090-2563-3
5
0.46
References 
Authors
8
2
Name
Order
Citations
PageRank
Thomas Gerlitz1192.93
Stefan Kowalewski260265.14