Presentation Abstract

Automated Verification of Behavior Models using Cameo Simulation Toolkit

  • Speaker: Steve Hetfield - Northrop Grumman Innovation Systems
  • When: Day 3 : Tuesday May 21st
  • Using Cameo Simulation Toolkit to execute system behaviors defined in Sequence Diagrams, State Machines and Activity Diagrams provides a powerful tool to ensure you are specifying the correct behavior. This is especially true for architecturally significant or safety critical behaviors. These executable behaviors are typically demonstrated to all stakeholders prior to design work commencing through manual testing. As the architecture matures, these verification steps rapidly become too numerous to execute manually!

    In this presentation, we will explore the use of a "Test Bench" SysML Block to step through pre-defined triggers and responses to automate behavior execution to:

    • Verify Default Behavior
    • Verify Nominal and Alternate Behaviors
    • Verify Exceptional Behaviors by injecting "faults"
    • Verify guard conditions for safety

    All of the stakeholders (including Human Factors and Safety) can then define and manage their own set of verification steps ensuring the executable behavior demonstrates correct responses from all perspectives.

    Hear From Top Industry Leaders

    Network and Interact with MBSE, PLM, PLE, Systems Engineering, and Enterprise Architecture Industry Experts All In One Place

    For questions, problems with registration, changes needed to an exisiting registration, please contact us below:

    No Magic, Inc : 700 Central Expressway South, Suite 110
    Allen, Texas 75013
    Phone: +1-214-291-9100 : Fax: +1-214-291-9099

    Copyright © No Magic, Inc. All Rights Reserved.