Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System

Abstract : This paper shows a methodology for Globally-Asynchronous-Locally-Synchronous (GALS) systems specification and verification. The distributed system is specified by non-autonomous Petri net modules, obtained after the partition of a (global) Petri net model. These modules are represented using IOPT (Input-Output Place-Transition) Petri net models, communicating through dedicated communication channels forming the GALS system under analysis. This set of modules is then automatically translated into Maude code through a MDA approach. As the modules of GALS systems run concurrently, the Maude semantics for concurrent objects is used along with message representation. Finally, as a particular case, the system state space is generated from the Maude specification of the GALS system, allowing property verification.
Type de document :
Communication dans un congrès
Luis M. Camarinha-Matos. 2nd Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2011, Costa de Caparica, Portugal. Springer, IFIP Advances in Information and Communication Technology, AICT-349, pp.237-245, 2011, Technological Innovation for Sustainability. 〈10.1007/978-3-642-19170-1_26〉
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01566548
Contributeur : Hal Ifip <>
Soumis le : vendredi 21 juillet 2017 - 11:25:13
Dernière modification le : vendredi 21 juillet 2017 - 11:34:18

Fichier

978-3-642-19170-1_26_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Filipe Moutinho, Luís Gomes, Paulo Barbosa, João Barros, Franklin Ramalho, et al.. Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System. Luis M. Camarinha-Matos. 2nd Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2011, Costa de Caparica, Portugal. Springer, IFIP Advances in Information and Communication Technology, AICT-349, pp.237-245, 2011, Technological Innovation for Sustainability. 〈10.1007/978-3-642-19170-1_26〉. 〈hal-01566548〉

Partager

Métriques

Consultations de la notice

36

Téléchargements de fichiers

17