Safety-critical software development
Embedded software developed in line with ISO 26262 and following Automotive SPICE processes, with traceable requirements, design, verification and the work products assessors expect.
Embedded software consultancy · UK
Safety-critical embedded software, done right.
Codemark Labs develops and reviews automotive-grade embedded software, from ISO 26262 development under ASPICE processes to Infineon AURIX expertise and AI-assisted engineering workflows.
ISO 26262Automotive SPICEIEC 61508ISO 21434MISRA CAURIX TC2x · TC3x · TC4x
What we do
Engineering where quality isn't optional
Specialist support for teams building embedded software that has to be safe, secure and auditable.
Infineon AURIX expertise
Hands-on experts across TC2x, TC3x and TC4x: bare-metal drivers, peripheral bring-up, safety mechanisms, self-test libraries and BSW integration, from first silicon to production.
AI in embedded workflows
Practical consultancy on bringing AI coding agents into embedded teams: driver boilerplate, test automation and static-analysis triage, with review, verification and safety-process guardrails built in.
Software quality & MISRA
MISRA compliance, static analysis and code reviews that hold up to audit, whether you need to clean up a legacy codebase or set up a quality process that keeps new code clean.
How we work
Process-driven, from requirement to target
Every engagement follows a disciplined V-model approach, so the evidence is ready when you need it.
Requirements
Clear, testable software requirements traced back to system and safety goals.
Architecture & design
Designs that address freedom from interference, timing and resource limits.
Implementation
MISRA-compliant C, continuously checked by static analysis.
Verification
Unit, integration and on-target testing, with coverage and full traceability.
About
Built on a decade of automotive engineering
Codemark Labs was founded by Horia Opris, a senior embedded software engineer with over 10 years of experience in automotive software, functional safety and cybersecurity, specialising in Infineon AURIX microcontrollers.
Horia has delivered safety-qualified libraries, low-level drivers and BSW integration under ISO 26262, IEC 61508 and ISO 21434. Highlights include designing and implementing a widely adopted self-test library for AURIX TC3x used in production automotive systems, and leading end-to-end software for an AURIX TC4x aerospace prototype, bringing up every major peripheral from PCIe and Gigabit Ethernet to CAN XL.
Horia was also an early adopter of AI coding agents in embedded development, using them to speed up peripheral bring-up, test automation and MISRA triage while keeping every change reviewed, statically analysed and verified on target.
2021 – present
Embedded engineering consultancy
AURIX safety libraries, TC4x bring-up, AI-assisted workflows.
2018 – 2021
Vehicle manufacturer (OEM)
BSW supplier management, integration, requirements and verification.
2016 – 2018
Tier 1 automotive supplier
Ultra-low-power TPMS firmware on tightly constrained hardware.
Get in touch
Have a project in mind?
Whether you need AURIX expertise, help with ISO 26262 and ASPICE, a MISRA clean-up or a plan for bringing AI into your embedded workflow, let's talk.