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