IEC61508, ISO26262, DO-178C

LCSAJカバレッジ

最も効果的なコードカバレッジテストメカニズム

LCSAJ カバレッジを使用すると、ループの解析とプログラム構成要素の組み合わせの解析が強制されるため、他の利用可能な方法よりも、エラーを発生させる可能性のある多くの側面が確実に解析されます。

LCSAJ は実行可能コードの線形シーケンス

Data & Control Coupling Analysis

データ結合と制御結合を満たすことについて
データ結合と制御結合の解析技術

モジュラーソフトウェアは、高品質のソフトウェアの特徴と見なされることがよくありますが、その主張は、モジュールが期待どおりに相互作用する場合にのみ当てはまります。 DO-178C 標準では、「要件ベースのテストがコードコンポーネント間のデータと制御結合を実行したことを確認するための解析」を要求しています。本資料では、制御フローとデータフロー解析の組み合わせによって、制御結合とデータの結合の測定をどのように達成できるか、またソフトウェアツールを使用してそのプロセスをどのように効率化できるかについての概要を説明します。

Data coupling and control coupling

最悪実行時間（WCET）

マルチコアプロセッサ搭載システムのスタンダード準拠とWCET

マルチコアプロセッサの採用には課題がありますが、適切なツールを念入りに使用すれば克服できることを紹介します。

リアルタイムシステムの厳しいタイミング制約を満たすには、一般に実行時間の上限が必要です。そしてマルチコアプロセッサの課題は、上限を超えないように、すべてのケースで十分な時間を確保することです。さもなければ、ソフトウェアが常に期待どおりに動作するという保証はありません。
最悪実行時間 (WCET) は、特定の環境でタスクを実行するのにかかる最大時間です。
一般に、プログラムの実行時間の明確な上限を計算することはできません。

自動車機能安全カンファレンス2022
講演動画を公開

コンパイラ認定と言語サブセットの相互補完による安全・安心なソフトウェア

概要：安全・安心なソフトウェアのためには、C、C++言語が持つセキュリティや安全性の弱点をコーディング規約による言語サブセットで排除することに加えて、正しく実装されたソースコードのプログラムとしての動作がオブジェクトコードレベルで保持されることの確信を得る必要があり、コンパイラがC、C++言語規格に準じて正しく動作し、規格どおりに振る舞うオブジェクトコードを生成することの評価が求められる。機能安全システムの開発で、これらの側面がどのように協調して安全性の向上に寄与するかを説明し、また適切に考慮されることで開発時間と費用の軽減にも貢献することを紹介する。

スライド資料はこちらから

ISO 26262 第2版の認証を支援

ISO 26262 第2 版の各条項の目的をどのように支援できるかについて、それぞれの表に対比させながら解説

Implementing_ISO_26262_second_edition_white_paper_v2.0JP

ISO/SAE 21434 EDN掲載記事

ISO/SAE 21434 : 自動車サイバーセキュリティのソフトウェア認証

ISO21434_cybersecurity_J LinkIcon

ISO/SAE 21434 規格に対応したソフトウェア開発モデル

ISO21434_LDRA_J

AUTOSAR and the LDRA tool suite

AUTOSAR Classic Platform、Adaptive Platform を活用するシステムの機能安全規格 ISO 26262 への準拠をどのように支援できるかについて紹介します。

AUTOSAR_WhitePaper_v2JP

お粗末なバグに振り回されないために
機能安全のテストに習う　講演動画公開

機能安全スタンダードに共通する主要なプロセスとそれを支援するテストツールを紹介しながら、それを機能安全ではないアプリケーションで活用する方法を紹介

ISO 26262 Tool Qualification

MISRA C WG議長のWebセミナー

ISO 26262 やIEC 61508 などの機能安全規格で要求されるプロセスの自動化に使用するソフトウェアツールは、その品質が安全性の観点から妥当であるかを利用者が検証し、認定することが求められます。開発対象の安全レベルとツールの用途に応じて認定方法を選定し、その活動の証拠を作成する必要があります。テストツールの場合は、TUV等に事前に発行された資格証明書とレポートを利用できますが、最も厳しい安全レベルの場合は、ソフトウェアツールの妥当性確認をする必要があります。

ISO 26262 Part 8 ツール認定

好評につき和文資料にしました

MISRA C/C++最新情報と実践的使用法

MISRA C++ WG議長来日講演

MISRA C/C++ 委員会からの最新情報を、レガシーコードやサードパーティにより提供されるソースコードに対する実用的な取り組み方法、ルールからの逸脱の対処とスタンダードへの準拠の証明、セキュリティ対策との関係など、実運用面の話題を絡めて紹介します。

講演資料を公開

つながる世界の
安心で安全なソフトウエアのテスト

セキュア(安心)なソフトウエアは脅威への防御のために、高品質でなければならない。そして高品質のソフトウエアを構築するために必要な同じ開発ライフサイクルの厳格さが要求される。そこで航空システムのソフトウェア安全規格に精通する検証支援ツールが、セキュリティ品質を確保するためにも活用され「Swiss Cheeseモデル」の防御の一翼を担うことや、要件トレーサビリティがメンテナンスの要になることを紹介する。