Write a Blog >>
ISSTA 2020
Sat 18 - Wed 22 July 2020
Sun 19 Jul 2020 10:00 - 10:30 at Zoom - TAV-CPS/IoT Workshop

Developing dependable complex applications using IoT and cloud services is very challenging. Using service APIs and client libraries the developer can glue various software capabilities to build complex IoT Cloud applications but the developer also needs to arbitrarily extend and model functional and quality aspects of new components, connectors, and their interactions. Hence, knowledge about existing IoT Cloud and modeling is crucial. However, due to the lack of knowledge and the complexity of IoT Cloud Systems, the developer might introduce or might not be able to detect various types of uncertainties, which strongly influence the application. In this talk we aim at detecting such uncertainties and recommend software design to deal with such uncertainties as early as possible. We model and evaluate potential uncertainties on design artifacts representing structural and/or behavioral information about the system under study. We propose a rule-based Uncertainty Modeling and Evaluation methodology (UME) and tool (T4UME) to help users in detecting potential uncertainties on design artifacts and to decide whether or not refactoring strategies should be applied to uncertain system design artifacts. In particular, our framework deals with uncertainty as a crosscutting, multidisciplinary concept by providing proper extension and customisation mechanism to suitably tailor its adoption to different domains.

Sun 19 Jul

Displayed time zone: Tijuana, Baja California change

09:00 - 12:30
TAV-CPS/IoT WorkshopTAV-CPS/IoT at Zoom

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

09:00
60m
Keynote
Keynote by Lionel Briand: Artificial Intelligence for Automated Software Testing in Cyber-Physical Systems
TAV-CPS/IoT

10:00
30m
Talk
Uncertainty Modeling and Evaluation for Dependable IoT Cloud Systems Design
TAV-CPS/IoT
Luca Berardinelli Johannes Kepler University Linz, Hong-Linh Truong Aalto University
10:30
30m
Talk
Efficient Testing of Cyber-Physical Systems
TAV-CPS/IoT
Jun Sun Singapore Management University, Zijiang Yang Western Michigan University
11:00
30m
Talk
Formal Verification of Discrete Event Modeling
TAV-CPS/IoT
Zhihao Lu Capital Normal University, Beijing, China, Rui Wang Capital Normal University, Beijing, China, Yong Guan Capital Normal University, Beijing, China
11:30
60m
Meeting
Panel Discussion
TAV-CPS/IoT