Utilize este identificador para referenciar este registo:
acessibilidade
http://hdl.handle.net/20.500.12207/654
Título: | Petri Net based specification and verification of globally-asynchronous-locally-synchronous system |
Autor: | Moutinho, Filipe Gomes, Luís Barbosa, Paulo Barros, João Paulo Ramalho, Franklin Figueiredo, Jorge Costa, Aniko Monteiro, Andre |
Palavras-chave: | GALS Embedded systems Petri Nets Maude Synchronous system |
Data: | Fev-2011 |
Editora: | Springer-Verlag |
Citação: | [IEEE style] F. Moutinho, L. Gomes, P. Barbosa, J. P. Barros, F. Ramalho, J. Figueiredo, et al., "Petri net based specification and verification of globally-asynchronous- locally-synchronous system," in IFIP Advances in Information and Communication Technology vol. 349 AICT, ed, 2011, pp. 237-245. |
Resumo: | 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. |
Descrição: | Conference:2nd IFIP WG 5.5/SOCOLNET Doctoral 2nd IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2011; Costa de Caparica; Portugal; 21 February 2011 through 23 February 2011 |
Arbitragem científica: | yes |
URI: | http://hdl.handle.net/20.500.12207/654 |
ISBN: | 978-3-642-19170-1 |
Versão do Editor: | http://dx.doi.org/10.1007/978-3-642-19170-1_26 |
Aparece nas coleções: | D-ENG - Comunicações com peer review |
Ficheiros deste registo:
Não existem ficheiros associados a este registo.
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.