Hippo-CPS: Verification of Boundedness, Safeness and Liveness of Petri Net-Based Cyber-Physical Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Hippo-CPS: Verification of Boundedness, Safeness and Liveness of Petri Net-Based Cyber-Physical Systems

Résumé

The paper describes the Hippo-CPS tool in the verification of Petri net-based cyber-physical systems. In particular, verification of the key properties such as boundedness, safeness and liveness is presented and discussed. Hippo-CPS allows for analysis of the control part of the CPS with the set of various algorithms (such as reachability tree exploration or place invariants computation) giving the designer an opportunity to select the most suitable technique. Each method is based on the theoretical background (with adequate algorithms, theorems, and proofs, described in other Authors’ works). Moreover, the efficiency and effectiveness of the presented methods were verified experimentally.
Fichier principal
Vignette du fichier
528070_1_En_7_Chapter.pdf (335.66 Ko) Télécharger le fichier
Origine Accord explicite pour ce dépôt
Licence

Dates et versions

hal-04308398 , version 1 (27-11-2023)

Licence

Identifiants

Citer

Marcin Wojnakowski, Mateusz Popławski, Remigiusz Wiśniewski, Grzegorz Bazydło. Hippo-CPS: Verification of Boundedness, Safeness and Liveness of Petri Net-Based Cyber-Physical Systems. 13th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Jun 2022, Caparica, Portugal. pp.74-82, ⟨10.1007/978-3-031-07520-9_7⟩. ⟨hal-04308398⟩
25 Consultations
8 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More