Baboon, framework conducido por red de petri para sistemas reactivos dirigidos por eventos

Autores
Rabinovich, Ariel Ivan; Ventre, Luis Orlando; Micolini, Orlando
Año de publicación
2019
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
Fil: Rabinovich, Ariel Iván. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.
Fil: Ventre, Luis Orlando. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.
Fil: Micolini, Orlando. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.
Ensuring that a concurrent program is correct means that during its execution no thread suffers starvation, no set of threads falls into a deadlock and their successive states lead to the solution. To assert this, it is necessary to appeal to formal methods.This paper proposes using a Petri Net as the logic of a reactive system, and its execution within a framework based on a concurrency monitor. It is put forward that the logical execution flow of the implemented system is driven by the execution of the model. Thus, the model transfers its properties to the system, which has been verified.
http://sedici.unlp.edu.ar/handle/10915/18568
Fil: Rabinovich, Ariel Iván. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.
Fil: Ventre, Luis Orlando. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.
Fil: Micolini, Orlando. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.
Otras Ingeniería Eléctrica, Ingeniería Electrónica e Ingeniería de la Información
Materia
Programación concurrente
Arquitectura de computadoras
RdP no autónoma
Ingeniería en computación
TECHNOLOGY
Nivel de accesibilidad
acceso abierto
Condiciones de uso
Repositorio
Repositorio Digital Universitario (UNC)
Institución
Universidad Nacional de Córdoba
OAI Identificador
oai:rdu.unc.edu.ar:11086/560330
Acceder
id RDUUNC_4cd2d6be913d22f5c5481913166f0ec1
oai_identifier_str oai:rdu.unc.edu.ar:11086/560330
network_acronym_str RDUUNC
repository_id_str 2572
network_name_str Repositorio Digital Universitario (UNC)
spelling Baboon, framework conducido por red de petri para sistemas reactivos dirigidos por eventosRabinovich, Ariel IvanVentre, Luis OrlandoMicolini, OrlandoProgramación concurrenteArquitectura de computadorasRdP no autónomaIngeniería en computaciónTECHNOLOGYFil: Rabinovich, Ariel Iván. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.Fil: Ventre, Luis Orlando. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.Fil: Micolini, Orlando. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.Ensuring that a concurrent program is correct means that during its execution no thread suffers starvation, no set of threads falls into a deadlock and their successive states lead to the solution. To assert this, it is necessary to appeal to formal methods.This paper proposes using a Petri Net as the logic of a reactive system, and its execution within a framework based on a concurrency monitor. It is put forward that the logical execution flow of the implemented system is driven by the execution of the model. Thus, the model transfers its properties to the system, which has been verified.http://sedici.unlp.edu.ar/handle/10915/18568Fil: Rabinovich, Ariel Iván. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.Fil: Ventre, Luis Orlando. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.Fil: Micolini, Orlando. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.Otras Ingeniería Eléctrica, Ingeniería Electrónica e Ingeniería de la Información2019info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttp://hdl.handle.net/11086/560330spainfo:eu-repo/semantics/openAccessreponame:Repositorio Digital Universitario (UNC)instname:Universidad Nacional de Córdobainstacron:UNC2026-04-16T09:50:28Zoai:rdu.unc.edu.ar:11086/560330Institucionalhttps://rdu.unc.edu.ar/Universidad públicaNo correspondehttp://rdu.unc.edu.ar/oai/snrdoca.unc@gmail.comArgentinaNo correspondeNo correspondeNo correspondeopendoar:25722026-04-16 09:50:29.241Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdobafalse
dc.title.none.fl_str_mv Baboon, framework conducido por red de petri para sistemas reactivos dirigidos por eventos
title Baboon, framework conducido por red de petri para sistemas reactivos dirigidos por eventos
spellingShingle Baboon, framework conducido por red de petri para sistemas reactivos dirigidos por eventos
Rabinovich, Ariel Ivan
Programación concurrente
Arquitectura de computadoras
RdP no autónoma
Ingeniería en computación
TECHNOLOGY
title_short Baboon, framework conducido por red de petri para sistemas reactivos dirigidos por eventos
title_full Baboon, framework conducido por red de petri para sistemas reactivos dirigidos por eventos
title_fullStr Baboon, framework conducido por red de petri para sistemas reactivos dirigidos por eventos
title_full_unstemmed Baboon, framework conducido por red de petri para sistemas reactivos dirigidos por eventos
title_sort Baboon, framework conducido por red de petri para sistemas reactivos dirigidos por eventos
dc.creator.none.fl_str_mv Rabinovich, Ariel Ivan
Ventre, Luis Orlando
Micolini, Orlando
author Rabinovich, Ariel Ivan
author_facet Rabinovich, Ariel Ivan
Ventre, Luis Orlando
Micolini, Orlando
author_role author
author2 Ventre, Luis Orlando
Micolini, Orlando
author2_role author
author
dc.subject.none.fl_str_mv Programación concurrente
Arquitectura de computadoras
RdP no autónoma
Ingeniería en computación
TECHNOLOGY
topic Programación concurrente
Arquitectura de computadoras
RdP no autónoma
Ingeniería en computación
TECHNOLOGY
dc.description.none.fl_txt_mv Fil: Rabinovich, Ariel Iván. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.
Fil: Ventre, Luis Orlando. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.
Fil: Micolini, Orlando. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.
Ensuring that a concurrent program is correct means that during its execution no thread suffers starvation, no set of threads falls into a deadlock and their successive states lead to the solution. To assert this, it is necessary to appeal to formal methods.This paper proposes using a Petri Net as the logic of a reactive system, and its execution within a framework based on a concurrency monitor. It is put forward that the logical execution flow of the implemented system is driven by the execution of the model. Thus, the model transfers its properties to the system, which has been verified.
http://sedici.unlp.edu.ar/handle/10915/18568
Fil: Rabinovich, Ariel Iván. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.
Fil: Ventre, Luis Orlando. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.
Fil: Micolini, Orlando. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.
Otras Ingeniería Eléctrica, Ingeniería Electrónica e Ingeniería de la Información
description Fil: Rabinovich, Ariel Iván. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.
publishDate 2019
dc.date.none.fl_str_mv 2019
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11086/560330
url http://hdl.handle.net/11086/560330
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositorio Digital Universitario (UNC)
instname:Universidad Nacional de Córdoba
instacron:UNC
reponame_str Repositorio Digital Universitario (UNC)
collection Repositorio Digital Universitario (UNC)
instname_str Universidad Nacional de Córdoba
instacron_str UNC
institution UNC
repository.name.fl_str_mv Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdoba
repository.mail.fl_str_mv oca.unc@gmail.com
_version_ 1862635181177831424
score 12.692636

Publicaciones similares