• BPnet
  • ビジネス
  • PC
  • IT
  • テクノロジー
  • 医療
  • 建設・不動産
  • TRENDY
  • WOMAN
  • ショッピング
  • 転職
  • ナショジオ
  • 日経電子版

HOMEエレクトロニクス電子設計 > 日立と日立オートモティブが自動車制御ソフト向けに高速な形式検証技術、製品開発に適用へ

日立と日立オートモティブが自動車制御ソフト向けに高速な形式検証技術、製品開発に適用へ

  • 小島 郁太郎=Tech-On!編集
  • 2013/04/16 18:03
  • 1/1ページ
日立製作所と日立オートモティブシステムズは、自動車制御システムの品質を向上させることを目的に、形式手法を用いたソフトウェア検査技術を共同で新規開発したと発表した。形式手法は検証の精度が高い半面、処理時間が長いという課題があった。今回、検証範囲の絞り込みなどによって処理時間を削減し、従来技術の10倍の規模のソフトウエアに形式検証が適用できるようにした。
【技術者塾】(5/26開催)
シミュレーション要らずの熱設計・熱対策

~熱を電気回路に見立てて解析、演習で応用力アップ~


本講演を受講すると、シミュレーションに頼らない実践的な熱対策・熱設計ができるようになります。演習を通して実際に熱を解析し、熱設計への理解を深められます。現場で応用できる熱解析ツールを自分で作成できるようになります。 詳細は、こちら
日程 : 2016年5月26日
会場 : 化学会館 7F(東京・御茶ノ水)
主催 : 日経エレクトロニクス

おすすめ