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: [Joint Event] - ICSSP/ICGSE - Session 3 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

icgse-2020--joint-event----icssp-icgse15:00 - 15:05
Day opening
Paolo TellIT University of Copenhagen, David RaffoPortland State University
icgse-2020-research-papers15:05 - 15:20
Research paper
Kumar AbhinavAccenture Labs, Gurpriya Kaur BhatiaIndraprastha Institute of Information Technology, Delhi, Alpana DubeyAccenture Labs, India, Sakshi JainAccenture, Nitish BhardwajAccenture Technology Labs
icgse-2020-journal-first15:20 - 15:35
icssp-2020-papers15:35 - 15:50
Bo WangUniversity of Southern California, Barry BoehmUniversity of Southern California
icssp-2020-papers15:50 - 16:05
Marian DaunUniversity of Duisburg-Essen, Jennifer BringsUniversity of Duisburg-Essen, Thorsten WeyerUniversity Koblenz-Landau
icssp-2020-papers16:05 - 16:20
James DominicClemson University, Charles RitterClemson University, Paige RodegheroClemson University
icgse-2020-icgse---experience-reports16:20 - 16:35
Experience report
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
icgse-2020-icgse---experience-reports16:35 - 16:50
Experience report
Julian HartyCommercetest Limited
icssp-2020-papers16:50 - 17:05
Aiswarya MunappyChalmers University of Technology, David Issa MattosChalmers University of Technology, Jan Bosch, Helena Holmström OlssonMalmö University, Anas DakkakEricsson
icssp-2020-papers17:05 - 17:20
Hanyan LiuChalmers | University of Gothenburg, Samuel EksmoChalmers | University of Gothenburg, Johan RisbergIBM Sweden, Regina HebigUniversity of Gothenburg
icssp-2020-papers17:20 - 17:35
Meenu Mary JohnMalmö University, Helena Holmström OlssonMalmö University, Jan Bosch