Applies to: E/E/PE safety-related systems (generic)
IEC 61508 is the parent functional-safety standard. Most robotics teams ultimately verify against a domain-specific child (ISO 26262 for automotive, ISO 13849 / IEC 62061 for machinery), but the verification arguments trace back to IEC 61508 at the bottom. Knowing it pays off when justifying decisions to certification bodies.
Audit-readiness, not certified. Roboticks is not itself a certified verification tool. Conformity assessment is the manufacturer's responsibility (with notified-body involvement where required). We assemble the verification evidence your assessor reads.
Required SIL is determined from a hazard analysis: probability of dangerous failure per hour (PFH) or per demand (PFD). SIL-3 systems require <1e-7 PFH; SIL-4 requires <1e-8 PFH. Architecture, hardware-fault tolerance, and software-development rigor scale with SIL.
The standard mandates a V-model: requirements → design → code → unit test → integration test → system test, with each right-side activity verifying its left-side counterpart. Roboticks supports the bottom of the V: unit / integration / system tests linked to the requirements they confirm.
Ingest requirements (often domain-specific child standards via ReqIF). Link tests via @confirms. Evidence pack at release time bundles the requirement set, test results, JUnit + SARIF + SBOM artifacts, and an immutable snapshot. Where the certification body or notified body wants to see structural code coverage, ingest the coverage tool's output as SARIF or attach raw coverage.xml.
These are example requirements you could derive from IEC 61508 and link to verifying tests via the @confirms decorator. Not exhaustive and not a substitute for a domain-expert risk assessment.
IEC61508-7.4.5.3Diagnostic coverage must be achieved at an interval shorter than the system's process safety time. Verifiable via test that measures actual diagnostic-test cycle latency.
IEC61508-7.6.2Modifications to safety-related systems must follow the same lifecycle as the original development. Verifiable via process audit and re-verification evidence pack per release.
Ingest IEC 61508 as a ReqIF export from your requirements tool, or as a PDF for the LLM extractor. Link tests via @confirms. Watch the matrix turn green as PRs land.