【開発者必見】ソフトウェアの信頼性を向上させる形式検証手法を用いたJTEKT社の電動パワステへの形式検証SPARK Pro応用事例紹介ウェビナー開催

AdaCore（エイダコア、本社：米国ニューヨーク州）は、日本の開発者/技術者向け事例紹介ウェビナーを株式会社ジェイテクトの米木真哉氏をお迎えし、6月30日(水)14:00より開催いたします。

自動運転技術の導入が進む自動車に搭載されるソフトウェアは増大の一途をたどっており、加えてより高い安全性、信頼性の確保が要求されています。そのため、開発スケジュールを順守しつつ、より高い品質を達成することが重要になります。そこで、ソフトウェア開発の早い段階で欠陥を確実に発見でき、テスト工数、手戻りを減らすことが可能な開発手法として形式検証を応用した事例をご紹介します。

本ウェビナーでは、ジェイテクト株式会社 米木真哉氏にご登壇いただき、電動パワステへ形式検証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®およびStateflow®モデルの静的な検証ツール、コード・ジェネレータ、さらにモデルレベルのデバッガを提供します。

長年にわたり、AdaCore社製品ご利用のお客様は、セーフティ・クリティカルなアプリケーションを開発し、保守を継続しています。その分野は、商用航空機、自動車、鉄道、宇宙、軍事、航空交通管制、医療機器、財務サービスなどです。AdaCore社の顧客は、世界的に幅広い分野で増え続けています。詳細については、https://www.adacore.com/industries　（英語）をご覧ください。

【本件の詳細、お申込み/お問合せ】
ウェビナー公式サイト
http://www.itaccess.co.jp/product-news/2021/05/25/4255/