Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
Mon 27 May 2019 17:05 - 17:30 at Sainte-Catherine - Session 4 Chair(s): Stéphanie Challita

Importance measures provide a systematic approach to scrutinize the critical system components, which are extremely beneficial in making important decisions, such as prioritizing reliability improvement activities, identifying weak-links and effective use of given resources. Using these importance measures, a typical approach is to obtain a criticality value for each system component and then rank the components in an ascending manner. Simulations tools generally require expensive computations to perform importance measure analysis, which may not be doable for large systems. A more practical approach is to utilize these importance measures to obtain all the necessary conditions by proving a relationship describing the relative importance between any pair of components in a system. In this paper, we propose to use higher-order-logic (HOL) theorem proving to verify such relationships and thus making sure that all the essential conditions are accompanied with the proven property. In particular, we formalize the commonly used importance measures, such as Birnbaum and Fussell-Vesely, and conduct a formal importance measure analysis of a railway signaling system at a Moroccan level crossing for illustration purpose.

Mon 27 May
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Formalise-2019-papers
16:00 - 18:00: FormaliSE 2019 - Session 4 at Sainte-Catherine
Chair(s): Stéphanie ChallitaInria, France
Formalise-2019-papers16:00 - 16:25
Full-paper
Milad K. GhaleThe Australian National University, Dirk PattinsonAustralian National University, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia
Formalise-2019-papers16:25 - 16:40
Short-paper
Erick RaelijohnUniversity of Montreal, Michalis FamelisUniversité de Montréal, Houari SahraouiUniversité de Montréal
Formalise-2019-papers16:40 - 17:05
Full-paper
Andreas LööwChalmers University of Technology, Magnus O. MyreenChalmers University of Technology, Sweden
Formalise-2019-papers17:05 - 17:30
Full-paper
Waqar AhmadCarnegie Mellon University, Shahid Ali MurtzaNational University of Sciences and Technology, Osman HasanConcordia University, Canada, Sofiene TaharConcordia University
Formalise-2019-papers17:30 - 18:00
Day closing
Nico PlatThanos