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

Autores
Ventre, Luis Orlando; Micolini, Orlando; Ludemann, Mauricio; Carranza, Agustín; D'Andrea, David; Candotti, Enzo
Año de publicación
2023
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
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
Materia
Ciencias Informáticas
Metodología de diseño
Sistema Embebidos
Redes de Petri
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/4.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/165919

id SEDICI_88a4fe4397085a7b9c9268865a17b21b
oai_identifier_str oai:sedici.unlp.edu.ar:10915/165919
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Caso de estudio: metodología para el aprendizaje, diseño y desarrollo de sistemas embebidos multi-hilosCase study: methodology for learning, design and development of multi-threaded embedded systemsVentre, Luis OrlandoMicolini, OrlandoLudemann, MauricioCarranza, AgustínD'Andrea, DavidCandotti, EnzoCiencias InformáticasMetodología de diseñoSistema EmbebidosRedes de PetriEn 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 Operativa2023-09info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf23-27http://sedici.unlp.edu.ar/handle/10915/165919spainfo:eu-repo/semantics/altIdentifier/url/https://publicaciones.sadio.org.ar/index.php/JAIIO/article/view/666info:eu-repo/semantics/altIdentifier/issn/2451-7496info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/4.0/Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T11:43:51Zoai:sedici.unlp.edu.ar:10915/165919Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 11:43:51.916SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv 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
title Caso de estudio: metodología para el aprendizaje, diseño y desarrollo de sistemas embebidos multi-hilos
spellingShingle Caso de estudio: metodología para el aprendizaje, diseño y desarrollo de sistemas embebidos multi-hilos
Ventre, Luis Orlando
Ciencias Informáticas
Metodología de diseño
Sistema Embebidos
Redes de Petri
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
dc.creator.none.fl_str_mv Ventre, Luis Orlando
Micolini, Orlando
Ludemann, Mauricio
Carranza, Agustín
D'Andrea, David
Candotti, Enzo
author Ventre, Luis Orlando
author_facet Ventre, Luis Orlando
Micolini, Orlando
Ludemann, Mauricio
Carranza, Agustín
D'Andrea, David
Candotti, Enzo
author_role author
author2 Micolini, Orlando
Ludemann, Mauricio
Carranza, Agustín
D'Andrea, David
Candotti, Enzo
author2_role author
author
author
author
author
dc.subject.none.fl_str_mv Ciencias Informáticas
Metodología de diseño
Sistema Embebidos
Redes de Petri
topic Ciencias Informáticas
Metodología de diseño
Sistema Embebidos
Redes de Petri
dc.description.none.fl_txt_mv 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
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.
publishDate 2023
dc.date.none.fl_str_mv 2023-09
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/165919
url http://sedici.unlp.edu.ar/handle/10915/165919
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/https://publicaciones.sadio.org.ar/index.php/JAIIO/article/view/666
info:eu-repo/semantics/altIdentifier/issn/2451-7496
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
dc.format.none.fl_str_mv application/pdf
23-27
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1844616306497683456
score 13.070432