Matimar Ltd

Matimar – High Integrity Software

Functional safety

Matimar provides functional safety expertise for organisations developing software‑based control systems in automotive, industrial, nuclear, rail and other regulated sectors. Our work is rooted not only in long experience of applying IEC 61508 and its domain‑specific derivatives, but also in our long experience in the disciplined development of high‑integrity embedded software.

We support customers who need to meet demanding safety requirements, whether introducing functional safety for the first time, recovering legacy products, or developing new architectures intended for high‑integrity operation.

Matimar’s capability now includes mathematically rigorous analysis where this adds clarity or assurance — supporting engineers in understanding complex behaviours, validating architectural assumptions, and strengthening safety arguments in systems where conventional methods alone may not be sufficient.

Functional Safety Planning and Concepts

We assist in establishing the foundations of a safety‑related development effort:

  • Safety plans aligned with IEC 61508, ISO 26262, ISO 13849, IEC 62061, IEC 50128, or other standards.
  • Functional and technical safety concepts (FSC/TSC) and safety architectures for embedded systems.
  • Definition of safety requirements at system and software levels.
  • Development of safety test strategies and verification plans.

For higher levels of integrity, we can apply mathematically rigorous specification and modelling to strengthen safety requirements and concepts.

This work is informed by practical experience delivering safety planning and safety concepts for automotive steering systems, industrial motor drives, nuclear handling equipment and rail signaling systems.

Functional Safety Analysis

Matimar offers structured analysis throughout the lifecycle:

  • Hazard identification and risk analysis (HARA).
  • Failure Modes and Effects Analysis (FMEA) and Fault Tree Analysis (FTA).
  • Software safety analysis for embedded control systems.
  • Assessment of safety mechanisms, diagnostic coverage and architectural constraints.

We have applied these methods across multiple industries, including independent safety assessments in nuclear and rail environments.

For higher levels of integrity, we can apply mathematical analysis to clarify system interactions, identify non‑obvious failure propagation paths, and strengthen the argument for safety‑mechanism effectiveness.

Safety‑Related Software Development

For customers developing embedded software that must meet functional safety requirements, Matimar provides both leadership and hands‑on engineering:

  • Development of safety‑related embedded software in C, C++, MISRA C and SPARK Ada.
  • Design of time‑driven architectures, hardware abstraction layers, device drivers and bootloaders.
  • Model‑based development using UML, SysML, SCADE and Rhapsody.
  • Unit, integration and qualification testing using Cantata, Tessy, LDRA and custom harnesses.
  • Refactoring and recovery of legacy codebases to meet safety standards.

For software whose behaviour must be demonstrated with high confidence, we can apply formal specification and mathematical analysis to ensure that critical modules behave predictably under all operating conditions.

This capability is grounded in decades of experience developing and verifying software for motor drives, steering systems, aerospace controllers and other high‑integrity applications.

Process and Quality

Matimar helps organisations establish or improve the processes required for safety‑related development:

  • Creation of development processes compliant with IEC 61508, ISO 26262, ISO 13849 and Automotive SPICE.
  • Definition of requirements management, configuration management and verification workflows.
  • Preparation for independent assessment and support during audits.
  • Competency management and safety‑related organisational processes.

Our consultants have built complete safety‑product development processes from first principles for companies entering the functional safety domain.

We can also help organisations introduce lightweight mathematical specification and analysis practices into their development processes.

Independent Assessment and Support

For organisations seeking external assurance:

  • Independent review of safety work‑products.
  • Assessment of software and system designs against relevant standards.
  • Support during engagement with external assessors.
  • Technical review of safety cases and supporting evidence.

These services are based on our past work performing independent assessments of nuclear variable‑speed drives, rail signalling systems and medical equipment.

When reviewing safety cases or design evidence, we can apply mathematical analysis to validate key assumptions, highlight hidden dependencies, and strengthen argumentation where systems exhibit complex or non‑linear behaviour.

Cybersecurity for Safety‑Related Systems

Where safety and cybersecurity intersect, Matimar can provide:

  • Threat and Risk Analysis (TARA) according to ISO 21434.
  • Integration of cybersecurity requirements into safety‑related architectures.
  • Review and refactoring of communication stacks (e.g., UDS, CANopen) to introduce secure layers.

Where cryptographic algorithms or protocols affect safety, we can analyse algorithmic structure and message‑flow properties mathematically to identify subtle weaknesses, timing‑related hazards or assurance gaps that conventional testing may miss.

Industries Served

Matimar’s functional safety experience spans:

  • Automotive (ISO 26262)
  • Industrial automation and machinery (IEC 61508, ISO 13849, IEC 62061)
  • Nuclear (IEC 61508)
  • Rail (IEC 50128)
  • Aerospace and defence
  • Medical devices