【開発者必見】ソフトウェアの信頼性を向上させる形式検証手法を用いたJTEKT社の電動パワステへの形式検証SPARK Pro応用事例紹介ウェビナー開催
PR TIMES / 2021年6月2日 14時15分
AdaCore(エイダコア、本社:米国ニューヨーク州)は、日本の開発者/技術者向け事例紹介ウェビナーを株式会社ジェイテクトの米木真哉氏をお迎えし、6月30日(水)14:00より開催いたします。
[画像1: https://prtimes.jp/i/31021/3/resize/d31021-3-125733-0.png ]
自動運転技術の導入が進む自動車に搭載されるソフトウェアは増大の一途をたどっており、加えてより高い安全性、信頼性の確保が要求されています。そのため、開発スケジュールを順守しつつ、より高い品質を達成することが重要になります。そこで、ソフトウェア開発の早い段階で欠陥を確実に発見でき、テスト工数、手戻りを減らすことが可能な開発手法として形式検証を応用した事例をご紹介します。
本ウェビナーでは、ジェイテクト株式会社 米木真哉氏にご登壇いただき、電動パワステへ形式検証SPARK Proを応用した事例を、実例を示しながらご紹介いただきます。
─────────────────────
ウェビナー概要
─────────────────────
【開催日時】2021年6月30日(水) 14:00開始
【講師】ジェイテクト株式会社 ステアリングシステム統括部上席主担当 米木真哉氏
【講演内容】
30分:電動パワステへの形式検証SPARK Pro応用事例
15分:Q&A
【こんな人にオススメ】
高い信頼性、安全性が要求されるソフトウェアを開発される方
ソフトウェアのテスト工数を削減し、手戻りを少なくする手法を検討している方
ハードウェアの制約などで、ソフトウェアテストに苦労されている方
形式検証を検討されている、ご興味のある方
【主催】AdaCore社
【共催】アイティアクセス株式会社
【参加費】無料
【詳細/お申込み】
http://www.itaccess.co.jp/product-news/2021/05/25/4255/
【関連プレスリリースのご案内】
株式会社ジェイテクト、電動パワーステアリング・システム・サプライヤーが全性重視の自動車用ソフトウェア開発にSPARK Proを採用
~SPARKの形式手法が、安全重視の自動運転システム向け開発、検証コストを削減~
https://prtimes.jp/main/html/rd/p/000000002.000031021.html
■AdaCore社について
1994年に設立されたAdaCore社は、ミッション・クリティカル、セーフティ・クリティカル、かつセキュリティ・クリティカルなシステム向けにソフトウェア開発・検証ツールを提供しています。主力商品は次の4つです。
GNAT Proは、Ada、C、C++に対応した統合化開発環境で、高い信頼性と保守性が要求されるアプリケーションを、設計、実装、管理する為のツールセットです。
CodePeerは、CWE準拠の先進的なAdaコード用静的解析ツールで、ソフトウェアのエラーを検出し、レビューして検証する機能を備えています。また、CodePeerは、MITRE社のCommon Weakness Enumeration(CWE)で「最も危険なソフトウェアエラー上位25」の検出が可能です。
SPARK Proは、形式検証をベースに、高信頼性システムの開発に適した検証環境です。
QGenは、DO178Cツール資格を取得する等、セーフティが重要な制御システム向け、モデルベース開発ツールスイートで、Simulink(R)およびStateflow(R)モデルの静的な検証ツール、コード・ジェネレータ、さらにモデルレベルのデバッガを提供します。
長年にわたり、AdaCore社製品ご利用のお客様は、セーフティ・クリティカルなアプリケーションを開発し、保守を継続しています。その分野は、商用航空機、自動車、鉄道、宇宙、軍事、航空交通管制、医療機器、財務サービスなどです。AdaCore社の顧客は、世界的に幅広い分野で増え続けています。詳細については、https://www.adacore.com/industries (英語)をご覧ください。
[画像2: https://prtimes.jp/i/31021/3/resize/d31021-3-227655-1.jpg ]
【本件の詳細、お申込み/お問合せ】
ウェビナー公式サイト
http://www.itaccess.co.jp/product-news/2021/05/25/4255/
企業プレスリリース詳細へ
PR TIMESトップへ
この記事に関連するニュース
-
日本全国の公証役場がリーガルの「電子認証キットPRO」と「RSS-VC」を導入
@Press / 2024年4月16日 10時30分
-
ウインドリバー、AWS上でソフトウェア定義型車両のイノベーションを推進
PR TIMES / 2024年4月12日 13時40分
-
STマイクロエレクトロニクス、パナソニック サイクルテック社の電動アシスト自転車にエッジAI機能を提供し、低コストで安全性の向上に貢献
PR TIMES / 2024年4月3日 17時45分
-
ASRA、NEDOによる「先端SoCチップレットの研究開発」の委託先として採択
マイナビニュース / 2024年3月29日 23時5分
-
「ITモダナイゼーションSummit Web Live 2024」で、日立製作所が講演【4/11】
PR TIMES / 2024年3月25日 11時45分
ランキング
-
1ビッグモーター、600億円で買収へ=伊藤忠など、新会社で事業承継
時事通信 / 2024年4月17日 20時33分
-
2トヨタ、プリウス生産・受注を当面停止 後席ドアに問題でリコール
ロイター / 2024年4月17日 18時8分
-
3「生ドーナツ人気」をブームで終わらせるのはもったいない、これだけの理由
ITmedia ビジネスオンライン / 2024年4月17日 6時55分
-
4いなば食品、入社辞退者が憤る内定後の『一般職採用です』告知「ボロ家」よりも許せなかったこと「待遇わからず」「想定していた働き方と全然違う」
NEWSポストセブン / 2024年4月17日 7時15分
-
5ウエルシアHD、松本社長が辞任 「私生活で不適正な行為」
ロイター / 2024年4月17日 10時13分
記事ミッション中・・・
記事にリアクションする
記事ミッション中・・・
記事にリアクションする
エラーが発生しました
ページを再読み込みして
ください