Model Examiner (MXAM DRIVE)

Model Examiner (MXAM DRIVE)® provides a fast and reliable method to verify a model’s compliance with guidelines for Simulink®/Stateflow and TargetLink. The guidelines can be anything from established well known standards to specific standards implemented by the users’ company. There is also a well-documented and open API for implementing custom standards.

Model Examiner analyses the critical safety attributes, such as data types, scaling, limitations and compatility with the interface, through powerful data flow- and control flow analysis. If a deviation from the guidelines is found, Model Examiner can propose a suggestion on how the model should be changed to fulfill the guidelines.

Model Examiner can investigate compliance with criteria and standards according to ISO 26262 and MISRA® on model level.

 

Ask a question Read more at MES

Related products: Model Examiner (MXAM DRIVE)

  • TargetLink

    TargetLink is a software which generates production code (C-code) directly from the graphical environment in MATLAB®/Simulink®/Stateflow. This is a valuable and useful tool within model based development since the models can be tested and verified early in development. The code… Read more

    Ask a question Read more
  • BTC EmbeddedTester

    BTC EmbeddedTester® is a tool for fully automated, ISO-26262 compliant back-to-back testing between Simulink®/TargetLink®-models and it’s respective production code. BTC EmbeddedTester® is based on model checking technology. That technology guarantees that the least amount of necessary tests that cover the… Read more

    Ask a question Read more
  • TargetLink
  • BTC EmbeddedTester

Ask a product question about:

Your Subject

Your Message

Your Name

Your Email (*)

Menu