Safety is not a feature. It is the architecture.
NEAT builds SIL 4 computing platforms, railway signalling software and the engineering tools around them. The same engineering core runs trackside in seven countries (and in orbit).
NEAT / SHOWCASEThree product lines, one engineering core.
GEMINIX: Safety Critical Platforms
Dual diverse computing with composite fail-safety, from a licensable reference design to a certified computer you can order. GRIO extends it to the field.
Explore →Railway Software Solutions
RBC Generic Product, PVS, RaSTA, KMC Subset-137 and GRAIL. Written to MISRA-C:2012, independent of NEAT hardware.
Explore →Railway Tools & CAD
TrackPlanner CAD, LibraryManager, SmartViewer and GRAIL. railML certified, extensible through an SDK.
Explore →Evidence, not adjectives.
Every claim on this site is traceable to a certificate, an assessment or a system in service. These are the ones we are allowed to name.
KAVACH on 1100 trains
Quadrant Future Tek, India. In production, carrying passengers.
Explore →Tramway interlockings since 2012
Hitachi. Palermo, Songjiang, Parramatta, Danhai, Ankeng, Kaohsiung.
Explore →Metro ATP certified 2021
Aselsan. In service on the Istanbul airport line.
Explore →CSES-1 and CSES-2
Payload computing with INFN and ASI, under the CNSA and ASI collaboration.
Explore →NEAT / DEPLOYMENT MAP / WORLDCertified once. Reused everywhere.
A GeminiX customer does not certify a computing platform. They certify their application on top of one that is already certified, with an itemised list of what transfers and what does not.
NEAT / STATION TO CODE / WORKFLOWFrom a station schematic to deployable code.
The interlocking rules are written once per object type. The compiler instantiates them on every concrete object of the plant, so one rule about routes becomes thirty-two state machines on a station with thirty-two routes, and the same rules recompile unchanged on the next station.
- Two independent inputs: the rules, and the station topology
- Everything topological resolved at build time, no loop at run time
- Reproducible builds, so two compilations can be compared
- A terminal map treated as a wiring document, not as a cache
Two industries. One documentation practice.
Railway signalling and aerospace are different markets with different buyers. They are not different engineering.
Railway signalling
Electronic Interlocking, ERTMS trackside and RBC, KAVACH, national ATP, on-board computing, object controllers and wayside I/O, level crossings, train detection, key management.
Explore →Aerospace
A new venture built on an old competence: GeminiX-OS-Space, the ICE reference design co-funded by ESA, and the GMX-QUBE payload computer.
Explore →Need a team, not a product?
Most customers arrive with a programme rather than a purchase order. NEAT covers the lifecycle from concept to certified product, in both domains, with the same quality system that produced its own certified platform.
- Hardware design and industrialisation
- Safety-critical software development
- Safety, RAMS and certification support
- Verification, validation and integration
- Training for your engineering team