A compositional method for the synthesis of asynchronous communication mechanisms

Inicio | ¿Qué es? | Contacto

English | Català

Consultar RECERCAT

Por comunidades y
colecciones Por fecha Por autores Por títulos Por temas (CDU)

Consultar departamento

Por fecha Por autores Por títulos Por temas (CDU)

Estadisticas

Del documento Todo RECERCAT

Mi RECERCAT

Entrar Alertas por correo-e

Directorio de otros repositorios

RECERCAT Principal > Universitat Politècnica de Catalunya > Documents de recerca > Visualizar documento

Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/133432

dc.contributor	Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.contributor	Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
dc.contributor.author	Costa Gorgônio, Kyller
dc.contributor.author	Cortadella, Jordi
dc.contributor.author	Xia, Fei
dc.date	2007-06-30
dc.identifier.citation	Gorgônio, K.; Cortadella, J.; Xia, F. A compositional method for the synthesis of asynchronous communication mechanisms. A: "Petri Nets and Other Models of Concurrency, ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency: Siedlce, Poland, June 25-29, 2007: proceedings". Springer, 2007, p. 144-163.
dc.identifier.citation	978-3-540-73093-4
dc.identifier.citation	10.1007/978-3-540-73094-1
dc.identifier.uri	http://hdl.handle.net/2117/133432
dc.language.iso	eng
dc.publisher	Springer
dc.relation	https://link.springer.com/book/10.1007/978-3-540-73094-1
dc.rights	info:eu-repo/semantics/openAccess
dc.subject	Àrees temàtiques de la UPC::Enginyeria de la telecomunicació::Telemàtica i xarxes d'ordinadors
dc.subject	Petri nets
dc.subject	Object-oriented programming (Computer science)
dc.subject	Automatic programming (Computer science)
dc.subject	Asynchronous communication mechanisms
dc.subject	Petri nets
dc.subject	Concurrent systems
dc.subject	Synthesis model
dc.subject	Checking protocols
dc.subject	Petri, Xarxes de
dc.subject	Programació orientada a l'objecte (Informàtica)
dc.subject	Programació automàtica (Informàtica)
dc.title	A compositional method for the synthesis of asynchronous communication mechanisms
dc.type	info:eu-repo/semantics/submittedVersion
dc.type	info:eu-repo/semantics/bookPart
dc.description.abstract	Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ACM synthesis method based on the generation of the reachability graph and the theory of regions was proposed. In this paper, we propose a new synthesis method based on the composition of Petri net modules, avoiding the exploration of the reachability graph. The behavior of ACMs is formally defined and correctness properties are specified in CTL. Model checking is used to verify the correctness of the Petri net models. The algorithms to generate the Petri net models are presented. Finally, a method to automatically generate C++ source code from the Petri net model is described.
dc.description.abstract	Peer Reviewed

Mostrar el registro sencillo del ítem

Documentos relacionados

Otros documentos del mismo autor/a

Automating synthesis of asynchronous communication mechanisms

Cortadella, Jordi; Costa Gorgônio, Kyller; Xia, Fei; Yakovlev, Alex

Hardware synthesis for asynchronous communications mechanisms

Costa Gorgônio, Kyller; Cortadella, Jordi

Synthesis of speed-independent circuits from STG-unfolding segment

Semenov, Alex; Yakovlev, Alex; Pastor Llorens, Enric; Peña Basurto, Marco Antonio; Cortadella, Jordi

Decomposition and technology mapping of speed-independent circuits using Boolean relations

Cortadella, Jordi; Kishinevsky, Michael; Kondratyev, Alex; Lavagno, Luciano; Pastor Llorens, Enric; Yakovlev, Alex

Efficient encoding schemes for symbolic analysis of Petri nets

Pastor Llorens, Enric; Cortadella, Jordi

Accesibilidad | Aviso legal | Política de Cookies | Documentos de uso interno

Coordinación

Patrocinio