Ada Core Technologies Inc.:ジェイテクト、EPSシステムサプライヤーが安全性重視の自動車用ソフトウェア開発にSPARK Proを採用
MotorFan / 2020年6月24日 12時10分
AdaCore(エイダコア)は6月24日、ジェイテクト(JTEKT)、自動車用電動パワーステアリング・システムの製造メーカが、安全が重視されるパワーステアリング・システム・ソフトウェアの開発を支援するために、AdaCoreのSPARK ProツールスイートとGNAT Pro Common Code Generator(CCG)を採用したことを発表した。
AdaCoreのメンターシップ・プログラムを利用することにより、SPARKテクノロジーを短期間で導入することが可能となり、JTEKTは、SPARK 言語(Ada言語サブセット)と形式手法を応用して、システムのCコードの単体テストと検証が容易となり、その正しさを証明する方法を実証した。SPARKコードをCソースコードに変換するCCGを使用することにより、SPARKの長所を活用しながら、JTEKTは開発済のCコードベースの設計資産の重要な安全特性を証明できるようになった。
パワーステアリング・システムの制御ソフトウェアは、レーンキープアシストなどの自動運転システムと安全に通信する必要がある。誤作動により、生命を脅かしたり致命的な傷害が発生したりする可能性があるため、同システムは、ISO 26262標準で定義されたハザードの最も厳格な自動車用安全度水準(ASIL)Dに分類される。
■ISO 26262 ならびに ASIL Dについて
ISO 26262は、自動車システムの機能安全規格であり、電気/電子/プログラマブル電子( "E / E / PE")システムの一般的なIEC 61508規格の分野規格。自動車の安全ライフサイクルのフェーズとそれに関連するアクティビティを定義し、リスクベースのアプローチを使用して、自動車用安全度水準(ASIL)と関連する要件を規定する。システムの機能分析は、機能不全が発生した場合の潜在的な危険と、生命ならびに資産への影響に焦点を当てている。ASILは、A(最低)からD(最高)で定義され、故障が曝露される確率、ドライバがハザードを回避できるか否か、ならびにハザードの発生の重大度が考慮されている。ASIL Dは、機能不全によって、生命に関わる、または致命的な傷害が発生する可能性を示す。そのため、安全性への目標が十分に達成されているかの保証が重要だ。
SPARK Proは、Ada言語サブセット対応のツールセットで、開発エンジニアは数学に基づいた厳格さで特定の脆弱性(バッファオーバーフロー、ゼロ除算、非初期化変数の参照等)がないことなど、ソースコードのプロパティを形式検証し、任意の表明(Assertion)を証明することができる。CCGを使用すると、Adaコンパイラが対応していないターゲットも含めて、SPARKアプリケーションをCコードにクロスコンパイルすることができる。SPARK ProとCCGはISO 26262およびIEC61508の機能安全規格への適合が認定されている。
「私たちは数年前から、信頼性への要求が高まる自動車ソフトウェアに対して、理論的に裏付けされた形式手法を研究している中で、SPARKを知ることができ喜ばしく思っております」と、JTEKTの先行システム開発部上席主担当、米木真哉氏は語っている。「AdaCoreのツールは、セーフティ・クリティカルなソフトウェアテストの開発コストを低減し、安全かつ堅牢な量産コード開発に有効であると確信しています」
「SPARKの形式手法を使用してCコードの正しさを証明することは、自動車の安全/セキュリティに関する最先端技術です」と、AdaCoreの日本営業責任者であるジュアン・カルロス・ベルネド氏(Juan Carlos Bernedo)は語っている。「開発エンジニアにとって、自動車業界の最高レベルの保証基準を満足するソフトウェアを開発する上で、SPARKは費用対効果の高いソリューションの選択肢になりつつあります。JTEKTの事例は、Cコンパイラを提供するソフトウェア・プロバイダーが、SPARK言語とツールセットの導入、活用方法を示しています」
外部リンク
この記事に関連するニュース
-
「ISO/SAE 21434 自動車-サイバーセキュリティエンジニアリング」開発プロセス認証取得
PR TIMES / 2024年3月26日 14時45分
-
NTTの秘密計算技術がISO国際標準に採択 ~データ利活用とプライバシー保護を両立する高速な秘密計算技術を実現~
Digital PR Platform / 2024年3月21日 11時13分
-
法人向けChatGPT「ChatPro」、情報セキュリティマネジメントシステム(ISMS)の国際規格「ISO/IEC27001」を取得
PR TIMES / 2024年3月19日 13時15分
-
株式会社シーズ・リンク、ISMS認証「ISO/IEC 27001:2022」取得のお知らせ
PR TIMES / 2024年3月11日 13時15分
-
無線非常停止デバイス @seguro wes に新モデル登場!複数台停止やボタン以外の接点入力にも対応
PR TIMES / 2024年3月5日 12時15分
ランキング
-
1専門家が指摘「紅麹問題」で表出する"重要な視点" 2014年には欧州でサプリによる健康被害の報告
東洋経済オンライン / 2024年3月28日 22時0分
-
2都内在住者に限定の高校授業料無償化に不公平感 隠れ教育費負担で「恩恵」乏しい可能性も
産経ニュース / 2024年3月28日 17時25分
-
350代女性の手指トラブル…どうしてウォーキングが効くの?8つの生活習慣
ハルメク365 / 2024年3月28日 22時50分
-
4「武蔵小杉駅」の唯一の欠点とは? 全てがそろう街に“1つだけ足りないもの”
オールアバウト / 2024年3月28日 17時30分
-
5マンガ、ゲーム、動画配信…若い世代が勤しむ“趣味系ポイ活”、隙間時間も逃さないお得術とは?
ORICON NEWS / 2024年3月28日 8時10分
記事ミッション中・・・
記事にリアクションする
記事ミッション中・・・
記事にリアクションする
エラーが発生しました
ページを再読み込みして
ください