STIMULUS

エンドツーエンドの MBSE とテスト自動化ソリューション

エンドツーエンドの MBSE とは?

多くの場合、従来の MBSE では、要件がプレーン・テキストとしてキャプチャされる SysML の使用に重点を置いています。したがって、これらは検証にもシミュレーションにも含まれません。プレーン・テキストであり、何も生成されないため、一つ一つの機能要件から各テスト・ケースを手動で作成する必要があります。

STIMULUS は、モデリング機能を拡張して機能要件を含めることもできるため、新たなパラダイムをもたらします。すべてのシステム挙動をキャプチャできることで、テストの自動化という新たな可能性が生まれます。テスト・シナリオをキャプチャし、STIMULUS 拘束ソルバーがそれらを使用して、必要な数の入力の組み合わせを生成します。これらのテスト・ベクトルは、仕様をシミュレートするために使用されますが、後でコードをシミュレートするためにも使用されます。STIMULUS はコードの応答を観察し、要件で定義された挙動と比較して、機能テストを完全に自動化します。統合時に、STIMULUS は HIL テスト環境で生成されたログ・ファイルを解析し、統合システムの挙動を要件と比較して要件違反を自動的に検出します。

機能テストの自動化

コードは、STIMULUS によって自動生成されるテスト・ベクトルによってシミュレートされ、出力は、STIMULUS が要件に応じて入出力間の想定される関係と比較して観察します。要件範囲が STIMULUS によって追跡されている間は、膨大な数のテストを自動的に生成・実行できます。

機能要件のシミュレーションと検証

STIMULUS を使用すると、システム・アーキテクトは SysML モデルの使用を拡張して、初めてシミュレーションや検証を実行できる機能要件も含めることができます。要件の欠落、競合、誤りなどの多くのエラーを早期に検出して修正できます。開発チームは、明確で完全かつ検証済みの要件を受け取ることで、より効果的に作業を行うことができます。

検証チームは、機能要件からそれぞれの機能テスト・ケースを手動で抽出する必要はありません。STIMULUS を使用することで、コードまたはシステムを要件に照らしてすべて自動でテストできるため、ROI が大幅に向上します。ほとんど労力をかけずに多くのテストを生成し、実行することが可能です。

Hardware-In-the-Loop テスト

STIMULUS は、テスト環境が生成するログ・ファイルを自動的に解析し、統合システムのテストをサポートします。ファイルにはテスト中に発生した I/O が含まれ、STIMULUS は要件と比較して要件違反を自動的に検出します。

STIMULUS と CATIA Magic

STIMULUS は、SysML でキャプチャが困難な詳細な挙動にもモデルを使用できるようにします。SysML アーキテクチャ(および関連するシグナル)を STIMULUS にインポートして、詳細な挙動をキャプチャ、シミュレート、検証できるため、CATIA Magic と STIMULUS の間のデジタルな連続性が保証されます。

CATIA MBSE Cyber Systems ユーザー・コミュニティで会話に参加しましょう!

[Webinar] Digital Engineering Strategy with a Model-Based Approach, September 30

Dear all, we invite you to the upcoming webinar "Digital Engineering Strategy with a Model-Based Approach"Digital Engineering aims to integrate models, simulations, surrogate models, systems and components across engineering disciplines and throughout the full lifecycle.The webinar will explore an integrated digital approach using authoritative system data and models as a connected continuum, supp

CATIA MBSE CYBER SYSTEMS

Importing a spreadsheet and having the fields correspond to block names and value properties.

Hello, I have a basic question.I've been tasked with building out a series of BDDs for a computer network. I have an excel file that specifies the properties of each device on the network, e.g. host name, ip address, operating system, and make/model.For the blocks in the diagram, I would like to create a value property that corresponds to each of the properties specified in the spreadsheet, and po

CATIA MBSE CYBER SYSTEMS

S2X Conference - 3. November 2026 in Hamburg, wir sind dabei!

Wir sind in diesem Jahr auf der S2X vertreten und bringen ein echtes Highlight für alle Systemingenieure mit.Die SysML V2 steht in den Startlöchern und wird die Systemmodellierung nachhaltig verändern. Aber wie sieht die methodische Umsetzung in der Praxis aus?Genau diese Frage beantwortet Aurelijus Morkevicius in seinem Vortrag:„Best Practices in Developing Methodologies for SysML V2“! Er teilt w

CATIA MBSE CYBER SYSTEMS

Upcoming Event: TdSE-2026 in Dortmund, 17-20th, November

We are pleased to share that our CATIA experts will participate in TdSE 2026 – Tag des Systems Engineering, the premier Systems Engineering conference in Dortmund. When: November, 17-20, 2026 Where: Dortmund, Germany Booth: Nr. 14Organized by GfSE (the German chapter of INCOSE), TdSE is a central meeting point for experts, practitioners, decision-makers, and researchers across industries to

CATIA MBSE CYBER SYSTEMS