Write a Blog >>
Tue 10 Nov 2020 01:33 - 01:34 at Virtual room 2 - Analysis 2

This paper presents and evaluates the \emph{Boundary Diagram Tool} for change impact analysis of large Simulink designs of embedded systems. In our previous work, we developed the Reach/Coreach Tool for model slicing within a single Simulink model. The current work extends the Reach/Coreach Tool to trace the impact of model changes through multiple models comprising an embedded system, including network interfaces. The change impact analysis results are represented using various diagrams motivated by industrial needs. Several techniques are used to improve understanding of impact analyses of large industrial systems. The tool has been integrated into the software development process of a large automotive OEM (Original Equipment Manufacturer) to support the following activities: change request analysis and evaluation, implementation, verification and integration. The tool also aids impact analyses required for compliance with functional safety standards. The tool's effectiveness has been demonstrated on production-scale models.

Tue 10 Nov

Displayed time zone: (UTC) Coordinated Universal Time change

01:30 - 02:00
01:30
5m
Talk
A Study of Call Graph Construction for JVM-Hosted Languages
Journal First
Karim Ali University of Alberta, Xiaoni Lai Google, Zhaoyi Luo Microsoft, Ondřej Lhoták University of Waterloo, Julian Dolby IBM Research, USA, Frank Tip Northeastern University
Pre-print Media Attached
01:33
1m
Talk
Change Impact Analysis in Simulink Designs of Embedded Systems
Industry Papers
Bennett Mackenzie McMaster University, Canada, Vera Pantelic McMaster University, Canada, Gordon Marks McMaster University, Canada, Stephen Wynn-Williams McMaster University, Canada, Gehan Selim McMaster University, Canada, Mark Lawford McMaster, Alan Wassyng McMaster University, Canada, Moustapha Diab FCA, USA, Feisel Weslati FCA, USA
DOI
01:35
1m
Talk
Dads: Dynamic Slicing Continuously-Running Distributed Programs with Budget Constraints
Tool Demos
Xiaoqin Fu Washington State University, Haipeng Cai Washington State University, USA, Li Li Monash University, Australia
DOI
01:37
1m
Talk
JShrink: In-Depth Investigation into Debloating Modern Java Applications
Research Papers
Bobby Bruce University of California at Davis, USA, Tianyi Zhang Harvard University, USA, Jaspreet Arora University of California at Los Angeles, USA, Guoqing Harry Xu University of California at Los Angeles, Miryung Kim University of California at Los Angeles, USA
DOI
01:39
1m
Talk
Making Symbolic Execution Promising by Learning Aggressive State-Pruning Strategy
Research Papers
Sooyoung Cha Korea University, South Korea, Hakjoo Oh Korea University
DOI
01:41
19m
Talk
Conversations on Analysis 2
Research Papers
Karim Ali University of Alberta, Pengyu Nie University of Texas at Austin, USA, SooYoung Chae , Xiaoqin Fu Washington State University, Hoda Khalil Carleton University, M: Shin Hwei Tan Southern University of Science and Technology