Model-Based Design & Test

Competition in the market place and the pressure to decrease product development time has companies continuously looking for ways to improve their product development process. In recent years, model-based design practices have increasingly garnered interest, in particular because these practices come with the promise to provide a methodical, reusable, and cost effective product development solution.

Model-Based Design

SimuQuest provides a variety of MBD services for clients, such as:

  • Simulink/Stateflow modeling to MAAB or customer styleguides
  • Model coverage
  • Automatic code generation (E-coder, TargetLink)
  • Modular/reusable model architecture design (may include integration with UniPhi data dictionary tool)
  • Fixed-point design
  • Integration of legacy code

Model-Based Test

Each client's MBD process requires some sort of model testing solution.  Without an efficient solution, testing of models can be a time consuming and expensive process. 

SimuQuest provides custom GUI based solutions for the automatic validation of Simulink/Stateflow models, enabling the Model-Based Developer to focus on development of the application and functional tests, without having to also develop a testing platform, and manage the logging of test results and execution of regression testing

Custom solutions from SimuQuest typically include some or all of the following:

  • User friendly and intuitive GUI
  • Automatic test harness creation for the model under test
  • Regression testing based on selection of all or any subset of tests
  • Tolerance configuration (may include blocks from Mathworks V&V blockset)
  • Plotting of failed tests (expected versus actual outputs)
  • Traceability between tests and requirements
  • Signal builder test generation
  • Integration with UniPhi signal and parameter data dictionary
  • Automatic report generation
  • Model coverage (integration with Mathworks model coverage tool)

SimuQuest also provides a variety of other services for model-based testing:

  • Test client's models for them and provide test reports
  • Generate test vectors for clients based on requirements and/or test descriptions