新着情報
SuperTest – KMC の LLVM/Clang ベースのコンパイラ製品の品質管理を強化
PALFINGER社は Pure Variants で製品開発を加速
テイント解析(taint analysis)
DO-330 ソフトウェアツール認定の資料公開
MISRA C:2023 最新情報と実践的使用法
安全性とセキュリティでMBSEを強化/ASF2023講演
資料公開:マルチコアプロセッサ搭載システムのスタンダード準拠とWCET について
プロダクトライン開発/バリアント管理支援ツールから習う賢人の知恵/ASF2022講演
スパークスシステムズ ジャパンとの連携セミナー:
プロダクトライン開発のバリアント管理について
チュートリアルを公開:
HighTec社コンパイラとロータバッハ社デバッガ
JTAG バウンダリスキャンテスト入門講座
SDV などエッジデバイスとクラウドからなるシステムの開発に DevSecOps が注目されている。これは頻繁なリリースを達成しながら、安全でセキュアなソフトウェアを開発するためのベストプラクティスとして知られ、航空・宇宙業界にも採用され始めている。デジタルスレッド/デジタルツインで強化された DevSecOps を適用した大規模開発の事例を交えて、航空・宇宙業界に採用されてきた検証ツールが、DevSecOps への速やかな移行に貢献することを紹介する。
機能安全分野で実証された多くのベストプラクティスは、(ISO/SAE 21434 のような)サイバーセキュリティプロセスにも適用されるが、焦点が微妙に異なることもある。脆弱性分析はその1つで、信頼境界の特定は、その一般的なアプローチである。これを支援する、テイント解析は、プログラムを通過する際に潜在的に安全でない、または信頼できないデータを識別して追跡する手法である。この講演では、テイント解析とそのツールが、機能安全とセキュリティのガイドラインを満たす開発ライフサイクルにおいて、どのように役立つかを紹介する。