Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems

Abstract : A specific class of Petri nets was extended with Asynchronous-Channels (ACs) and Time-Domains (TDs) to support Globally-Asynchronous Locally-Synchronous (GALS) systems’ modeling, analysis and implementation. This non-autonomous class of Petri nets is targeted to support the development of automation and embedded systems using a model-based development approach. It benefits from a tool chain framework previously developed, covering the whole development flow, from specification to hardware and software deployment. With the extended Petri net class is possible to model GALS systems, and use the specification to generate the corresponding state space supporting the behavior verification and providing valuable information for implementation.
Type de document :
Communication dans un congrès
Luis M. Camarinha-Matos; Ehsan Shahamatnia; Gonçalo Nunes. 3rd Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2012, Costa de Caparica, Portugal. Springer, IFIP Advances in Information and Communication Technology, AICT-372, pp.143-150, 2012, Technological Innovation for Value Creation. 〈10.1007/978-3-642-28255-3_16〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01365579
Contributeur : Hal Ifip <>
Soumis le : mardi 13 septembre 2016 - 15:22:04
Dernière modification le : mardi 13 septembre 2016 - 17:06:05
Document(s) archivé(s) le : mercredi 14 décembre 2016 - 13:41:10

Fichier

978-3-642-28255-3_16_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. Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems. Luis M. Camarinha-Matos; Ehsan Shahamatnia; Gonçalo Nunes. 3rd Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2012, Costa de Caparica, Portugal. Springer, IFIP Advances in Information and Communication Technology, AICT-372, pp.143-150, 2012, Technological Innovation for Value Creation. 〈10.1007/978-3-642-28255-3_16〉. 〈hal-01365579〉

Partager

Métriques

Consultations de la notice

18

Téléchargements de fichiers

46