SOCI

SOME KEY ACTIVITIES IN THE RAILWAY SECTOR:

Strategic partner to Signalling industries (e.g. ECM, Alstom, AnsaldoSTS) for:
• Modeling and analysis of Railway Control Systems (e.g. CBTC) in order to improve transport outcomes such as transport safety,
transport productivity, travel reliability;
• Formal Specification of Railway Interlocking Systems;
• Train control enhancement via Information Technology and certification of safety and reliability aspects.

CONTRIBUTION TO THE FOLLOWING RAILWAY TECHNOLOGICAL CHALLENGES:

+ Safety
+ Reliability
+ Standardization
+ Interoperability

COMPETENCES:

Vehicle & vehicle sub-equipment
On-board Signalling Systems, On-board Sensors, Cybersecurity of On-board Systems

Infrastructure & signalling
Steel Construction, Airconditioning System (HVAC)

Quality
Certification / Homologation, Verification & Validation, Training for Railway Industry Professionals

R&D
Scientific Bodies, Patents ownership

Laboratories (owners)
Formal Methods and Tools Laboratory (FMT), Human Interfaces in Information Systems (HIIS), Mechanics of Materials and Structures (MMS), Signals and Images (SI), Wireless Networks (WN), Software Engineering and Dependable Computing, System and Software Evaluation Center (SSE), Diagnostic Imaging (IFC)


CERTIFICATIONS:

CONTACTS:

PhD. Mr Alessio FERRARI
ferrari@isti.cnr.it
+39 050 621 2806
PhD. Mr Davide MORONI
moroni@isti.cnr.it
+39 050 621 3130