Testing tools · industrial & embedded
Testing tools · industrial & embedded

Testing tools for industrial and embedded software

Precilog distributes two testing tools for industrial and embedded software: TiCS for code quality, Testwell CTC++ for coverage up to MC/DC. Everything you need to meet ISO 26262, DO-178C, IEC 62304 or EN 50716 — and to check it on your own code, for free.

Since 2002quality specialist
MC/DCTÜV SÜD-certified coverage
8,000+TiCS reference projects
Two tools free trial
Code quality

TiCS

Your analyzers unified, a comparable score, quality gates in CI.

Discover  ·  Free proof of concept →

Test coverage

Testwell CTC++

C/C++ coverage up to MC/DC, on host and on target. TÜV SÜD certified.

Discover  ·  Free evaluation →

Precilog — Testing tools for industrial and embedded software
Your sector

For industrial and embedded software

When a software failure means a product recall, a line stoppage or a risk to people, proof of quality is not optional. Our tools equip the teams who carry that responsibility.

◆

Robotics & automation

Trajectory, collaborative safety, robustness of critical modules.

ISO 10218 · ISO/TS 15066 · ISO 13849
◆

Automotive & transport

Embedded controllers, functional safety, quality before release.

ISO 26262 · MISRA
◆

Medical

Connected devices, verified safety requirements, compliance.

IEC 62304
◆

Aerospace & defense

Critical software, safety requirements, mastering complexity.

DO-178C
◆

Rail & energy

Functional safety, SIL levels, criticality by scope.

EN 50128 · IEC 61508
◆

Agriculture & machinery

Autonomous vehicles, engine management, field reliability.

ISO 25119
Your standard

Your standard's requirements, tooled

Structural coverage, coding rules, evidence for the auditor: what each standard requires on the code side, and the tool that addresses it.

◆

ISO 26262

Coverage up to MC/DC (ASIL D) and MISRA / AUTOSAR rules.

Automotive
◆

DO-178C

Structural coverage by level, MC/DC at Level A.

Aerospace
◆

IEC 62304

Test coverage according to the software safety class.

Medical
◆

EN 50716

Structural coverage and static analysis according to the SIL.

Rail
◆

IEC 61508

Coverage and static verification according to the SIL.

Industrial & automation
◆

IEC 60880

High coverage requirements, up to MC/DC, with qualification kit.

Nuclear
◆

ISO 25119

Structural coverage required at SRL 2 and 3.

Agriculture
◆

IEC 62443

The role of static code analysis.

Industrial cybersecurity
◆

The full matrix

Which standard, which requirement, which tool.

Precilog

Your tools partner in France, since 2002

Precilog distributes TiCS (TIOBE) and Testwell CTC++ (Verifysoft), and supports its customers from evaluation to deployment: installation, CI integration, support.

2002Since

Software quality specialist.

2 vendorsDistributor

TIOBE (TiCS) and Verifysoft (Testwell CTC++).

8,000+Projects

The TiCS score reference base.

TÜV SÜDCertified

Testwell CTC++, for functional safety.

Our customer references →
Expert support

Not sure which tool you need yet?

In 30 minutes, free of charge, the Flash Diagnostic maps your software's quality risks and priority levers. Then you choose, with the facts in hand.

Discover the Flash Diagnostic →
Webinars

See the tools in action

No sessions are scheduled right now. New dates are added regularly.

All webinars →

Try it on your code, for free

A TiCS proof of concept or a Testwell CTC++ evaluation: free, on your own code, with full support.

Free trial →