Tel. +31­ 345 545535
Coming soon...
Who we work with
What's going on
Something to read
Who we are
Where we are
U bevind zich op de volgende pagina: Products > Safety Critical & Certified Systems English | French

Safety Critical & Certified Systems

Based on many years experience we offer expertise, tools and services for safety critical Systems specification, Design, development, test and certification.

Safety Standards
Standards can be divided in Programming (coding) Standards and Process / Safety Standards as have been defined for certain industies. Here you will find information about these standards as well as tools we have to verify, test and certify accoording to these standards. ...
Safety Certified Compilers
We offer a Software platform and middleware that has proven itself very succesfull for the development and certification of Embedded Systems. This platform includes a Safety Certified RTOS and Memory Protection unit. Note that most offerings in the market are in contrast to this either PRE_certified or even just Quaified. In both cases a lot of work still needs to be done by the application develo ...
Formal Verification
Being an industrial safety standard itself IEC-61508 is the basis for many safety standards that are used for a wide range of markets. Other standard like ISO26262, IEC60234 are direct derivatives of IEC-61508.  We offer a very complete set of tools and support to assist our customers in adapting these standard, for the initial exploration of the standard to SIL-3 certified Cross compilers, d ...


INDES-IDS BV biedt oplossingen voor zowel embedded software-ontwikkeling als voor telecommunicatie-NEMS en -aanbieders. In deze markten bieden wij producten van ofwel de marktleider ofwel de innovatieleider. Ons doel is om u te assisteren om eerder de markt op te kunnen doordat wij u een combinatie van producten, kennis en diensten bieden.