Keywords 'rtos' and 'hypervisors' appear in AMPERE, and the certMILS security certification work presupposes deep runtime environment expertise for COTS-based embedded systems.
SYSGO SRO
Czech RTOS and hypervisor specialist for safety-critical embedded systems, covering security certification and model-driven parallel computing.
Their core work
SYSGO is a Czech technology company specialising in real-time operating systems (RTOS) and hypervisor solutions for safety-critical embedded systems. Their core product domain — separation kernels and type-1 hypervisors — places them at the intersection of functional safety, security certification, and embedded runtime environments. In EU research, they contribute as a technical specialist: in certMILS they worked on compositional security certification for commercial off-the-shelf (COTS) components, and in AMPERE they applied model-driven engineering and code synthesis to parallel, energy-efficient embedded computing. Businesses looking for a partner who can bridge certified real-time execution environments with modern parallel compute architectures will find SYSGO a highly specialised fit.
What they specialise in
certMILS (2017–2021) focused specifically on compositional security certification for medium- to high-assurance COTS-based systems.
AMPERE (2020–2023) introduced model-driven development, code synthesis, and multi-criteria optimisation as explicit technical contributions.
AMPERE targets parallel heterogeneous computing and low-energy computation, indicating expansion toward high-performance embedded architectures.
AMPERE keywords include 'safety' and 'timing analysis', standard requirements in safety-critical embedded domains where SYSGO operates.
How they've shifted over time
SYSGO's first H2020 project (certMILS, 2017) focused on security assurance and certification — the challenge of proving that assembled COTS components meet high-assurance requirements. Their second project (AMPERE, 2020) marks a visible shift toward model-driven toolchains, code synthesis, and parallel heterogeneous computing, while retaining safety and timing concerns as constants. The trajectory suggests SYSGO is moving from certification-of-existing-systems toward automated development flows that embed correctness earlier in the design process.
SYSGO is moving toward automated, model-driven toolchains for safety-critical parallel embedded systems — a direction highly relevant to automotive, avionics, and industrial IoT sectors grappling with multicore certification challenges.
How they like to work
SYSGO has participated in EU projects exclusively as a consortium partner, never as coordinator, suggesting they prefer to contribute focused technical expertise rather than manage broad project governance. With 20 unique partners across 8 countries over just 2 projects, they operate in moderately large consortia and appear comfortable in multi-partner international settings. This profile is typical of a specialist software technology provider brought in for a specific platform capability — in their case, certified runtime environments.
SYSGO has built connections with 20 distinct partners spanning 8 countries through only 2 projects, indicating they join well-networked consortia rather than building tight bilateral partnerships. Their European footprint is consistent with the cross-border embedded systems and aerospace supply chains where their RTOS expertise is valued.
What sets them apart
SYSGO occupies a narrow but strategically important niche: they are one of very few Central European companies with deep RTOS and separation-kernel expertise applicable to safety-critical certification (IEC 61508, DO-178C, Common Criteria). This makes them a rare asset in consortia targeting avionics, automotive, or industrial automation certifications. Their AMPERE participation signals they are now extending this certified-runtime foundation into the emerging domain of parallel heterogeneous computing — a technically difficult combination that most academic partners cannot provide.
Highlights from their portfolio
- AMPERELargest funding award (EUR 711,175) and the project where SYSGO's full technical vocabulary — RTOS, hypervisors, model-driven engineering, parallel computing, timing analysis — converges, making it the clearest signal of their current strategic direction.
- certMILSAddresses compositional security certification for COTS systems, a commercially critical problem for any vendor deploying mixed-criticality embedded software in certified environments.