Formal Verification of Discrete Event Modeling (ISSTA 2020 - Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things)

Who

Zhihao Lu, Rui Wang, Yong Guan

Track

ISSTA 2020 TAV-CPS/IoT

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Sun 19 Jul 2020 11:00 - 11:30 at Zoom - TAV-CPS/IoT Workshop

Abstract

Ptolemy is a modeling and simulation toolkit widely used in cyber physical systems. Formal verification is a very important method to guarantee the correctness of systems. However, the proposed verification approach in Ptolemy is inconvenient and only supports a few actors. We present a model translation-based approach to verify the Ptolemy DE model and implement a plug-in tool in Ptolemy. The experimental results confirm our approach is useful to guarantee the correctness of DE model.

Zhihao Lu

Capital Normal University, Beijing, China

China

Rui Wang

Capital Normal University, Beijing, China

China

Yong Guan

Capital Normal University, Beijing, China

China

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

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