A SIL 4 platform you do not have to invent.
GeminiX is an embedded virtual platform for safety-critical systems at the highest integrity level: base software and hardware design components that are independent of the final platform hardware. GRIO extends the same discipline to the field interface.
NEAT / CPU-S BOARD / NODE A+BThree limitations. One answer.
The concept document names them without euphemism: fast obsolescence of electronic components, high realisation cost, and long realisation time for a new safety-critical system.
Obsolescence
The CPU ages faster than the asset. A platform that is independent of the specific hardware survives the component it started on.
Cost
Taking a computing platform through SIL 4 is a programme in itself. It should be done once, and reused.
Diagnostic coverage
Above 99% is not reached by comparison alone. It needs measures implemented in FPGA, which are verifiable, reusable and hardware-independent.
Four macro-components.
The structure of the platform is also the structure of what a licensee receives.
GeminiX-Platform
The virtual platform itself: requirements on hardware and software architecture, on fault handling and detection, on behaviour after detection, plus the application checklist.
Explore →GeminiX-OS
MISRA C source implementing a real-time OS-like environment, with an API inspired by the ARINC® 653 APEX interface.
Explore →GeminiX-Cores
(V)HDL source implementing the safety measures (memory control, MPU, time-window watchdog, cross-communication, signature, power and bus monitors) and the generic I/O.
Explore →GeminiX-Tools
Defend-IT, Target-IT and the Development Kit, with their EN 50128 tool classification stated.
Explore →Three ways to adopt it.
They differ in cost, lead time, certification effort and the volume at which each makes sense.
Buy the certified computer
GMX-CS_2026A. A specific configuration of the certified Generic Product, with the safety part inherited unmodified.
Explore →Build on the Generic Product
GMX-CS. You provide the backplane and the Generic Application; the certified boards and their evidence are ours.
Explore →License the reference design
GMX-RS-SoC-G and the production data package, for those who need their own hardware.
Explore →