日立製作所と日立オートモティブシステムズ（関秀明社長兼ＣＥＯ、東京都千代田区）は、自動車制御システムの安全要件を自動検証する技術を共同開発したと発表した。安全要件の検証時間を従来の目視で行うのと比べて１０分の１に短縮できる。今回開発したのは、自動車メーカーや部品メーカーが制御システムの設計開発において作成する安全要件を検証する際、要件に漏れがない…