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
Times are displayed in time zone: (UTC) Coordinated Universal Time change

15:00 - 15:12
Talk
Technical Papers
Mounifah AlenaziUniversity of Cincinnati, Nan NiuUniversity of Cincinnati, Juha SavolainenDanfoss
15:12 - 15:24
Talk
Technical Papers
Robert WhiteUniversity College London, UK, Jens KrinkeUniversity College London, Raymond TanUniversity College London
15:24 - 15:30
Talk
New Ideas and Emerging Results
Hamid BagheriUniversity of Nebraska-Lincoln, USA, Eunsuk KangCarnegie Mellon University, Niloofar MansoorUniversity of Nebraska - Lincoln
Pre-print
15:30 - 15:33
Talk
Demonstrations
Christoph Mayr-DornJohannes Kepler University Linz, Michael VierhauserJohannes Kepler University Linz, Felix KeplingerJohannes Kepler University, Linz, Stefan BichlerJohannes Kepler University, Linz, Alexander EgyedJohannes Kepler University, Linz
15:33 - 15:45
Talk
Software Engineering in Practice
Steve McKeeverDepartment of Informatics and Media, Uppsala University, Sweden, Omar-Alfred SalahDepartment of Informatics and Media, Uppsala University, Sweden
15:45 - 15:57
Talk
Technical Papers
Kevin MoranWilliam & Mary/George Mason University, David Nader PalacioWilliam & Mary, Carlos Bernal-CárdenasWilliam and Mary, Denys PoshyvanykWilliam and Mary, Daniel McCrystalWilliam & Mary, Chris ShenefielCisco Systems, Jeff JohnsonCisco Systems
Pre-print Media Attached