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óveis29,99 €![Implementación y análisis de un esquema MPPT para un sistema fotovoltaico de una etapa]( "Implementación y análisis de un esquema MPPT para un sistema fotovoltaico de una etapa")
Implementación y análisis de un esquema MPPT para un sistema fotovoltaico de una etapa29,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éctrico39,99 €![Contribución de la administración a la creación de una microcentral hidroeléctrica]( "Contribución de la administración a la creación de una microcentral hidroeléctrica")
Contribución de la administración a la creación de una microcentral hidroeléctrica57,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 óxido26,99 €![La noción de campo eléctrico: Reflexiones de un futuro profesor]( "La noción de campo eléctrico: Reflexiones de un futuro profesor")
La noción de campo eléctrico: Reflexiones de un futuro profesor26,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éctricos26,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.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.