This website uses cookies to make the offer more user-friendly and effective. By using this website, you agree to the use of cookies.Additonal information

26 - 28 February 2019 // Nuremberg, Germany

Posting print layout

What information should be shown in the print layout?

Create print layout
Exhibitors & Products embedded world 2018
Zoom product LOGO_MC-Verifier

MC-Verifier

LOGO_MC-Verifier

MC-Verifier

Request information Request information

Contact us

Please enter your personal information and desired appointment. You can also leave us a message.

Your personal information

Your message for us

Desired appointment during the exhibition

* Compulsory fields you must fill in.

Information on data protection can be found here.

Send
Your message has been sent.

You do not have a registration yet? Register now and use all advantages of the Exhibitors and Products Database, the supporting programme and the TicketShop.

An error has occurred.

MC-Verifier is an integrated test tool for performing model-based development Back-to-Back testing. Debug and verify consistency between model, software, and target code implementation at a variety of development phases.

MC-Verifier can perform B2B testing with models (MIL), software (SIL), & target code (PIL). Evaluate B2B test results to detect and report error locations. Import test cases created from other MBD tools for B2B testing.

The output values of all model subsystem signals, and all code variables are recorded during testing. After testing, the model signal and code variable output values can be analyzed over time in order to locate errors.

The acceptable error range can be specified by percent. Subsystems that exceed the acceptable error range will be highlighted on the Simulink model in order to efficiently locate and correct errors. This feature for locating errors even works for models that include feedbacks.

Code debugging features included with the MPU simulator can be used to analyze errors for model-to-target-code tests. Set breakpoints in the code, verifying changes in variable values, register values, memory values, etc.

Code coverage (statement, Branch, MC/DC) can be measured for model-to-target-code tests. Detect code structure issues through code coverage testing and fulfill ISO 26262 code coverage requirements.

CoverageMaster winAMS

LOGO_CoverageMaster winAMS

Safilia

LOGO_Safilia
top

The selected entry has been placed in your favourites!

If you register you can save your favourites permanently and access all entries even when underway – via laptop or tablet.

You can register an account here to save your settings in the Exhibitors and Products Database and as well as in the Supporting Programme.The registration is not for the TicketShop and ExhibitorShop.

Register now

Your advantages at a glance:

  • Advantage Save your favourites permanently. Use the instant access – mobile too, anytime and anywhere – incl. memo function.
  • Advantage The optional newsletter gives you regular up-to-date information about new exhibitors and products – matched to your interests.
  • Advantage Call up your favourites mobile too! Simply log in and access them at anytime.