Procesador de Petri modular para sistemas embebidos

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 d...

Descripción completa

Detalles Bibliográficos
Autores principales: Micolini, Orlando, Daniele, Emiliano, Ventre, Luis O., Cebollada, Marcelo, Eschoyez, Maximiliano
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2017
Materias:
Ciencias Informáticas
procesadores heterogéneos
Petri nets
FPGA
IP Core
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/63949
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-63949
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
procesadores heterogéneos
Petri nets
FPGA
IP Core
spellingShingle Ciencias Informáticas
procesadores heterogéneos
Petri nets
FPGA
IP Core
Micolini, Orlando
Daniele, Emiliano
Ventre, Luis O.
Cebollada, Marcelo
Eschoyez, Maximiliano
Procesador de Petri modular para sistemas embebidos
topic_facet Ciencias Informáticas
procesadores heterogéneos
Petri nets
FPGA
IP Core
description 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.
format Objeto de conferencia
Objeto de conferencia
author Micolini, Orlando
Daniele, Emiliano
Ventre, Luis O.
Cebollada, Marcelo
Eschoyez, Maximiliano
author_facet Micolini, Orlando
Daniele, Emiliano
Ventre, Luis O.
Cebollada, Marcelo
Eschoyez, Maximiliano
author_sort Micolini, Orlando
title Procesador de Petri modular para sistemas embebidos
title_short Procesador de Petri modular para sistemas embebidos
title_full Procesador de Petri modular para sistemas embebidos
title_fullStr Procesador de Petri modular para sistemas embebidos
title_full_unstemmed Procesador de Petri modular para sistemas embebidos
title_sort procesador de petri modular para sistemas embebidos
publishDate 2017
url http://sedici.unlp.edu.ar/handle/10915/63949
work_keys_str_mv AT micoliniorlando procesadordepetrimodularparasistemasembebidos
AT danieleemiliano procesadordepetrimodularparasistemasembebidos
AT ventreluiso procesadordepetrimodularparasistemasembebidos
AT cebolladamarcelo procesadordepetrimodularparasistemasembebidos
AT eschoyezmaximiliano procesadordepetrimodularparasistemasembebidos
bdutipo_str Repositorios
_version_ 1764820479492751360

Ejemplares similares