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

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.

Sun 19 Jul
Times are displayed in 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 - 10:00
Keynote
TAV-CPS/IoT
10:00 - 10:30
Talk
TAV-CPS/IoT
Luca BerardinelliJohannes Kepler University Linz, Hong-Linh TruongAalto University
10:30 - 11:00
Talk
TAV-CPS/IoT
Jun SunSingapore Management University, Zijiang YangWestern Michigan University
11:00 - 11:30
Talk
TAV-CPS/IoT
Zhihao LuCapital Normal University, Beijing, China, Rui WangCapital Normal University, Beijing, China, Yong GuanCapital Normal University, Beijing, China
11:30 - 12:30
Meeting
TAV-CPS/IoT