UK · Defence · Nuclear
Embedded software you can prove.
Expert high integrity embedded software consultancy — engineering safety-critical systems to IEC 61508 and DO-178C for the UK's most demanding programmes.
Services
Rigour at every stage of the lifecycle.
Embedded Software Development
Deterministic, defensively written C and C++ for STM32 and other Arm Cortex-M targets — from bare metal and RTOS through to drivers and bootloaders.
Model Based Design
Architecture and code generation with IBM Rhapsody and Ansys SCADE — models, generated code and traceability held together from requirement to object code.
Verification & Validation
Requirements-based testing and structural coverage with Vector CAST and LDRA, static analysis, MISRA compliance and independent V&V.
Safety & Certification
Lifecycle planning and evidence for IEC 61508 (SIL 1–4) and DO-178C (DAL A–E), aligned with Def Stan 00-55 and nuclear regulator expectations.
Sectors
Where failure is not an option.
Defence
Mission and safety-critical systems for land, air and maritime platforms, delivered with security-conscious engineering practice.
Nuclear
C&I and protection system software where demonstrable integrity, independence and justification are non-negotiable.
Approach
Evidence first, code second.
We build the safety argument alongside the software — so certification is a by-product of good engineering, not an afterthought.
- 01
Plan
Lifecycle, standards mapping and tool qualification strategy.
- 02
Specify
Traceable, verifiable requirements and architecture in IBM DOORS.
- 03
Implement
Model based and hand-written code to strict coding standards.
- 04
Verify
Testing and coverage with Vector CAST and LDRA, with full audit trail.
Have a high integrity challenge?
Whether you need a specialist to bolster your team or end-to-end delivery, let's talk.
contact@jmac-technologies.co.uk