Formal Verification of Discrete Event Modeling
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 JulDisplayed time zone: Tijuana, Baja California change
09:00 - 12:30
|Keynote by Lionel Briand: Artificial Intelligence for Automated Software Testing in Cyber-Physical Systems|
|Uncertainty Modeling and Evaluation for Dependable IoT Cloud Systems Design|
|Efficient Testing of Cyber-Physical Systems|
|Formal Verification of Discrete Event Modeling|