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...
Guardado en:
Autores principales: | , |
---|---|
Formato: | Objeto de conferencia |
Lenguaje: | Español |
Publicado: |
2021
|
Materias: | |
Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/130440 |
Aporte de: |
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 |