IEC 61508 is the foundational international standard for functional safety. It covers the entire lifecycle of safety-related systems that include electrical, electronic, or programmable electronic elements. From risk assessment and requirements specification to software development and verification, IEC 61508 sets the framework for assuring safety through defined Safety Integrity Levels (SIL 1–4).
ISO 19014 extends this framework to the earth-moving machinery sector, introducing the concept of Machine Performance Levels (MPL a–e) and defining software development requirements accordingly. Its Part 4 addresses the design and evaluation of software and data transmission for safety-related parts of control systems.
The ECLAIR Software Verification Platform provides comprehensive support for achieving compliance with IEC 61508:2010, particularly Part 3 (Software Requirements), and ISO 19014:2020 Part 4. With its advanced static analysis engine, traceability tools, coding standard enforcement, and qualification kits, ECLAIR helps teams meet the rigorous demands of functional safety.
ECLAIR offers direct support for many of the techniques and measures listed in IEC 61508:2010 Part 3 Annex A and ISO 19014:2020 Part 4, adapting automatically to the targeted SIL or MPL. It provides:
Forward and backward requirements traceability (ECLAIR Requirements Management Tools)
Formal enforcement of software architectural constraints (ECLAIR Independence Checker)
Static enforcement of coding guidelines (e.g., MISRA C:2025, MISRA C++:2023, BARR-C:2018)
Source code metrics for complexity, maintainability, and testability
Control and data flow analysis, run-time error detection, and more
ECLAIR COVERAGE FOR IEC 61508
ECLAIR COVERAGE FOR ISO 19014
ECLAIR supports a wide range of recognized coding standards to reduce the likelihood of software errors:
MISRA C:2025: The latest and most rigorous version, fully supported by ECLAIR
MISRA C++:2023: Modern safety-oriented C++ subset, backward-compatible with MISRA C++:2008
BARR-C:2018: A lightweight, practical alternative for early-phase projects or projects not yet bound to MISRA
Both IEC 61508 and ISO 19014 require strict independence between safety functions. ECLAIR Independence Checker enforces these architectural boundaries through formal specifications, enabling teams to:
Prove architectural layering and encapsulation
Prevent unsafe cross-component dependencies
Justify SIL or MPL separation during certification
ECLAIR is certified by TÜV SÜD as a Class T2 off-line support tool compliant with:
IEC 61508 up to SIL 4
ISO 19014 up to MPL e
Other standards including ISO 26262, EN 50128, IEC 62304, and ISO 25119
VIEW TÜV SÜD CERTIFICATE
ECLAIR is highly configurable and integrates seamlessly with modern development workflows. Its foundations lie in solid scientific research and it undergoes extensive validation using industrial and proprietary test suites.
ECLAIR has been successfully adopted in safety- and security-related projects across a wide range of industries, including automotive, railways, energy, medical, aerospace, industrial automation, and earth-moving machinery.
Whether you are targeting a specific SIL or MPL, or laying the groundwork for future certification, ECLAIR delivers the automation, precision, and reliability required for safety-critical software development.
VIEW RESOURCES
