Resumen
La construcción de software confiable para dispositivos médicos exige estrategias que refuercen la correctitud y la robustez del sistema, mediante metodologías que ofrezcan garantías explícitas de funcionamiento. Este trabajo presenta avances de una estrategia de integración de máquinas de estados finitos con el diseño por contratos para el desarrollo de interfaces gráficas en dispositivos médicos. El estudio se centra en un prototipo funcional de monitor multiparamétrico simulado por software, diseñado para el monitoreo de señales de relevancia clínica. Partiendo de la hipótesis de diseño de que las interfaces pueden concebirse como una máquina de estados finitos, se aplica y analiza la integración propuesta. Como resultado, se observa que esta integración permite modelar el comportamiento de la interfaz de usuario de forma precisa y verificable, facilitando la detección temprana de errores, garantizando la coherencia frente a eventos externos y mejora la trazabilidad respecto de los requerimientos, sin requerir conocimientos avanzados en métodos formales. Además, esta estrategia contribuye a una definición más clara de responsabilidades entre módulos, permite generar pruebas automatizadas desde etapas tempranas y garantiza propiedades estructurales clave en la máquina de estados finitos, como la existencia de un estado inicial único y la accesibilidad entre estados. Si bien se identifican desafíos, como la sobrecarga computacional de las validaciones contractuales y la creciente complejidad del modelo, se abren líneas futuras prometedoras, como la simulación de fallos y la implementación en sistemas embebidos con adquisición de señales en tiempo real.