Matimar provides software‑engineering expertise for organisations developing embedded software for safety‑related systems and other applications requiring high integrity, such as motor control. Our work is based on decades of hands‑on development across automotive, industrial, nuclear, rail, aerospace and defence applications, combined with experience leading engineering teams and recovering complex legacy products. Our embedded software development benefits from our long experience not only as developers, but also as functional safety specialists.

We support customers who require disciplined, high‑integrity software development, whether for new designs, incremental improvements, or the stabilisation and restructuring of existing systems.

For software development challenges that can benefit from more rigourous analysis. Matimar can apply mathematical reasoning to clarify complex behaviours, support design decisions, and assist engineers in resolving unusual or difficult technical problems.

Embedded Software Engineering

Matimar has extensive experience in the development of embedded software for microcontroller‑based systems:

• “Bare‑metal” programming of ARM and Tricore microcontrollers.
• Development of hardware abstraction layers, device drivers and bootloaders.
• Time‑triggered architecture and hard real‑time control software.
• Communication interfaces including CAN, CANopen, UDS, SPI, I²C, GPIO and ADC.
• Motor‑control software for industrial and automotive applications.

Matimar can handle both new development and the careful refactoring of legacy codebases to improve reliability, maintainability and performance.

We can apply mathematical methods to help ensure that refactored or newly developed modules behave predictably under all operating conditions.

Model‑Based and Structured Design

We apply structured design methods to support clarity and maintainability:

• UML and SysML modelling (Block, Sequence, State and Activity diagrams).
• Model‑based development using SCADE and IBM Rhapsody.
• Requirements capture and traceability using DOORS, Jama and Cradle.
• Architectural modelling for complex control systems.

These methods are used pragmatically, supporting both new designs and the re‑engineering of existing systems where documentation is incomplete or outdated.

We can also apply mathematical techniques to strengthen architectural models, identify hidden interactions, and provide clearer justification for design decisions in complex control systems.

Embedded software testing and verification

Matimar provides comprehensive testing and verification support:

• Unit testing using Cantata, Tessy, LDRA and custom harnesses (case study).
• Integration and qualification testing for embedded systems.
• Automated test execution using Jenkins and continuous‑integration workflows.
• Static analysis using tools such as Polyspace and MISRA compliance checking.

We have extensive experience developing test strategies for systems requiring high reliability and long operational lifetimes.

In addition to conventional testing, we can apply mathematical analysis to clarify expected behaviours, strengthen test coverage for edge‑case conditions, and support verification activities where correctness must be demonstrated rigorously.