30-years’ experience in HW/SW co-design and in the development of mission & safety critical real-time systems
Two HW/SW Product Lines: GeminiX and Design4Rail, together with Ancillary Engineering Services
70+ mission- & safety-critical (up to SIL4) projects completed all around Italy, Europe, Middle East and Far East
Welcome to NEAT
Today NEAT is an independent company providing hardware and software Intellectual Properties (Products and Reference Designs, distributed under licenses) with ancillary highly specialised engineering services, to clients who play a major role in railway, avionics, aerospace, and industrial markets, helping them to implement mission- and safety-critical applications.
Certified Processes
Geminix 2.0 Engine
Railway Signalling
Safety Critical System
Product Lines
Our products and our ancillary engineering services boost the development of your mission- and safety-critical applications
What We Do
The mission of NEAT is to lead all the new designs of high-availability, redundant, safety-related systems in Italy and to be increasingly competitive worldwide.
The strengths of NEAT are the technology know-how, the quality of the development process as well as the ownership of valuable development tools and other Intellectual Properties used as building blocks for successful projects.
NEAT is currently providing avionic systems, railway signaling systems and industrial control systems.
SYSTEM DESIGN
CUSTOMIZATIONS
MANUFACTURING
FAST PROTOTYPING
Work With Us
We are looking for both recent graduates and PhDs from universities and experienced specialists to help us in building our embedded HW/SW systems, software applications, libraries, tools and frameworks in the mission- and safety-critical market. Send us your email to be contacted for an interview!
Latest News
Simplified interlocking application engineering with Prover iLock for NEAT’s GeminiX Platform
The demonstration includes:
> The Prover iLock process for generating the interlocking logic from generic specifications and graphical configuration data, with:
– simulation-testing-based functional testing,
– formal safety verification, and
– generation of C-code for execution on the GeminiX platform.
> Execution on the GeminiX platform:
– cross-compilation and execution of the generated C-code using a dedicated SIL-4 task on GeminiX-OS,
– configuration of I/O, and
– connection to Prover iLock for real-time hardware in the loop testing, with visualisation of generated test cases and manual interaction.
The safe function of the generated application logic (C-code) can be formally verified with the SIL-4 T2 sign-off verification tool Prover Certifier, certified by TÜV Nord.
The demonstration has been set up in NEAT’s lab, with the GeminiX hardware connected to Prover iLock via a communication link, to provide a simulation of wayside objects and a control panel, as shown in the video below.
Highlights of the GeminiX platform include:
> A complete Platform Documentation Package and Application Conditions, which describe and certify the compliance for applications up to SIL4 according to the EN50126/128/129 and IEC61508 standards.
> A HW 2oo2 diverse reference architecture, that can be made redundant for reliability.
> A real-time OS-like environment, GeminiX–OS, certified as a SIL4 Generic Product on its own and also certified several times into clients’ products. It is independent from the specific hardware and includes its own complete Documentation Package.
> A VHDL Source Code, which implements diagnostic routines and generic I/O, independent from the specific hardware, certified as a SIL4 Generic Product.
> Several Reference Designs, implemented using different CPUs (Intel, AMD, ARM, …) and different bus architectures.
Signalling Design Automation with Prover iLock is a more efficient approach to developing rail control software, rooted in an engineering process based on formal methods, modelling, and automation. In addition to enhancing the development process, it also paves the way for standardisation and a more open system, something that is key to drive down the long-term costs of rail control. With a development process that is not tied to a specific signalling vendor, the rail infrastructure managers can get in control of the life-cycle of their systems, and can address issues such as obsolescence with more flexibility. The combination of Signalling Design Automation with the GeminiX platform is a good example of how these benefits can be realised for an interlocking system.
After the initial presentation at InnoTrans 2024, Prover and NEAT will showcase their joint solution also this year, either at ExpoFerroviaria 2025 from September 30th to October 2nd in Rho, Milan, Italy (Hall P11 – Stand L10) and at Signalling Design Automation Forum 2025 on October 1st in Stockholm. You are also welcome to request a demonstration online or onsite. Looking forward to seeing you there!
To learn more about signalling design automation with Prover iLock please visit www.prover.com, and more information on the GeminiX Platform is available on www.neat.it or www.geminix.com.
CLEARSY and NEAT join forces to integrate the CLEARSY Data Solver validation tool into NEAT's D4R::Horizon TrackPlanner editor!
The CLEARSY Data Solver (T2 certified) now makes it possible to quickly and securely validate that the schematic track plan realized with NEAT’s TrackPlanner complies with these constraints. Its integration makes TrackPlanner particularly accessible to Operators: a validation is performed in just two clicks, and the results, phrased in everyday language, are easily understandable. Moreover, the TrackPlanner editor is also able to highlight erroneous objects so that they can be corrected immediately, followed by a new validation.
