We read the standards so that you do not have to.
An Interlocking logic generator, an RBC generic product, three protocol libraries. All of it independent of NEAT hardware, because most of the customers who buy it are running someone else’s.
NEAT / SOURCE / MISRA-C 2012Five products, one competence.
RBC Generic Product
The main actor in ERTMS Level 2 trackside, responsible for the safe distancing of traffic.
Explore →PVS
Protocollo Vitale Standard - Vital Standard Protocol. SIL 4, based on SS-098 and CEI 9-206.
Explore →RaSTA
DIN VDE V 0831-200, the safety communication layer used inside EULYNX.
Explore →KMC Subset-137
ETCS on-line key management, with an open repository and a stated version roadmap.
Explore →GRAIL
Interlocking logic written once per object type, compiled against each station’s topology.
Explore →Railway signalling applications
Where each product actually goes: Interlocking, ERTMS and RBC, KAVACH, national ATP, object controllers, level crossings, key management.
Explore →Developer hub
Documentation that behaves like documentation. Everything else in this section may persuade; this one has to be useful.
Explore →The quality argument, published in full.
This list is what a safety assessor reads first, so it is published rather than summarised. It applies to every library in this section.
- ANSI C to MISRA-C:2012
- Self-contained, with no external or C standard library dependency
- No system calls and no hardware access in the safety layers
- Defensive programming
- Error-detecting codes
- Failure assertion programming
- Modular design with limited module size
- Information hiding
- Single entry and single exit
- Fully defined interfaces
- No dynamic objects or variables
- No recursion
- No unconditional jumps
- Restricted pointer use
Independent of our hardware.
Stated plainly, because many visitors arrive with another platform and assume a lock-in that does not exist.
Alstom
Signalling software delivered into their own platforms.
Stadler
Rolling stock and signalling programmes.
Marini
Italian signalling market.
Quadrant Future Tek
KAVACH, in production on 1100 trains.
Knorr-Bremse and Selectron
SIL 4 central unit and remote I/O, certified February 2025.
Infrastructure managers
Direct supply, in several national markets.