ISO 25119:2018 is the international functional safety standard governing safety-related parts of control systems (SRP/CS) in agricultural and forestry machinery, including tractors, ride-on machines, and mobile municipal equipment. It is a sector-specific derivative of IEC 61508, defining development requirements based on Agricultural Performance Levels (AgPL) and Software Requirement Levels (SRL).
The ECLAIR Software Verification Platform provides extensive support for achieving compliance with ISO 25119 Part 3: Series development, hardware and software. It covers essential techniques and measures across SRL B, 1, 2, and 3, simplifying tool qualification and enabling cost-effective compliance.
ECLAIR directly supports many mandatory techniques and measures listed in ISO 25119:2018, including:
Requirements specification traceability (ECLAIR Requirements Management Tools)
Enforcement of software architectural constraints (ECLAIR Independence Checker)
Formal methods and structured design verification
Static code analysis, including control/data flow analysis and complexity metrics
Enforced use of safe programming subsets through coding standards
ECLAIR maps these capabilities directly to the standard’s tables, allowing confident use for any Software Requirement Level (SRL).
EXPLORE FULL TECHNICAL COVERAGE
ECLAIR provides support for the major coding standards recognized under ISO 25119:
MISRA C:2025, including prior versions
MISRA C++:2023 (backward-compatible with C++:2008)
BARR-C:2018, included in all ECLAIR packages and valuable for projects not yet under MISRA obligations
These standards enforce subsets of C/C++, restrict unsafe constructs, and mandate consistent styles: all essential for developing reliable software at SRL 2 and SRL 3.
ECLAIR includes:
Full HIS metrics suite, widely used in embedded systems
Extended metrics to assess complexity, testability, readability, and maintainability
Configurable thresholds for SRL-dependent metrics like component size, control complexity, and use of goto or recursion
goto
These metrics help teams manage technical debt and demonstrate software quality through quantifiable indicators.
ISO 25119 requires qualification of software development tools. ECLAIR is certified by TÜV SÜD as a Class T2 off-line support tool, and is:
Qualified for all SRL levels (B, 1, 2, 3)
Audited for development, verification, and release processes
Supported by ECLAIR Qualification Kits, ECLAIR Qualification Service, and the ECLAIR FuSa Pack, enabling tool confidence arguments with minimal overhead
DOWNLOAD TÜV SÜD CERTIFICATE
ECLAIR is flexible, configurable, and integrates into modern CI/CD workflows. It is engineered for:
Formal specification and verification of software architecture
Preventing configuration errors that could compromise verification results
Comprehensive validation via tens of thousands of test cases and industry-standard validation suites
Built on strong scientific foundations, ECLAIR enables reliable compliance with ISO 25119 and beyond.
VIEW RESOURCES
