Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
Wed 29 May 2019 16:00 - 16:20 at Laurier - Analysis and Verification Chair(s): Domenico Bianculli

The widespread real-time and embedded systems are mostly interrupt-driven because their heavy interaction with environment is often initiated by interrupts. With the interrupt arrival being unpredictable and the interrupt handling being preemptive, a huge number of possible system behaviours are generated, which makes the correctness assurance of such systems a difficult and costly task. Model checking is considered to be one of the effective methods for exhausting behavioural state space for correctness, however, existing modelling approaches for interrupt-driven systems are either based on calculus or automata theory, with which designers in industry are not familiar. To address this problem, we propose a new modelling language called interrupt sequence diagram (ISD). By extending the popular UML sequence diagram notations, the ISD supports the modelling of interrupts’ essential features visually and concisely, with a formal semantics interpreting the unpredictable and prioritised preemptive system behaviour caused by interrupts. For model checking purpose, we have devised algorithms that automatically translate an ISD to a subset of hybrid automata so as to leverage the abundant off-the-shelf checkers. Experiments on examples from both real-world and existing literature were conducted and the results demonstrate our approach’s usability and effectiveness.

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

16:00 - 18:00: Papers - Analysis and Verification at Laurier
Chair(s): Domenico BianculliUniversity of Luxembourg
icse-2019-Technical-Papers16:00 - 16:20
Minxue PanNanjing University, Shouyu ChenNanjing University, Yu PeiThe Hong Kong Polytechnic University, Tian ZhangNanjing University, Xuandong LiNanjing University
icse-2019-Technical-Papers16:20 - 16:40
Sora BaeOracle Labs, Australia, Sungho LeeKAIST, South Korea, Sukyoung RyuKAIST, South Korea
icse-2019-Demonstrations16:40 - 17:00
Mitchell GerrardUniversity of Virginia, Matthew DwyerUniversity of Virginia
icse-2019-Demonstrations17:00 - 17:20
Derrick LockwoodIowa State University, Benjamin Holland, Suresh KothariIowa State University, USA
icse-2019-Technical-Papers17:20 - 17:40
Richard RutledgeGeorgia Institute of Technology, Sunjae ParkGeorgia Institute of Technology, Haider KhanGeorgia Institute of Technology, Alessandro OrsoGeorgia Tech, Milos PrvulovicGeorgia Institute of Technology, Alenka ZajicGeorgia Institute of Technology
icse-2019-Journal-First-Paper17:40 - 17:50
Rezwana KarimSamsung Research America, Frank TipNortheastern University, Alena SochurkovaAvast, Koushik SenUniversity of California, Berkeley
icse-2019-Paper-Presentations17:50 - 18:00