Andere Kunden interessierten sich auch für
![Um quadro para a formalização semi-automatizada dos requisitos automóveis]( "Um quadro para a formalização semi-automatizada dos requisitos automóveis")
Um quadro para a formalização semi-automatizada dos requisitos automóveis26,99 €![Utilización del relé de subtensión y del DVR para las perturbaciones de la tensión del sistema eléctrico]( "Utilización del relé de subtensión y del DVR para las perturbaciones de la tensión del sistema eléctrico")
Utilización del relé de subtensión y del DVR para las perturbaciones de la tensión del sistema eléctrico36,99 €![Láser de estado sólido para la preparación de películas superconductoras de óxido]( "Láser de estado sólido para la preparación de películas superconductoras de óxido")
Láser de estado sólido para la preparación de películas superconductoras de óxido25,99 €![Los segnetoeléctricos en el aumento de la eficiencia de los vehículos eléctricos]( "Los segnetoeléctricos en el aumento de la eficiencia de los vehículos eléctricos")
Los segnetoeléctricos en el aumento de la eficiencia de los vehículos eléctricos24,99 €![Un estudio sobre el despacho económico de la energía eléctrica]( "Un estudio sobre el despacho económico de la energía eléctrica")
Un estudio sobre el despacho económico de la energía eléctrica18,99 €![ANÁLISIS APSEN PARA REDES INALÁMBRICAS MÁS ALLÁ DE LA 3G]( "ANÁLISIS APSEN PARA REDES INALÁMBRICAS MÁS ALLÁ DE LA 3G")
ANÁLISIS APSEN PARA REDES INALÁMBRICAS MÁS ALLÁ DE LA 3G33,99 €![Aumento de la eficiencia de la planta de energía solar mediante un sistema de refrigeración por niebla]( "Aumento de la eficiencia de la planta de energía solar mediante un sistema de refrigeración por niebla")
Aumento de la eficiencia de la planta de energía solar mediante un sistema de refrigeración por niebla26,99 €
La cantidad y la complejidad de las funciones implementadas en los vehículos han aumentado rápidamente en los últimos años. En la actualidad, la visión del vehículo autónomo ha dejado de ser un sueño o una película de fantasía para convertirse en una realidad. Para conseguir la mejor calidad y una alta seguridad, se necesitan técnicas de verificación avanzadas. Simulink Design Verifier es una herramienta de comprobación de modelos basada en la verificación formal, que puede utilizarse eficazmente para resolver los problemas relativos a la detección de errores y las pruebas en las primeras fases del proyecto. La transformación de los requisitos escritos en su forma tradicional en objetivos de Simulink Design Verifier directamente puede llevar mucho tiempo, además de requerir el conocimiento del modelo del sistema y de la herramienta de verificación. Para reducir el consumo de tiempo y guiar al usuario a través del modelo del sistema y la herramienta de verificación se ha desarrollado un marco semiautomatizado. La implementación de patrones de gramática inglesa restringida en objetos Simulink permite describir los patrones a los ingenieros y reducir el consumo de tiempo. El marco desarrollado es flexible e intuitivo, por lo que puede ser una solución para otras ramas de la industria, pero se requieren futuras pruebas y verificaciones.