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