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.
Codemark Labs develops and reviews automotive-grade embedded software: functional safety to ISO 26262 under ASPICE processes, cybersecurity to ISO 21434 with Cyber Resilience Act readiness, Infineon AURIX expertise and AI-assisted engineering workflows.
Specialist support for teams building embedded software that has to be safe, secure and auditable.
Embedded software developed in line with ISO 26262 and following Automotive SPICE processes, with traceable requirements, design, verification and the work products assessors expect.
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.
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.
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.
Makers of connected products sold in the UK and EU now face binding cybersecurity rules. For smaller manufacturers of e-bikes, e-scooters and light EVs, that means secure boot, signed updates and a documented approach to risk, alongside motor control that is safe by design.
Practical, engineering-led support grounded in automotive cybersecurity practice under ISO 21434.
We provide engineering support, not legal advice. Regulatory dates as published by the UK government and the European Commission.
Every engagement follows a disciplined V-model approach, so the evidence is ready when you need it.
Clear, testable software requirements traced back to system and safety goals.
Designs that address freedom from interference, timing and resource limits.
MISRA-compliant C, continuously checked by static analysis.
Unit, integration and on-target testing, with coverage and full traceability.
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.
AURIX safety libraries, TC4x bring-up, AI-assisted workflows.
BSW supplier management, integration, requirements and verification.
Ultra-low-power TPMS firmware on tightly constrained hardware.
Whether you need AURIX expertise, help with ISO 26262 and ASPICE, a TARA or CRA readiness review, a MISRA clean-up or a plan for bringing AI into your embedded workflow, let's talk.