Resumen de Diseño basado en modelos: Prueba y verificación de software embebido para automoción.
El software embebido y la electrónica representan una parte cada vez más importante del contenido de ingeniería de un automóvil. Se prevé que en el año 2010, la electrónica suponga el 40% del coste total de los materiales de un coche, mientras que en 1970 sólo representaba el 10% [1].
El software embebido y la electrónica se utilizan en las áreas funcionales del coche para sustituir o simplificar los sistemas hidráulicos o mecánicos en funciones principales como el sistema de frenos o la dirección.
También se usan para implementar funciones avanzadas, como sistemas de seguridad activa y de información al conductor que suponen un valor añadido para el cliente en cuanto a comodidad, seguridad y servicios.
