Interprocedural slicing using dependence graphs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Static slicing of threaded programs
Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Slicing Hierarchical Automata for Model Checking UML Statecharts
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
ICSE '81 Proceedings of the 5th international conference on Software engineering
The program dependence graph in a software development environment
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
ICSM '03 Proceedings of the International Conference on Software Maintenance
Forward slices are smaller than backward slices
SCAM '05 Proceedings of the Fifth IEEE International Workshop on Source Code Analysis and Manipulation
An empirical study of static program slice size
ACM Transactions on Software Engineering and Methodology (TOSEM)
Control Dependence for Extended Finite State Machines
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
SVtL: system verification through logic tool support for verifying sliced hierarchical statecharts
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Model projection: simplifying models in response to restricting the environment
Proceedings of the 33rd International Conference on Software Engineering
A vocabulary of program slicing-based techniques
ACM Computing Surveys (CSUR)
Analysis and testing of matlab simulink models: a systematic mapping study
Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation
Bit-precise formal verification of discrete-time MATLAB/Simulink models using SMT solving
Proceedings of the Eleventh ACM International Conference on Embedded Software
| Hi-index | 0.00 |
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.