Modelo basado verificación de empotrar software
-
Upload
meduca -
Category
Technology
-
view
47 -
download
0
description
Transcript of Modelo basado verificación de empotrar software
![Page 1: Modelo basado verificación de empotrar software](https://reader033.fdocumento.com/reader033/viewer/2022061607/55877d15d8b42ab74c8b4582/html5/thumbnails/1.jpg)
MODELO BASADO VERIFICACIÓN DE EMPOTRAR SOFTWARE
![Page 2: Modelo basado verificación de empotrar software](https://reader033.fdocumento.com/reader033/viewer/2022061607/55877d15d8b42ab74c8b4582/html5/thumbnails/2.jpg)
Objetivo:
• Analizar e interpretar el funcionamiento de los sistemas empotrados.
![Page 3: Modelo basado verificación de empotrar software](https://reader033.fdocumento.com/reader033/viewer/2022061607/55877d15d8b42ab74c8b4582/html5/thumbnails/3.jpg)
Sistemas Empotrados
• Se pueden
• Utiliza
• Su comunicación
• Controlan
• Caracteriza
• Parte Central
• Ejemplos
![Page 4: Modelo basado verificación de empotrar software](https://reader033.fdocumento.com/reader033/viewer/2022061607/55877d15d8b42ab74c8b4582/html5/thumbnails/4.jpg)
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.
![Page 5: Modelo basado verificación de empotrar software](https://reader033.fdocumento.com/reader033/viewer/2022061607/55877d15d8b42ab74c8b4582/html5/thumbnails/5.jpg)
sistema embebido o empotrado
![Page 6: Modelo basado verificación de empotrar software](https://reader033.fdocumento.com/reader033/viewer/2022061607/55877d15d8b42ab74c8b4582/html5/thumbnails/6.jpg)
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.
![Page 7: Modelo basado verificación de empotrar software](https://reader033.fdocumento.com/reader033/viewer/2022061607/55877d15d8b42ab74c8b4582/html5/thumbnails/7.jpg)
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.
![Page 8: Modelo basado verificación de empotrar software](https://reader033.fdocumento.com/reader033/viewer/2022061607/55877d15d8b42ab74c8b4582/html5/thumbnails/8.jpg)
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.