Procesador de petri modular par sistemas embebidos

Autores
Micolini, Orlando; Daniele, Emiliano N.; Ventre, Luis O.; Cebollada y Verdague, Marcelo; Eschoyez, Maximiliano
Año de publicación
2017
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
Fil: Micolini, Orlando. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.
Fil: Daniele, Emiliano N. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.
Fil: Ventre, Luis O. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.
Fil: Cebollada y Verdague, Marcelo. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.
Fil: Eschoyez, Maximiliano. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.
Los Sistemas embebidos, concurrentes y reactivos ejecutan algoritmos con restricciones según los requerimientos de la implementación. Para implementar estos sistemas mediante el uso de hardware y software es posible usar un Procesador de Petri. Desacoplando la lógica y la política de las acciones del sistema se mejora la mantenibilidad y se facilita la validación. Para lograr esto se integra el procesador de Petri con otros procesadores tradicionales, conformando un sistema heterogéneo, lo que agrega la capacidad de verificar el sistema con los formalismos matemáticos del modelo empleado en las redes de Petri. En este artículo se expone una arquitectura modular del Procesador de Petri y la incorporación de colas programables para mejorar la mantenibilidad, el reúso de los módulos y extender su semántica.
http://163.10.22.64/wp-content/uploads/2017/10/Libro-de-Actas_CACIC_2017.pdf
Fil: Micolini, Orlando. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.
Fil: Daniele, Emiliano N. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.
Fil: Ventre, Luis O. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.
Fil: Cebollada y Verdague, Marcelo. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.
Fil: Eschoyez, Maximiliano. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.
Ciencias de la Información y Bioinformática (desarrollo de hardware va en 2.2 "Ingeniería Eléctrica, Electrónica y de Información" y los aspectos sociales van en 5.8 "Comunicación y Medios")
Materia
Redes de Petri
FPGA
IP Core
Procesadores heterogéneos
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/555309
Acceder
id RDUUNC_09720c397e741b9d898b73756afd7817
oai_identifier_str oai:rdu.unc.edu.ar:11086/555309
network_acronym_str RDUUNC
repository_id_str 2572
network_name_str Repositorio Digital Universitario (UNC)
spelling Procesador de petri modular par sistemas embebidosMicolini, OrlandoDaniele, Emiliano N.Ventre, Luis O.Cebollada y Verdague, MarceloEschoyez, MaximilianoRedes de PetriFPGAIP CoreProcesadores heterogéneosFil: Micolini, Orlando. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.Fil: Daniele, Emiliano N. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.Fil: Ventre, Luis O. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.Fil: Cebollada y Verdague, Marcelo. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.Fil: Eschoyez, Maximiliano. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.Los Sistemas embebidos, concurrentes y reactivos ejecutan algoritmos con restricciones según los requerimientos de la implementación. Para implementar estos sistemas mediante el uso de hardware y software es posible usar un Procesador de Petri. Desacoplando la lógica y la política de las acciones del sistema se mejora la mantenibilidad y se facilita la validación. Para lograr esto se integra el procesador de Petri con otros procesadores tradicionales, conformando un sistema heterogéneo, lo que agrega la capacidad de verificar el sistema con los formalismos matemáticos del modelo empleado en las redes de Petri. En este artículo se expone una arquitectura modular del Procesador de Petri y la incorporación de colas programables para mejorar la mantenibilidad, el reúso de los módulos y extender su semántica.http://163.10.22.64/wp-content/uploads/2017/10/Libro-de-Actas_CACIC_2017.pdfFil: Micolini, Orlando. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.Fil: Daniele, Emiliano N. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.Fil: Ventre, Luis O. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.Fil: Cebollada y Verdague, Marcelo. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.Fil: Eschoyez, Maximiliano. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.Ciencias de la Información y Bioinformática (desarrollo de hardware va en 2.2 "Ingeniería Eléctrica, Electrónica y de Información" y los aspectos sociales van en 5.8 "Comunicación y Medios")2017info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf978-950-34-1539-9http://hdl.handle.net/11086/555309spainfo:eu-repo/semantics/openAccessreponame:Repositorio Digital Universitario (UNC)instname:Universidad Nacional de Córdobainstacron:UNC2025-10-16T09:29:14Zoai:rdu.unc.edu.ar:11086/555309Institucionalhttps://rdu.unc.edu.ar/Universidad públicaNo correspondehttp://rdu.unc.edu.ar/oai/snrdoca.unc@gmail.comArgentinaNo correspondeNo correspondeNo correspondeopendoar:25722025-10-16 09:29:14.957Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdobafalse
dc.title.none.fl_str_mv Procesador de petri modular par sistemas embebidos
title Procesador de petri modular par sistemas embebidos
spellingShingle Procesador de petri modular par sistemas embebidos
Micolini, Orlando
Redes de Petri
FPGA
IP Core
Procesadores heterogéneos
title_short Procesador de petri modular par sistemas embebidos
title_full Procesador de petri modular par sistemas embebidos
title_fullStr Procesador de petri modular par sistemas embebidos
title_full_unstemmed Procesador de petri modular par sistemas embebidos
title_sort Procesador de petri modular par sistemas embebidos
dc.creator.none.fl_str_mv Micolini, Orlando
Daniele, Emiliano N.
Ventre, Luis O.
Cebollada y Verdague, Marcelo
Eschoyez, Maximiliano
author Micolini, Orlando
author_facet Micolini, Orlando
Daniele, Emiliano N.
Ventre, Luis O.
Cebollada y Verdague, Marcelo
Eschoyez, Maximiliano
author_role author
author2 Daniele, Emiliano N.
Ventre, Luis O.
Cebollada y Verdague, Marcelo
Eschoyez, Maximiliano
author2_role author
author
author
author
dc.subject.none.fl_str_mv Redes de Petri
FPGA
IP Core
Procesadores heterogéneos
topic Redes de Petri
FPGA
IP Core
Procesadores heterogéneos
dc.description.none.fl_txt_mv Fil: Micolini, Orlando. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.
Fil: Daniele, Emiliano N. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.
Fil: Ventre, Luis O. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.
Fil: Cebollada y Verdague, Marcelo. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.
Fil: Eschoyez, Maximiliano. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.
Los Sistemas embebidos, concurrentes y reactivos ejecutan algoritmos con restricciones según los requerimientos de la implementación. Para implementar estos sistemas mediante el uso de hardware y software es posible usar un Procesador de Petri. Desacoplando la lógica y la política de las acciones del sistema se mejora la mantenibilidad y se facilita la validación. Para lograr esto se integra el procesador de Petri con otros procesadores tradicionales, conformando un sistema heterogéneo, lo que agrega la capacidad de verificar el sistema con los formalismos matemáticos del modelo empleado en las redes de Petri. En este artículo se expone una arquitectura modular del Procesador de Petri y la incorporación de colas programables para mejorar la mantenibilidad, el reúso de los módulos y extender su semántica.
http://163.10.22.64/wp-content/uploads/2017/10/Libro-de-Actas_CACIC_2017.pdf
Fil: Micolini, Orlando. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.
Fil: Daniele, Emiliano N. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.
Fil: Ventre, Luis O. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.
Fil: Cebollada y Verdague, Marcelo. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.
Fil: Eschoyez, Maximiliano. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.
Ciencias de la Información y Bioinformática (desarrollo de hardware va en 2.2 "Ingeniería Eléctrica, Electrónica y de Información" y los aspectos sociales van en 5.8 "Comunicación y Medios")
description Fil: Micolini, Orlando. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.
publishDate 2017
dc.date.none.fl_str_mv 2017
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 978-950-34-1539-9
http://hdl.handle.net/11086/555309
identifier_str_mv 978-950-34-1539-9
url http://hdl.handle.net/11086/555309
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_ 1846143351007477760
score 12.712165

Publicaciones similares