Caso de estudio: metodología para el aprendizaje, diseño y desarrollo de sistemas embebidos multi-hilos

En este trabajo se presenta la aplicación de una metodología para el diseño y desarrollo de un sistema embebido multi-hilos de control de acceso distribuido. Esta metodología permite desacoplar la lógica, la política de resolu-ción de conflictos y las acciones, lo que resulta en un sistema modular,...

Descripción completa

Detalles Bibliográficos
Autores principales: Ventre, Luis Orlando, Micolini, Orlando, Ludemann, Mauricio, Carranza, Agustín, D'Andrea, David, Candotti, Enzo
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2023
Materias:
Ciencias Informáticas
Metodología de diseño
Sistema Embebidos
Redes de Petri
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/165919
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-165919
record_format dspace
spelling I19-R120-10915-1659192024-05-11T04:03:16Z http://sedici.unlp.edu.ar/handle/10915/165919 Caso de estudio: metodología para el aprendizaje, diseño y desarrollo de sistemas embebidos multi-hilos Case study: methodology for learning, design and development of multi-threaded embedded systems Ventre, Luis Orlando Micolini, Orlando Ludemann, Mauricio Carranza, Agustín D'Andrea, David Candotti, Enzo 2023-09 2023 2024-05-10T18:03:34Z es Ciencias Informáticas Metodología de diseño Sistema Embebidos Redes de Petri En este trabajo se presenta la aplicación de una metodología para el diseño y desarrollo de un sistema embebido multi-hilos de control de acceso distribuido. Esta metodología permite desacoplar la lógica, la política de resolu-ción de conflictos y las acciones, lo que resulta en un sistema modular, sencillo, mantenible, formal y flexible. Además, se logra la verificación formal de la ló-gica en las primeras etapas del desarrollo. Para modelar la lógica del sistema, se utilizan redes de Petri y se convierten en código ejecutable mediante la ecua-ción de estado generalizada. La implementación incluye un monitor de concu-rrencia que integra los diferentes componentes de software y hardware del sis-tema. Esta solución permite mantener las propiedades verificadas mediante el uso de formalismos matemáticos. Además, se exponen las ventajas de aplicar la metodología propuesta al diseño de un sistema crítico y reactivo. Se demuestra su capacidad para abordar problemas complejos de manera sencilla y eficaz, ga-rantizando la escalabilidad y la fiabilidad del sistema desarrollado. Sociedad Argentina de Informática e Investigación Operativa Objeto de conferencia Objeto de conferencia http://creativecommons.org/licenses/by-nc-sa/4.0/ Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) application/pdf 23-27
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Metodología de diseño
Sistema Embebidos
Redes de Petri
spellingShingle Ciencias Informáticas
Metodología de diseño
Sistema Embebidos
Redes de Petri
Ventre, Luis Orlando
Micolini, Orlando
Ludemann, Mauricio
Carranza, Agustín
D'Andrea, David
Candotti, Enzo
Caso de estudio: metodología para el aprendizaje, diseño y desarrollo de sistemas embebidos multi-hilos
topic_facet Ciencias Informáticas
Metodología de diseño
Sistema Embebidos
Redes de Petri
description En este trabajo se presenta la aplicación de una metodología para el diseño y desarrollo de un sistema embebido multi-hilos de control de acceso distribuido. Esta metodología permite desacoplar la lógica, la política de resolu-ción de conflictos y las acciones, lo que resulta en un sistema modular, sencillo, mantenible, formal y flexible. Además, se logra la verificación formal de la ló-gica en las primeras etapas del desarrollo. Para modelar la lógica del sistema, se utilizan redes de Petri y se convierten en código ejecutable mediante la ecua-ción de estado generalizada. La implementación incluye un monitor de concu-rrencia que integra los diferentes componentes de software y hardware del sis-tema. Esta solución permite mantener las propiedades verificadas mediante el uso de formalismos matemáticos. Además, se exponen las ventajas de aplicar la metodología propuesta al diseño de un sistema crítico y reactivo. Se demuestra su capacidad para abordar problemas complejos de manera sencilla y eficaz, ga-rantizando la escalabilidad y la fiabilidad del sistema desarrollado.
format Objeto de conferencia
Objeto de conferencia
author Ventre, Luis Orlando
Micolini, Orlando
Ludemann, Mauricio
Carranza, Agustín
D'Andrea, David
Candotti, Enzo
author_facet Ventre, Luis Orlando
Micolini, Orlando
Ludemann, Mauricio
Carranza, Agustín
D'Andrea, David
Candotti, Enzo
author_sort Ventre, Luis Orlando
title Caso de estudio: metodología para el aprendizaje, diseño y desarrollo de sistemas embebidos multi-hilos
title_short Caso de estudio: metodología para el aprendizaje, diseño y desarrollo de sistemas embebidos multi-hilos
title_full Caso de estudio: metodología para el aprendizaje, diseño y desarrollo de sistemas embebidos multi-hilos
title_fullStr Caso de estudio: metodología para el aprendizaje, diseño y desarrollo de sistemas embebidos multi-hilos
title_full_unstemmed Caso de estudio: metodología para el aprendizaje, diseño y desarrollo de sistemas embebidos multi-hilos
title_sort caso de estudio: metodología para el aprendizaje, diseño y desarrollo de sistemas embebidos multi-hilos
publishDate 2023
url http://sedici.unlp.edu.ar/handle/10915/165919
work_keys_str_mv AT ventreluisorlando casodeestudiometodologiaparaelaprendizajedisenoydesarrollodesistemasembebidosmultihilos
AT micoliniorlando casodeestudiometodologiaparaelaprendizajedisenoydesarrollodesistemasembebidosmultihilos
AT ludemannmauricio casodeestudiometodologiaparaelaprendizajedisenoydesarrollodesistemasembebidosmultihilos
AT carranzaagustin casodeestudiometodologiaparaelaprendizajedisenoydesarrollodesistemasembebidosmultihilos
AT dandreadavid casodeestudiometodologiaparaelaprendizajedisenoydesarrollodesistemasembebidosmultihilos
AT candottienzo casodeestudiometodologiaparaelaprendizajedisenoydesarrollodesistemasembebidosmultihilos
AT ventreluisorlando casestudymethodologyforlearningdesignanddevelopmentofmultithreadedembeddedsystems
AT micoliniorlando casestudymethodologyforlearningdesignanddevelopmentofmultithreadedembeddedsystems
AT ludemannmauricio casestudymethodologyforlearningdesignanddevelopmentofmultithreadedembeddedsystems
AT carranzaagustin casestudymethodologyforlearningdesignanddevelopmentofmultithreadedembeddedsystems
AT dandreadavid casestudymethodologyforlearningdesignanddevelopmentofmultithreadedembeddedsystems
AT candottienzo casestudymethodologyforlearningdesignanddevelopmentofmultithreadedembeddedsystems
_version_ 1807223038261854208

Ejemplares similares