• Ansys SCADE Suite

  Ansys · Commercial · Safety engineering

  Model-based development environment for critical embedded software. KCG C/Ada code generator is qualified as a development tool for DO-178B up to Level A and DO-178C/DO-330 at TQL-1. Avionics and Flight Controls named. Not a neural-network verifier.

  • Aerospace & aviation
  • Other safety-critical
  • Automotive
  • Industrial machinery and robotics
  • DO-178C / DO-330
  • DO-330
  • ISO 26262
  • IEC 61508

• Astrée

  AbsInt · Commercial · Safety engineering

  Sound static analyzer for safety-critical C and C++. Names hazard identification against ISO 26262, DO-178C, IEC-61508 and EN-50128, plus Qualification Support Kits for those standards. Bosch Automotive Steering and Airbus are named users. Not a neural-network verifier.

  • Automotive
  • Industrial machinery and robotics
  • Aerospace & aviation
  • Other safety-critical
  • ISO 26262
  • IEC 61508
  • DO-178C / DO-330

• BTC TestStack

  BTC Embedded Systems · Commercial · Safety engineering

  Testing stack (successor to BTC EmbeddedPlatform / EmbeddedTester) for model-based, hand-written and AI-generated code. TÜV Süd certificate names ISO 26262 (automotive), IEC 61508-3 (industrial) and IEC 62304 (medical). ISO 26262 TCL including ASIL D.

  • Automotive
  • Medical devices
  • Industrial machinery and robotics
  • Other safety-critical
  • ISO 26262
  • IEC 61508
  • IEC 62304

• CODESYS Virtual Safe Control SL

  CODESYS · Commercial · Safety-critical AI platform

  Virtual safety controller in a Linux container. Official page: certified according to IEC 61508 for SIL 3 applications, without IEC 61508 hardware certification of the host. TÜV SÜD. Diversified Encoding dual-channel. Not a trained-model SIL.

  • Industrial machinery and robotics
  • Other safety-critical
  • IEC 61508

• IEC Certification Kit (for ISO 26262 and IEC 61508)

  MathWorks · Commercial · Safety engineering

  MathWorks kit of TÜV SÜD certificates and qualification work products for ISO 26262 (ASIL A–D), IEC 61508 (SIL 1–4) and IEC 62304. Supported-products table names IEC 61511:2016 for PLC Coder. ISO 26262 guidance covers AI-assisted model editing, review and test generation.

  • Automotive
  • Medical devices
  • Industrial machinery and robotics
  • Process industries
  • Other safety-critical
  • ISO 26262
  • IEC 61508
  • IEC 62304
  • IEC 61511

• INTEGRITY RTOS

  Green Hills Software · Commercial · Safety-critical AI platform

  Separation-kernel RTOS with integrated platforms for automotive, industrial safety, medical devices and avionics. Certifications named: ISO 26262 ASIL D, IEC 61508 SIL 3, FDA Class II and Class III medical device approval, and DO-178B/C DAL A for INTEGRITY-178. Not an AI model verifier.

  • Automotive
  • Medical devices
  • Industrial machinery and robotics
  • Aerospace & aviation
  • Other safety-critical
  • ISO 26262
  • IEC 61508
  • DO-178C / DO-330

• KUKA iiQKA.OS2

  KUKA · Commercial · Safety-critical AI platform

  Operating system and virtual robot controller for KUKA industrial robots. Official page: AI-capable, ready for ISO 10218:2025 and new machinery regulations; compliant with the machinery regulations (MACH REG). LINUX-based. Not a trained-model SIL.

  • Industrial machinery and robotics
  • Other safety-critical
  • ISO 10218
  • Machinery Regulation 2023/1230

• LDRA (AI and machine learning capability)

  LDRA · Commercial · Safety engineering

  LDRA AI/ML capability page covering test generation, change-impact analysis and AI/ML in safety-critical sectors. The aviation section names EASA guidance for Level 1 and 2 machine-learning applications. Not a neural-network verifier.

  • Aerospace & aviation
  • Other safety-critical
  • Automotive
  • Medical devices
  • Industrial machinery and robotics
  • EASA AI Concept Paper

• Parasoft C/C++test

  Parasoft · Commercial · Safety engineering

  Unified C/C++ static analysis, unit testing, MC/DC coverage and requirements traceability. TÜV SÜD–certified C/C++test names automotive (ISO 26262), medical (IEC 62304), industrial (IEC 61508) and aerospace/defense (DO-178C DAL A). Badges also list ISO/PAS 8800.

  • Automotive
  • Medical devices
  • Industrial machinery and robotics
  • Aerospace & aviation
  • Defense & national security
  • Other safety-critical
  • ISO 26262
  • ISO/PAS 8800
  • IEC 62304
  • IEC 61508
  • DO-178C / DO-330

• Perforce QAC

  Perforce · Commercial · Safety engineering

  Static analyzer for C, C++ and Rust (formerly Helix QAC). TÜV SÜD certified for ISO 26262 (automotive) up to ASIL D, IEC 61508 (general industry) up to SIL 4, and IEC 62304 (medical devices) up to Software Safety Class C. Also names a DO-330 pack for DO-178C. Not a neural-network verifier.

  • Automotive
  • Medical devices
  • Industrial machinery and robotics
  • Aerospace & aviation
  • Defense & national security
  • Other safety-critical
  • ISO 26262
  • IEC 61508
  • IEC 62304
  • DO-178C / DO-330
  • DO-330

• QNX OS for Safety

  QNX (BlackBerry) · Commercial · Safety-critical AI platform

  Safety-certified microkernel RTOS (QOS 8.0) certified by TÜV Rheinland to ISO 26262 ASIL D, IEC 61508 SIL 3, IEC 62304 Class C and ISO/SAE 21434. C/C++ toolchains classified TCL3/T3. FAQ names car, surgical robot, drone, power plant, machinery and control systems. Not an airborne runtime.

  • Automotive
  • Medical devices
  • Industrial machinery and robotics
  • Other safety-critical
  • ISO 26262
  • IEC 61508
  • IEC 62304

• Stages Process Management Software

  UL Solutions · Commercial · Compliance automation

  Process-management software with bidirectional traceability between process models and standard objectives. Official table names ISO 26262, ISO/PAS 8800 and UL 4600 under Automotive; IEC 62304 under Medical devices; IEC 61508 and IEC 61511-1 under Industrial.

  • Automotive
  • Medical devices
  • Industrial machinery and robotics
  • Process industries
  • Aerospace & aviation
  • Defense & national security
  • Other safety-critical
  • ISO 26262
  • ISO/PAS 8800
  • UL 4600
  • IEC 62304
  • IEC 61508
  • IEC 61511

• TESSY

  Razorcat Development GmbH · Commercial · Safety engineering

  Automated unit, module and integration testing of embedded C/C++. Official page: qualified for IEC 61508, IEC 62304, ISO 26262 and EN 50128. Call Pair Coverage is named as an ISO 26262 alternative for integration tests. TÜV SÜD certificate names ISO 26262-8:2018.

  • Automotive
  • Medical devices
  • Industrial machinery and robotics
  • Other safety-critical
  • ISO 26262
  • IEC 61508
  • IEC 62304

• Universal Robots PolyScope

  Universal Robots · Commercial · Safety-critical AI platform

  Software platform for Universal Robots cobots, from simple cells to AI-ready systems. Safety FAQ: PolyScope 5 and PolyScope X certified to EN ISO 10218-1:2011; targeting ISO 10218-1:2025 by January 2027 aligned with EU Machinery Regulation 2023/1230.

  • Industrial machinery and robotics
  • Other safety-critical
  • ISO 10218
  • Machinery Regulation 2023/1230

• VectorCAST

  Vector · Commercial · Safety engineering

  Embedded unit, integration and coverage test automation for C, C++ and Ada. Used in aerospace, automotive, medical device, industrial and railway programs. Tool validation packages for IEC 61508, ISO 26262 and IEC 62304 include TÜV SÜD certificates. Reqs2x AI tests require engineer review.

  • Automotive
  • Medical devices
  • Industrial machinery and robotics
  • Aerospace & aviation
  • Other safety-critical
  • ISO 26262
  • IEC 62304
  • IEC 61508
  • DO-178C / DO-330

← All tools

Questions

Why are only these tools tagged Industrial machinery and robotics?

Industry tags come from the cited public pages, not from our judgment. If a vendor page does not name this industry, the listing does not get the tag.

Where is the cited industry overview?

The Industrial machinery and robotics overview cites official sources and links frameworks and articles for this industry.