Algoritmos para determinar cantidad y responsabilidad de hilos en sistemas embebidos modelados con Redes de Petri S3PR

La evolución de la tecnología, el uso del IoT, y los requerimientos reglamentarios de la industria impactan en el diseño de sistemas embebidos convirtiéndolo en complejo y desafiante e imponiendo métodos formales para su desarrollo. Más aun considerando el reducido time-to-market, es determinante mi...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Ventre, Luis Orlando, Micolini, Orlando
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2021
Materias:
Ciencias Informáticas
Determinación automática de hilos
Redes de Petri
Generación de código
Sistemas embebidos
IoT
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/130440
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-130440
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
Determinación automática de hilos
Redes de Petri
Generación de código
Sistemas embebidos
IoT
spellingShingle Ciencias Informáticas
Determinación automática de hilos
Redes de Petri
Generación de código
Sistemas embebidos
IoT
Ventre, Luis Orlando
Micolini, Orlando
Algoritmos para determinar cantidad y responsabilidad de hilos en sistemas embebidos modelados con Redes de Petri S3PR
topic_facet Ciencias Informáticas
Determinación automática de hilos
Redes de Petri
Generación de código
Sistemas embebidos
IoT
description La evolución de la tecnología, el uso del IoT, y los requerimientos reglamentarios de la industria impactan en el diseño de sistemas embebidos convirtiéndolo en complejo y desafiante e imponiendo métodos formales para su desarrollo. Más aun considerando el reducido time-to-market, es determinante minimizar los tiempos de desarrollo. En este escenario los sistemas deberán ser concurrentes y seguros para aprovechar el rendimiento de las modernas arquitecturas multicore. Las Redes de Petri extendidas, son un reconocido y adecuado lenguaje de modelado, análisis y ejecución de sistemas reactivos, paralelos y concurrentes. Para potenciar los esfuerzos del modelado, se utiliza el modelo para obtener automáticamente parte de la implementación del sistema. En este trabajo se presenta un conjunto de algoritmos, a partir de un sistema modelado con Redes de Petri, para determinar automáticamente los hilos y responsabilidades de ejecución, esto tiene por objetivo mitigar los tiempos de desarrollo y reducir los errores de programación.
format Objeto de conferencia
Objeto de conferencia
author Ventre, Luis Orlando
Micolini, Orlando
author_facet Ventre, Luis Orlando
Micolini, Orlando
author_sort Ventre, Luis Orlando
title Algoritmos para determinar cantidad y responsabilidad de hilos en sistemas embebidos modelados con Redes de Petri S3PR
title_short Algoritmos para determinar cantidad y responsabilidad de hilos en sistemas embebidos modelados con Redes de Petri S3PR
title_full Algoritmos para determinar cantidad y responsabilidad de hilos en sistemas embebidos modelados con Redes de Petri S3PR
title_fullStr Algoritmos para determinar cantidad y responsabilidad de hilos en sistemas embebidos modelados con Redes de Petri S3PR
title_full_unstemmed Algoritmos para determinar cantidad y responsabilidad de hilos en sistemas embebidos modelados con Redes de Petri S3PR
title_sort algoritmos para determinar cantidad y responsabilidad de hilos en sistemas embebidos modelados con redes de petri s3pr
publishDate 2021
url http://sedici.unlp.edu.ar/handle/10915/130440
work_keys_str_mv AT ventreluisorlando algoritmosparadeterminarcantidadyresponsabilidaddehilosensistemasembebidosmodeladosconredesdepetris3pr
AT micoliniorlando algoritmosparadeterminarcantidadyresponsabilidaddehilosensistemasembebidosmodeladosconredesdepetris3pr
bdutipo_str Repositorios
_version_ 1764820453446123522

Ejemplares similares