loader image

モデルベース開発向けのテストソリューション

必数百万ものシナリオをどのようにして作成するか?

テスト数の爆発的増大を避けるには?

テストの合格・不合格をどのように見分けるか?

BTC EmbeddedPlatform

Requirements Analysis パッケージ

究極のフロントローディング、モデリングや実装前に不具合の検出

機能紹介

Requirements Analysis​パッケージ

Requirements Analysis​パッケージは要求の品質を分析するための機能セットを提供します。

多くの開発プロジェクトが失敗に終わるのは、機能要求仕様の矛盾や誤りが、プロセスの後半で明らかになるためです。例えば、システムを実装した後のシステムテスト中に矛盾が発見された場合などです。

Requirements Analysisパッケージは完全でない、正確でない、一貫しない機能要求を検出し、要求導出の初期段階に移行することを可能にします。

サポートされる機能

  • 形式要求の完全性(Completeness)チェック
  • 形式要求の正当性(Correctness)チェック
  • 形式要求の一貫性(Consistentcy)チェック
  • 要求シミュレーション&デバッグ
  • Universal Patternによる形式記述

Requirements Analysis パッケージ

ユースケース

要求分析

究極のフロントローディング、モデリングや実装前に不具合の検出

要求の形式化

安全要求の直感的な形式記述

Requirements Analysis パッケージ

分析の対象

要求の形式化

Universal Patternによる形式記述

アドオン

RTT-Observer Generator​

RTT-ObserverはBTC Embedded SystemsとdSPACE社の協力で開発されたテクノロジです。このテクノロジはdSPACE VEOSとHILにおけるテストをリアルタイムのフォーマルテストで強化します。

このアドオンは形式化された要求からRTT-Observerと呼ばれる監視ユニットを生成します。各RTT-ObserverはdSPACE HIL/VEOSシミュレーションを監視し、元となった要求が満たされているか否かをリアルタイムでレポートします。

RTT-ObserverとdSPACE HIL/VEOSの並列実行により、テストに要する労力にはほとんど変化なく、各要求に対するテストの深度を劇的に高めることが可能です。さらにControlDesk Next Generation、AutomationDeskを含むdSPACE製品群との高度な統合により、様々なプロジェクトで快適かつ効率的にRTT-Observerを利用することが可能となっています。

備考: このソリューションを利用するためには別途、dSPACE社の製品であるReal Time Testing (RTT) Observer Libraryが必要です。

詳しくはこちらをご覧ください: www.dspace.com

機能安全規格認証

ISO 26262

BTC EmbeddedPlatformがセーフティクリティカルなソフトウェア開発プロジェクトでの利用に適していることは、ドイツTÜV SÜDによって認証されています。 この認証はIEC 61508-3:3010, ISO 26262, EN 50128, IEC 62304, ISO 25119を含む複数の標準規格に言及しています。 自動車用機能安全規格ISO 26262に関しては、ツール信頼レベルの中で最も高いTCL3で認証を受けており、この認証はASIL-Dを含む全てのASILレベルに対して有効です。 認証書と認証レポートは要望に応じてツールユーザ様に無償で提供しています。この認証書はツール認定(Tool Qualification)に要するお客様側の労力を大きく削減致します。

評価用ライセンスの申し込み

私たちの製品を試してみたいと思っていただけたのであれば、喜んで無償の評価用ライセンスを発行致します。御希望であれば評価に無償のツールトレーニングもお付けします。ツールトレーニングは他社と合同ではなく、あなた専用で行います。

セールスエンジニアとのミーティング予約

質問をしてみたかったり、ツールが動いているところを見てみたいという方は下のリンクからミーティングをご予約ください。セールスエンジニアリングチームのメンバーが喜んでご対応致します。

評価用ライセンスの申し込み

私たちの製品を試してみたいと思っていただけたのであれば、喜んで無償の評価用ライセンスを発行致します。御希望であれば評価に無償のツールトレーニングもお付けします。ツールトレーニングは他社と合同ではなく、あなた専用で行います。

セールスエンジニアとのミーティング予約

質問をしてみたかったり、ツールが動いているところを見てみたいという方は下のリンクからミーティングをご予約ください。セールスエンジニアリングチームのメンバーが喜んでご対応致します。

BTC EMBEDDED SYSTEMSのブログ

ブログ

組み込みソフトウェア開発、モデルベースデザイン、自動コード生成、ISO26262準拠のテストに関する情報の公開

製品動画

動画

短い動画で当社製品の主な機能をご覧ください。

Formal Specification パッケージ

自動化の基礎となる直感的な機能要求の形式記述