27 February - 1 March 2018 // Nuremberg, Germany

Posting print layout

What information should be shown in the print layout?

Create print layout
Exhibitors & Products embedded world 2017


1090 rue René Descartes

13100 Aix en Provence


Phone: +33(0)442904120

Fax: +33(0)442904129

Request contact / appointment Request contact / appointment

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

Would you like to use more facilities and advantages of the platform? Then please log in – or register here.

An error has occurred.


Products of Systerel (2)

Secure implementation of the OPC-UA protocol

LOGO_Secure implementation of the OPC-UA protocol

Systerel Smart Solver

LOGO_Systerel Smart Solver

Systerel Group has been creating, designing and implementing innovative solutions for over 15 years in the area of real time and safety critical systems.

Its subsidiary, Systerel, is specialized in critical software and RAMS (Reliability / Availability / Maintainability / Safety).

Its expertise is covering a wide range of skills:

  • Development, verification and validation or software assessment at all safety levels.
  • Building of a full safety case up to its approval by a certification authority.
  • Related activities: methodology, architectural study, tools, etc.

The source of its competitive differentiation lies in its ability to combine:

  • Key technological expertise (B method, SCADE, Model Checking, Simulink + Design Verifier, Ada, PikeOS)
  • Rigorous development processes that comply with standards (DO178B, CENELEC, CEI61508, MIL-STD, …)
  • RAMS techniques and methods specific to each industry.

The mastery of advanced technologies such as formal approaches, linked to a thorough industrial knowledge (signaling, avionics…), enables Systerel to supply highly innovative and competitive solutions for the benefit of its customers.

In particular, Systerel offers the following solutions:

  • Systerel Smart Solver: formal verification of systems or software developed in SCADE, C or Ada
  • Systerel IXL Builder: design of formally proven automata-based systems
  • Systerel Data Analyzer: analysis and diagnosis of communicating systems behavior
  • Ovado2: automatic formal validation of critical configuration data

Its ability to innovate with a commitment of results makes Systerel a strong partner of leading actors in the railway, aeronautics & space, defense, energy & industry sectors.

Systerel offers you products from these product groups:

embedded world


Clicking on an exhibitor opens his profile with more information.


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.