Perseus Brings Its Flagship PEGASUS Automotive Hypervisor to Infineon AURIX™ TC4Dx Platform

SEOUL, South Korea, March 11, 2026 /PRNewswire/ -- Perseus (www.cyberperseus.com) has released its flagship automotive hypervisor, PEGASUS, for Infineon Technologies' AURIX™ TC4Dx System-on-Chip (SoC) evaluation platform, giving OEMs and Tier 1s a production-oriented path to develop and test virtualized, mixed-criticality systems for next-generation Software-Defined Vehicles (SDVs). The ISO 26262 ASIL-D–certified Type‑1 (bare‑metal) hypervisor is now available on TC4Dx evaluation hardware, with tooling and documentation accessible through Infineon's ecosystem channels.

This release marks the completion of an integration and enablement program in which Perseus adapted PEGASUS to the TC4Dx evaluation board, delivering an engineer-ready evaluation stack that tightly couples TC4Dx hardware features with system-level virtualization requirements. The combined solution is designed to support SDV, zonal, and safety-critical automotive architectures, enabling developers to prototype and advance consolidated, safety-compliant E/E platforms on production-grade technology.

What's available now

Engineers working with Infineon AURIX™ TC4Dx evaluation hardware can now access a complete virtualization stack designed for real-system evaluation and integration:

PEGASUS Automotive Hypervisor

• Perseus' flagship system software product
• Type-1 (bare-metal) hypervisor
• ISO 26262 ASIL-D certified for CPU and MCU architectures
• Enables strict isolation and deterministic scheduling of mixed-criticality workloads

PEGASUS Software Development Kit (Workbench)

• System-level configuration and build environment
• Definition of VM (virtual machine) layouts and resource allocation (CPU, memory, devices)
• Design-time validation and repeatable image generation

Documentation and References

• Platform descriptions, integration guidance, and partner information
  Published via Infineon's IFX ecosystem and partner database

PEGASUS' availability on Infineon AURIX™ TC4Dx Evaluation Hardware supports real system evaluation and integration work, rather than proof-of-concept experimentation.

Technical context

As Software-Defined Vehicle (SDV) architectures mature, OEMs are under pressure to consolidate functionality not only on application-class SoCs but also within real-time and safety-critical MCU domains. Infineon's AURIX™ TC4Dx family—engineered for deterministic execution and ASIL-D safety—offers a hardware base for this consolidation. PEGASUS addresses the system-software layer required to safely consolidate workloads on such platforms, enforcing isolation, resource control, and predictable behavior below the operating system layer.

"PEGASUS is Perseus' flagship automotive hypervisor, designed to operate at the system layer where safety, determinism, and isolation are defined," said Sang-bum Suh, PhD, Perseus Founder. "By enabling PEGASUS on Infineon's TC4Dx evaluation hardware and making the tooling and documentation publicly available, we're giving engineering teams a practical way to evaluate MCU-level virtualization for production-oriented SDV architectures."

"Infineon's AURIX™ TC4Dx microcontrollers are designed to support advanced automotive architectures requiring strong safety and real-time characteristics," said Thomas Schneid, Head of Software, Partnership & Ecosystem Management at Infineon Technologies. "The availability of PEGASUS through our ecosystem provides customers with an additional option to evaluate hypervisor-based virtualization on TC4Dx as part of their system architecture and platform assessments."

About Perseus

Perseus is an automotive system software company specializing in foundational system software for Software-Defined Vehicles (SDVs). Perseus' portfolio includes PEGASUS, an ISO 26262 ASIL-D–certified Type-1 automotive hypervisor for CPU and MCU architectures, along with complementary tooling and system software designed to enable safe, deterministic consolidation of mixed-criticality workloads. Perseus works with automotive OEMs, Tier-1 and Tier-2 suppliers, and semiconductor partners to support production-oriented SDV platforms.

** This press release is distributed by PR Newswire through automated distribution system, for which the client assumes full responsibility. **

Perseus Brings Its Flagship PEGASUS Automotive Hypervisor to Infineon AURIX™ TC4Dx Platform

LONDON, March 12, 2026 /PRNewswire/ -- Markel International, a division of Markel Insurance, the insurance operations within Markel Group Inc. (NYSE:MKL), today announced the appointment of Maureen Tomlinson to Head of AI, alongside the launch of their AI Centre of Enablement. This strategic hire marks a significant milestone in Markel's continued investment in operational excellence and signals the beginning of its first formalised AI function.

The AI Centre of Enablement (CoE) has been established with the aim of accelerating responsible AI adoption across Markel International's five businesses, acting as both a strategic partner and a technical delivery powerhouse. This function will sit within the International Portfolio Analytics team, headed up by Managing Director, Simon Cooper-Williams. Through AI business partnering, it will provide education, advisory support, coordination and strong governance, alongside AI engineering, delivering high-quality AI builds that address real business needs.

Maureen Tomlinson steps into the Head of AI role alongside her position as Senior Vice President of Operations for Markel in Canada. She will shape the division's approach to AI, support senior leaders in identifying strategic opportunities and drive the successful delivery and adoption of AI solutions.

Based in Toronto, Tomlinson will work closely with others in the International Portfolio Analytics team, as well as IT and Change Delivery, to advance Markel International's operational capabilities and digital evolution and deliver tools that improve the broker and client experience.

Carys Lawton-Bryce, Chief Operations Officer, Markel International, commented: "At Markel, we see AI as a step‑change technology with the potential to support our ambitious profitable growth targets. We also recognise that this potential is only realised when AI is governed well, understood across the business and deployed responsibly. Our newly-launched Centre of Enablement will be central to how we leverage AI in a way that makes adoption safe, scalable and business-led, while ensuring responsible governance that stays ahead of regulatory expectations."

Simon Cooper-Williams, Managing Director of Markel's International Portfolio Analytics team, commented: "As an organisation, we've made significant progress with the adoption of AI. The new AI Centre of Enablement is a huge step in strengthening our operational foundations and continuing on our path of success. I'm delighted to have Maureen at the helm of this team as Head of AI, with her leadership and extensive knowledge of the business, having served as Senior Vice President, Operations in Canada since 2023. Operating from Toronto, Maureen's appointment will also strengthen collaboration between all five international businesses as we look to bring greater consistency and clarity to how AI is developed and deployed, empowering teams with the tools and knowledge to deliver stronger outcomes."

Tomlinson steps into the Head of AI role with extensive operations, technology and change experience, having served as Senior Vice President, Operations, for Markel Canada since 2023, in which she is responsible for the business technology strategy, as well as the execution of all technology tools, data, pricing, support processes and facilities required to deliver policy and claims services. Tomlinson joined Markel after 11 years at Verisk, formerly Opta Information Intelligence, where she held the position of Senior Vice President, Sales & Professional Services from 2017, in which she was responsible for leading the sales & professional services delivery team, providing highly technical analytics solutions for actuarial and underwriting departments across Canada. Prior senior roles include Vice President, Analytics and R&D; and Vice President, Production Solutions and Operations at Verisk; as well as Director, Personal Lines Systems; and Director of Business Services and Architecture for Economical Insurance Group.

About Markel Insurance
We are Markel Insurance, a leading global specialty insurer with a truly people-first approach. As the insurance operations within the Markel Group Inc. (NYSE: MKL), we leverage a broad array of capabilities and expertise to create intelligent solutions for the most complex specialty insurance needs. However, it is our people – and the deep, valued relationships they develop with colleagues, brokers and clients – that differentiates us worldwide.

LONDON, March 12, 2026 /PRNewswire/ -- Markel International, a division of Markel Insurance, the insurance operations within Markel Group Inc. (NYSE:MKL), today announced the appointment of Maureen Tomlinson to Head of AI, alongside the launch of their AI Centre of Enablement. This strategic hire marks a significant milestone in Markel's continued investment in operational excellence and signals the beginning of its first formalised AI function.

The AI Centre of Enablement (CoE) has been established with the aim of accelerating responsible AI adoption across Markel International's five businesses, acting as both a strategic partner and a technical delivery powerhouse. This function will sit within the International Portfolio Analytics team, headed up by Managing Director, Simon Cooper-Williams. Through AI business partnering, it will provide education, advisory support, coordination and strong governance, alongside AI engineering, delivering high-quality AI builds that address real business needs.

Maureen Tomlinson steps into the Head of AI role alongside her position as Senior Vice President of Operations for Markel in Canada. She will shape the division's approach to AI, support senior leaders in identifying strategic opportunities and drive the successful delivery and adoption of AI solutions.

Based in Toronto, Tomlinson will work closely with others in the International Portfolio Analytics team, as well as IT and Change Delivery, to advance Markel International's operational capabilities and digital evolution and deliver tools that improve the broker and client experience.

Carys Lawton-Bryce, Chief Operations Officer, Markel International, commented: "At Markel, we see AI as a step‑change technology with the potential to support our ambitious profitable growth targets. We also recognise that this potential is only realised when AI is governed well, understood across the business and deployed responsibly. Our newly-launched Centre of Enablement will be central to how we leverage AI in a way that makes adoption safe, scalable and business-led, while ensuring responsible governance that stays ahead of regulatory expectations."

Simon Cooper-Williams, Managing Director of Markel's International Portfolio Analytics team, commented: "As an organisation, we've made significant progress with the adoption of AI. The new AI Centre of Enablement is a huge step in strengthening our operational foundations and continuing on our path of success. I'm delighted to have Maureen at the helm of this team as Head of AI, with her leadership and extensive knowledge of the business, having served as Senior Vice President, Operations in Canada since 2023. Operating from Toronto, Maureen's appointment will also strengthen collaboration between all five international businesses as we look to bring greater consistency and clarity to how AI is developed and deployed, empowering teams with the tools and knowledge to deliver stronger outcomes."

Tomlinson steps into the Head of AI role with extensive operations, technology and change experience, having served as Senior Vice President, Operations, for Markel Canada since 2023, in which she is responsible for the business technology strategy, as well as the execution of all technology tools, data, pricing, support processes and facilities required to deliver policy and claims services. Tomlinson joined Markel after 11 years at Verisk, formerly Opta Information Intelligence, where she held the position of Senior Vice President, Sales & Professional Services from 2017, in which she was responsible for leading the sales & professional services delivery team, providing highly technical analytics solutions for actuarial and underwriting departments across Canada. Prior senior roles include Vice President, Analytics and R&D; and Vice President, Production Solutions and Operations at Verisk; as well as Director, Personal Lines Systems; and Director of Business Services and Architecture for Economical Insurance Group.

About Markel Insurance
We are Markel Insurance, a leading global specialty insurer with a truly people-first approach. As the insurance operations within the Markel Group Inc. (NYSE: MKL), we leverage a broad array of capabilities and expertise to create intelligent solutions for the most complex specialty insurance needs. However, it is our people – and the deep, valued relationships they develop with colleagues, brokers and clients – that differentiates us worldwide.

** This press release is distributed by PR Newswire through automated distribution system, for which the client assumes full responsibility. **

Markel International launches AI Centre of Enablement with appointment of Head of AI