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

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

LCSAJ は実行可能コードの線形シーケンス
Data & Control Coupling Analysis
データ結合と制御結合を満たすことについて
データ結合と制御結合の解析技術


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

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


自動車機能安全カンファレンス2022
講演動画を公開
コンパイラ認定と言語サブセットの相互補完による安全・安心なソフトウェア
概要:安全・安心なソフトウェアのためには、C、C++言語が持つセキュリティや安全性の弱点をコーディング規約による言語サブセットで排除することに加えて、正しく実装されたソースコードのプログラムとしての動作がオブジェクトコードレベルで保持されることの確信を得る必要があり、コンパイラがC、C++言語規格に準じて正しく動作し、規格どおりに振る舞うオブジェクトコードを生成することの評価が求められる。機能安全システムの開発で、これらの側面がどのように協調して安全性の向上に寄与するかを説明し、また適切に考慮されることで開発時間と費用の軽減にも貢献することを紹介する。
ISO 26262 第2版の認証を支援
ISO 26262 第2 版の各条項の目的をどのように支援できるかについて、それぞれの表に対比させながら解説

ISO/SAE 21434 EDN掲載記事
ISO/SAE 21434 : 自動車サイバーセキュリティのソフトウェア認証
ISO21434_cybersecurity_J
ISO/SAE 21434 規格に対応したソフトウェア開発モデル
ISO21434_LDRA_J
AUTOSAR and the LDRA tool suite
AUTOSAR Classic Platform、Adaptive Platform を活用するシステムの機能安全規格 ISO 26262 への準拠をどのように支援できるかについて紹介します。
お粗末なバグに振り回されないために
機能安全のテストに習う 講演動画公開
機能安全スタンダードに共通する主要なプロセスとそれを支援するテストツールを紹介しながら、それを機能安全ではないアプリケーションで活用する方法を紹介
ISO 26262 Tool Qualification
MISRA C WG議長のWebセミナー
ISO 26262 やIEC 61508 などの機能安全規格で要求されるプロセスの自動化に使用するソフトウェアツールは、その品質が安全性の観点から妥当であるかを利用者が検証し、認定することが求められます。開発対象の安全レベルとツールの用途に応じて認定方法を選定し、その活動の証拠を作成する必要があります。テストツールの場合は、TUV等に事前に発行された資格証明書とレポートを利用できますが、最も厳しい安全レベルの場合は、ソフトウェアツールの妥当性確認をする必要があります。

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

つながる世界の
安心で安全なソフトウエアのテスト
スタンダード認証に求められる
トレーサビリティ管理
IPA 独立行政法人情報処理推進機構
先進的な設計・検証技術の適用事例報告書 掲載記事
国際スタンダード認証に求められる「要件から検証結果までのトレーサビリティ管理」の効率化の取組み
ターゲット環境でテスト実行の例
AURIX™ TriCore™用 HighTec社コンパイラとローターバッハ社デバッガ
Simulink 統合
Simulinkの設定画面からLDRAを選択してシミュレーション実行して、結果のカバレッジを表示。フローグラフから未実行パスを特定し、追加の単体テストをTBrunで実行。