Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 2020
Sat 27 Jun 2020 15:50 - 16:05 at ICSSP-ICGSE - Session 3 Chair(s): Paul Clarke, Marco Gerosa, Fabio Calefato

In the field of safety-critical systems, manual reviews are important to ensure high-quality software and to satisfy legal obligations. When applying model-based engineering approaches, no longer only textual requirements specifications or software code are under review, but also model-based specification artifacts like behavioral requirements models. As such behavioral specifications are typically documented on a type-level, errors concerning the interactions between multiple system instances can go unnoticed in manual reviews. This is particularly the case when multiple system instances of the same system type are interacting during runtime, which is typical for cyber-physical systems where networks of cyber-physical systems form dynamically to fulfill an overall purpose. In this paper, we report on a controlled experiment whose results indicate that instance-level review diagrams have – compared to type-level diagrams – important positive effects on reviewing processes for behavioral specifications of cyber-physical systems. Specifically, the experiment provides empirical evidence that instance-level review diagrams are significantly more expressive and effective than type-level diagrams.

Sat 27 Jun
Times are displayed in time zone: (UTC) Coordinated Universal Time change

15:00 - 18:00: Session 3ICGSE [Joint Event] - ICSSP/ICGSE / ICGSE Research Papers / ICGSE Experience Reports / ICSSP / ICGSE Journal First at ICSSP-ICGSE
Chair(s): Paul Clarke, Marco GerosaNorthern Arizona University, Fabio CalefatoUniversity of Bari


ICGSE Theme: Onboarding and community evolution

ICSSP Theme: Machine Learning, AI and Microservices Architectures

15:00 - 15:05
Day opening
Paolo TellIT University of Copenhagen, David RaffoPortland State University
15:05 - 15:20
Research paper
ICGSE Research Papers
Kumar AbhinavAccenture Labs, Gurpriya Kaur BhatiaIndraprastha Institute of Information Technology, Delhi, Alpana DubeyAccenture Labs, India, Sakshi JainAccenture, Nitish BhardwajAccenture Technology Labs
15:20 - 15:35
ICGSE Journal First
15:35 - 15:50
Bo WangUniversity of Southern California, Barry BoehmUniversity of Southern California
15:50 - 16:05
Marian DaunUniversity of Duisburg-Essen, Jennifer BringsUniversity of Duisburg-Essen, Thorsten WeyerUniversity Koblenz-Landau
16:05 - 16:20
James DominicClemson University, Charles RitterClemson University, Paige RodegheroClemson University
16:20 - 16:35
Experience report
ICGSE Experience Reports
Raquel CunhaSIDIA Institute of Science and Technology, Fernanda SouzaSIDIA Institute of Science and Technology, Franciney LimaSIDIA Institute of Science and Technology, Bruno BonifácioUniversidade Federal do Amazonas - UFAM
16:35 - 16:50
Experience report
ICGSE Experience Reports
Julian HartyCommercetest Limited
16:50 - 17:05
Aiswarya MunappyChalmers University of Technology, David Issa MattosChalmers University of Technology, Jan Bosch, Helena Holmström OlssonMalmö University, Anas DakkakEricsson
17:05 - 17:20
Hanyan LiuChalmers | University of Gothenburg, Samuel EksmoChalmers | University of Gothenburg, Johan RisbergIBM Sweden, Regina HebigUniversity of Gothenburg
17:20 - 17:35
Meenu Mary JohnMalmö University, Helena Holmström OlssonMalmö University, Jan Bosch