Este documento describe el modelo basado en la verificación de software empotrado. Explica que los sistemas empotrados se utilizan para controlar y comunicarse con otros sistemas y dispositivos. Además, sugiere que el modelo basado en el desarrollo es útil para la ingeniería, la logística y la medicina, pero requiere más aplicaciones y soporte para estandarizarse a nivel mundial. Finalmente, concluye que el software empotrado suele funcionar en ambientes críticos donde la seguridad y fiabilidad son indispens

1. MODELO BASADO VERIFICACIÓN
DE EMPOTRAR SOFTWARE

2. Objetivo:
• Analizar e interpretar el funcionamiento de
los sistemas empotrados.

3. Sistemas Empotrados
• Se pueden
• Utiliza
• Su comunicación
• Controlan
• Caracteriza
• Parte Central
• Ejemplos

4. INTRODUCCIÓN
El dominio de los sistemas de procesamiento son
imprescindibles en la actualidad y esta ha
conllevado el abaratamiento de los costos pero
cada día se hacen mas complejos por la
integración de nuevas herramientas en los
entornos tecnológicos.

6. Idea principal
• El modelo basado en el desarrollo es
sugerido en la ingeniería e industria; en
el los sistemas de logística en el
transporte; así como en la medicina,
pero se requiere mas aplicaciones y
soportes de estas herramientas para
que sea estandarizado como modelo
para el desarrollo en el plano mundial,
pero considerando las variaciones que
se suscitan por el nivel de abstracción
los modelos pudieran adecuarse a
cada diseño.

7. Idea Secundaria
• La historia nos dice que los
controladores iniciaron con formulas de
circuito cerrado, y que evolucionaron a
los modelos matemáticos que están
inmersos en el modelo MBD prueba d e
ellos es que hay adaptabilidad del
nuevo modelo en sistemas
electromecánicas de modernos vehículos
el modelo utiliza el lenguaje como
Labview o Simulink.

8. Conclusión
• Software empotrados es el sistema que
suele funcionar en ambientes severos o
críticos donde la seguridad es difícil de
obtenerla. Se considera que las
propiedades tales como la fiabilidad y
disponibilidad son indispensables.