Please use this identifier to cite or link to this item:
acessibilidade
http://hdl.handle.net/20.500.12207/654
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Moutinho, Filipe | - |
dc.contributor.author | Gomes, Luís | - |
dc.contributor.author | Barbosa, Paulo | - |
dc.contributor.author | Barros, João Paulo | - |
dc.contributor.author | Ramalho, Franklin | - |
dc.contributor.author | Figueiredo, Jorge | - |
dc.contributor.author | Costa, Aniko | - |
dc.contributor.author | Monteiro, Andre | - |
dc.date.accessioned | 2013-12-10T10:57:46Z | - |
dc.date.available | 2011-02 | - |
dc.date.available | 2013-12-10T10:57:46Z | - |
dc.date.issued | 2011-02 | - |
dc.identifier.citation | [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. | pt_PT |
dc.identifier.isbn | 978-3-642-19170-1 | - |
dc.identifier.uri | http://hdl.handle.net/20.500.12207/654 | - |
dc.description | 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 | pt_PT |
dc.description.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. | pt_PT |
dc.language.iso | eng | pt_PT |
dc.publisher | Springer-Verlag | pt_PT |
dc.rights | info:eu-repo/semantics/closedAccess | pt_PT |
dc.subject | GALS | pt_PT |
dc.subject | Embedded systems | pt_PT |
dc.subject | Petri Nets | pt_PT |
dc.subject | Maude | pt_PT |
dc.subject | Synchronous system | pt_PT |
dc.subject.classification | Indexação ISI | pt_PT |
dc.subject.classification | Indexação Scopus | pt_PT |
dc.title | Petri Net based specification and verification of globally-asynchronous-locally-synchronous system | pt_PT |
dc.type | conferenceObject | pt_PT |
dc.peerreviewed | yes | pt_PT |
dc.relation.publisherversion | http://dx.doi.org/10.1007/978-3-642-19170-1_26 | pt_PT |
degois.publication.firstPage | 237 | pt_PT |
degois.publication.lastPage | 245 | pt_PT |
degois.publication.location | Costa de Caparica, Portugal | pt_PT |
degois.publication.title | IFIP Advances in Information and Communication Technology | pt_PT |
degois.publication.volume | 349 | pt_PT |
Appears in Collections: | D-ENG - Comunicações com peer review |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.