This website uses cookies to make the offer more user-friendly and effective. Please agree to the use of cookies in order to be able to use all functions of the website.Further 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_BTC EmbeddedValidator

BTC EmbeddedValidator

LOGO_BTC EmbeddedValidator

BTC EmbeddedValidator

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.
Send
Your message has been sent.

You do not have a registration yet? Register now and use all advantages of the Exhibitor Database.

An error has occurred.

Formal Verification for safety-critical requirements

BTC EmbeddedValidator is a tool for the formal verification of safety-critical requirements. Formal verification is performed on production C-code and takes formalized requirements from BTC EmbeddedSpecifier as a starting point.

BTC EmbeddedValidator uses Model-Checking technology to automatically provide complete mathematical proof that shows a requirement cannot be violated by the analyzed system. This guarantees that there is no combination of input signals and calibration values that would drive the system to a state in which the requirement is violated.

In case a requirement can be violated, BTC EmbeddedValidator provides a counter example in the form of a test case. This generated test shows an example of how to drive the system into a state where the corresponding requirement is violated.

Features:

  • Complete mathematical analysis of production code, for finding possible requirement violation
  • Automatic generation of counter examples, if a requirement can be violated

BTC EmbeddedSpecifier

LOGO_BTC EmbeddedSpecifier

BTC EmbeddedTester

LOGO_BTC EmbeddedTester

BTC EmbeddedTester BASE

LOGO_BTC EmbeddedTester BASE

BTC Requirement Observers

LOGO_BTC Requirement Observers
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 to exhibitors or products saved – 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.