Keeping an Eye on Safety

Published: dSPACE Magazine 2/2016, Nov 2016

セーフティクリティカルなシステムの妥当性を確認するには膨大なテストが必要となります。しかし、安全要件を満たしながらそれに必要な開発工数のバランスを取ることも大きな課題です。dSPACEとBTC社は、セーフティクリティカルなECUをシミュレーションベースで形式検証するための新しいソリューションを開発しました。これにより、開発工数を実現可能なレベルにまで近づけることができます。さらには、テスト深度の向上も可能になります。



혁신을 추진하세요. 항상 기술 개발의 동향을 주시해야 합니다.

저희 전문 지식 서비스에 가입하세요. dSPACE의 성공적인 프로젝트 사례를 확인해 보세요. 시뮬레이션 및 검증에 대한 최신 정보를 받아보세요. 지금 바로 dSPACE 다이렉트(뉴스레터)를 구독하세요.

Enable form call

At this point, an input form from Click Dimensions is integrated. This enables us to process your newsletter subscription. The form is currently hidden due to your privacy settings for our website.

External input form

By activating the input form, you consent to personal data being transmitted to Click Dimensions within the EU, in the USA, Canada or Australia. More on this in our privacy policy.