Caso de estudio: metodología para el diseño y desarrollo de sistemas embebidos distribuidos

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 proyecto se introduce una metodología que se aplica al diseño y desarrollo de un sistema de control de acceso embebido y distribuido. Esta metodología facilita desacoplar la lógica, la política de resolución de conflictos y las acciones, lo que da lugar a un sistema modular, simple, mantenible, formal y flexible. Además, se logra la verificación formal de la lógica en todas las fases del desarrollo. Para modelar la lógica del sistema, se emplean redes de Petri y se convierten en código ejecutable mediante la ecuación de estado generalizada. Esta solución consigue conservar las propiedades verificadas mediante el uso del formalismo matemático. La implementación incluye un monitor de concurrencia que integra los diversos componentes de software y hardware del sistema. Asimismo, se establecen interfaces definidas entre los dispositivos e incorpora librerías y protocolos estándares. Además, se destacan los beneficios de aplicar la metodología propuesta al diseño de sistemas críticos y reactivos. Se evidencia su facilidad para abordar problemas complejos, garantizando la escalabilidad y la fiabilidad del sistema desarrollado.
Red de Universidades con Carreras en Informática
Materia
Ciencias Informáticas
Metodología
Diseño
sistemas embebidos
Redes de Petri
sistemas distribuidos
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/164820
Acceder
id SEDICI_c38441262a176bcd5fbe16db06194788
oai_identifier_str oai:sedici.unlp.edu.ar:10915/164820
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Caso de estudio: metodología para el diseño y desarrollo de sistemas embebidos distribuidosVentre, Luis OrlandoMicolini, OrlandoLudemann, MauricioCarranza, AgustínD’Andrea, DavidCandotti, EnzoCiencias InformáticasMetodologíaDiseñosistemas embebidosRedes de Petrisistemas distribuidosEn este proyecto se introduce una metodología que se aplica al diseño y desarrollo de un sistema de control de acceso embebido y distribuido. Esta metodología facilita desacoplar la lógica, la política de resolución de conflictos y las acciones, lo que da lugar a un sistema modular, simple, mantenible, formal y flexible. Además, se logra la verificación formal de la lógica en todas las fases del desarrollo. Para modelar la lógica del sistema, se emplean redes de Petri y se convierten en código ejecutable mediante la ecuación de estado generalizada. Esta solución consigue conservar las propiedades verificadas mediante el uso del formalismo matemático. La implementación incluye un monitor de concurrencia que integra los diversos componentes de software y hardware del sistema. Asimismo, se establecen interfaces definidas entre los dispositivos e incorpora librerías y protocolos estándares. Además, se destacan los beneficios de aplicar la metodología propuesta al diseño de sistemas críticos y reactivos. Se evidencia su facilidad para abordar problemas complejos, garantizando la escalabilidad y la fiabilidad del sistema desarrollado.Red de Universidades con Carreras en Informática2023-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf2-9http://sedici.unlp.edu.ar/handle/10915/164820spainfo:eu-repo/semantics/altIdentifier/isbn/978-987-9285-51-0info:eu-repo/semantics/reference/url/https://sedici.unlp.edu.ar/handle/10915/163107info: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-10-22T17:24:36Zoai:sedici.unlp.edu.ar:10915/164820Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-10-22 17:24:36.866SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Caso de estudio: metodología para el diseño y desarrollo de sistemas embebidos distribuidos
title Caso de estudio: metodología para el diseño y desarrollo de sistemas embebidos distribuidos
spellingShingle Caso de estudio: metodología para el diseño y desarrollo de sistemas embebidos distribuidos
Ventre, Luis Orlando
Ciencias Informáticas
Metodología
Diseño
sistemas embebidos
Redes de Petri
sistemas distribuidos
title_short Caso de estudio: metodología para el diseño y desarrollo de sistemas embebidos distribuidos
title_full Caso de estudio: metodología para el diseño y desarrollo de sistemas embebidos distribuidos
title_fullStr Caso de estudio: metodología para el diseño y desarrollo de sistemas embebidos distribuidos
title_full_unstemmed Caso de estudio: metodología para el diseño y desarrollo de sistemas embebidos distribuidos
title_sort Caso de estudio: metodología para el diseño y desarrollo de sistemas embebidos distribuidos
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
Diseño
sistemas embebidos
Redes de Petri
sistemas distribuidos
topic Ciencias Informáticas
Metodología
Diseño
sistemas embebidos
Redes de Petri
sistemas distribuidos
dc.description.none.fl_txt_mv En este proyecto se introduce una metodología que se aplica al diseño y desarrollo de un sistema de control de acceso embebido y distribuido. Esta metodología facilita desacoplar la lógica, la política de resolución de conflictos y las acciones, lo que da lugar a un sistema modular, simple, mantenible, formal y flexible. Además, se logra la verificación formal de la lógica en todas las fases del desarrollo. Para modelar la lógica del sistema, se emplean redes de Petri y se convierten en código ejecutable mediante la ecuación de estado generalizada. Esta solución consigue conservar las propiedades verificadas mediante el uso del formalismo matemático. La implementación incluye un monitor de concurrencia que integra los diversos componentes de software y hardware del sistema. Asimismo, se establecen interfaces definidas entre los dispositivos e incorpora librerías y protocolos estándares. Además, se destacan los beneficios de aplicar la metodología propuesta al diseño de sistemas críticos y reactivos. Se evidencia su facilidad para abordar problemas complejos, garantizando la escalabilidad y la fiabilidad del sistema desarrollado.
Red de Universidades con Carreras en Informática
description En este proyecto se introduce una metodología que se aplica al diseño y desarrollo de un sistema de control de acceso embebido y distribuido. Esta metodología facilita desacoplar la lógica, la política de resolución de conflictos y las acciones, lo que da lugar a un sistema modular, simple, mantenible, formal y flexible. Además, se logra la verificación formal de la lógica en todas las fases del desarrollo. Para modelar la lógica del sistema, se emplean redes de Petri y se convierten en código ejecutable mediante la ecuación de estado generalizada. Esta solución consigue conservar las propiedades verificadas mediante el uso del formalismo matemático. La implementación incluye un monitor de concurrencia que integra los diversos componentes de software y hardware del sistema. Asimismo, se establecen interfaces definidas entre los dispositivos e incorpora librerías y protocolos estándares. Además, se destacan los beneficios de aplicar la metodología propuesta al diseño de sistemas críticos y reactivos. Se evidencia su facilidad para abordar problemas complejos, garantizando la escalabilidad y la fiabilidad del sistema desarrollado.
publishDate 2023
dc.date.none.fl_str_mv 2023-10
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/164820
url http://sedici.unlp.edu.ar/handle/10915/164820
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/isbn/978-987-9285-51-0
info:eu-repo/semantics/reference/url/https://sedici.unlp.edu.ar/handle/10915/163107
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
2-9
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_ 1846783701692710912
score 12.982451

Publicaciones similares