Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 2020
Wed 8 Jul 2020 15:24 - 15:30 at Silla - A9-Traceability Chair(s): Andrea Zisman

As software is rapidly being embedded into major parts of our society, ranging from medical devices and self-driving vehicles to critical infrastructures, potential risks of software failures are also growing at an alarming pace. Existing certification processes, however, suffer from a lack of rigor and automation, and often incur a significant amount of manual effort on both system developers and certifiers.
To address this issue, we propose a substantially automated, cost-effective certification method, backed with a novel \emph{analysis synthesis} technique to automatically generate application-specific analysis tools that are custom-tailored to producing the necessary evidence. The outcome of this research promises to not only assist software developers in producing safer and more reliable software, but also benefit industrial certification agencies by significantly reducing the manual effort of certifiers. Early validation flows from experience applying this approach in constructing an assurance case for a surgical robot system in collaboration with the Center for the Advanced Surgical Technology.

Wed 8 Jul

Displayed time zone: (UTC) Coordinated Universal Time change

15:00 - 16:00
A Novel Approach to Tracing Safety Requirements and State-Based Design ModelsTechnical
Technical Papers
Mounifah Alenazi University of Cincinnati, Nan Niu University of Cincinnati, Juha Savolainen Danfoss
Establishing Multilevel Test-to-Code Traceability LinksArtifact ReusableTechnicalArtifact Available
Technical Papers
Robert White University College London, UK, Jens Krinke University College London, Raymond Tan University College London
Synthesis of Assurance Cases for Software CertificationNIER
New Ideas and Emerging Results
Hamid Bagheri University of Nebraska-Lincoln, USA, Eunsuk Kang Carnegie Mellon University, Niloofar Mansoor University of Nebraska - Lincoln
TimeTracer: A Tool for Back in Time Traceability ReplayingDemo
Christoph Mayr-Dorn Johannes Kepler University Linz, Michael Vierhauser Johannes Kepler University Linz, Felix Keplinger Johannes Kepler University, Linz, Stefan Bichler Johannes Kepler University, Linz, Alexander Egyed Johannes Kepler University, Linz
Lack of Adoption of Units of Measurement Libraries: Survey and AnecdotesSEIP
Software Engineering in Practice
Steve McKeever Department of Informatics and Media, Uppsala University, Sweden, Omar-Alfred Salah Department of Informatics and Media, Uppsala University, Sweden
Improving the Effectiveness of Traceability Link Recovery using Hierarchical Bayesian NetworksTechnical
Technical Papers
Kevin Moran William & Mary/George Mason University, David Nader Palacio William & Mary, Carlos Bernal-Cárdenas William and Mary, Denys Poshyvanyk William and Mary, Daniel McCrystal William & Mary, Chris Shenefiel Cisco Systems, Jeff Johnson Cisco Systems
Pre-print Media Attached