CNR-CONSIGLIO NAZIONALE DELLE RICERCHE

Command Control Signalling
Labs
Quality
Research


SCIENTIFIC BODY

SOME KEY ACTIVITIES IN THE RAILWAY SECTOR:
Strategic partner to Signalling industries (e.g. ECM, Alstom, AnsaldoSTS, Sirti) 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.

OUR CONTRIBUTION TO THE FOLLOWING INTERNATIONAL TECHNOLOGICAL CHALLENGES:
+ Safety
+ Reliability
+ Standardization
+ Interoperability


CONTACTS:
PhD. Ms. Stefania GNESI  
Email: gnesi@isti.cnr.it
Mob: +39 348 8283128
Website: www.isti.cnr.it

Command Control Signalling

Energy Distribution System

Safety Control Systems

Signalling Systems

Labs

SW Engineering and Dependable Computing Lab. (SEDC)

Wireless Networks (WN)

Signals and Images (SI)

Mechanics of Materials and Structures (MMS)

Human Interfaces in Information Systems (HIIS)

Formal Methods and Tools Laboratory (FMT)

Quality

Verification & Validation

Certification

Research

R&D, Patents