Event Details

Design Solution Forum 2024
日時：2024年10月25日 金曜日
場所：川崎市コンベンションホール

Design Solution Forumは、エンジニアが設計手法を議論する場として2014年に発足した技術フォーラムです。
組み込みシステムのソフトウェアとハ​​ードウェア向け。エンジニアが企画・運営し、「デザイナーのネットワークを作り、広げよう」を基本コンセプトに、エンジニア同士の情報交換を目的としたセミナーやイベントを毎年開催しています。

アルデックは、15:40～ ルームAにて「セーフティクリティカルシステムにおける要件ベース検証でアサーションを使用しよう！」と題して講演させていただきます。ぜひお立ち寄りください

概要：
セーフティクリティカルシステムでは要件ベース検証は一般的ですが、要件の品質と精度に左右されます。アサーションベース検証を用いた制約付きランダム検証などの検証手法は、検証プロセスの早期に曖昧な要件や不完全な要件を特定する事に役立ちます。本セミナーでは、設計要件から検出した要件に対する検証アプローチをアサーション主体でご紹介します。