高精度静的解析ツール CodeSonar 世界トップレベルの解析能力で不具合や脆弱性の原因となるソースコードのバグを検出

ニデックモビリティ株式会社は、車載用電子制御技術を進化させてモビリティ社会における社会課題の解決に貢献すべく、カーエレクトロニクスに不可欠な車のボディ制御に使用される各種コントローラやスイッチ、センサを中心とした製品を提供している自動車部品メーカーです。ニデックモビリティでは、ボディ制御用コントローラの中でも大規模ソフトウェア開発の静的解析ツールとして、ユビキタスAIが提供している米国GrammaTech社の「CodeSonar」が採用されています。

NASAの火星探査機キュリオシティは、巨大なパラシュートとジェット制御により降下し、スカイクレーンと呼ばれるバンジーのような機器の支援により、見事に着陸に成功しました。火星と地球間では通信時間を要するため、着陸手順は完全にソフトウェアにより制御されました。そのソフトウェアの信頼性を高めるために、NASAは先進的な静的解析を使用しました。