Railway Systems

Systems

COPPILOT

logo30-saopaulo

Control system of the platform screen doors in Paris and Sao Paulo metros
COPP

logo7

SIL 3 system to open and close the platform screen doors

  • Actually on the line 13 of the Parisian subway.
DIL

logo7

System for Detecting Individuals in the Gaps.
DOF1

logo7

System to Open and Close the Platform Doors on Line 1, SIL4.
KFS SIL2

logo-neutre2

System to stop the train when it goes across a red signal

KVB

logo13

Beacon Speed Control System.
KPVA

logo27

Independent system control of speed train; installed in many lines in Paris.
REGIOLIS

logo13

Three ON-BOARD Systems :

Automatic Stop Tramway

logo31-rouen

Automatic Stop Train of Rouen Tramway.
New York City Transit

logo29

System level formal (proof based) verification for the CBTC of New York’s line 7 (Flushing)

Software

ACSES

logo13

Zone management system for temporarily reducing the speed of a train.
Test Bench

logo15

Test bench implemented on Siemens automaton.
BSVR

logo-neutre2

Control of Coherence between Code and Specifications
DIGISAFE

logo15

Communication Protocol on Siemens Automaton.
MF2000

logo7

System qualification for MF2000 metro.
ModemB

logo7

COPP System Component.
Octys / Ouragan

logo33

Software analysis and validation :

PMI L1

logo32

Process for formally checking the computer signalling.
SAET L1

logo7

Automatic Train Operation System, Line 1.
SRRT

logo7

Rapid recharging tramway system.
Trainguard CBTC

logo33

CBTC Development.
Urbalis Evolution

logo13

Automatic Train Operation System :

Val de Roissy

logo33

SIL4 safety software for the fixed automatisms of the future Val de Roissy.
VESG

logo13

Vital Embedded Settings Generator.

 

Comments are closed.