| Title | Author |
|---|---|
Trainguard MT CBTC Safety Software –   Overview of the technologies used by STS to ensure the proper operations of its rail transport automatisms. The coded safety processor protects against calculation errors and the B Method protects against program design errors. |
|
Formal Methods Support Unit Tests –  Presentation of formal methods with proof, the methods used by ClearSy System Engineering in the context of its creation of rail transport safety systems.
|
Magazine 01 Informatique |
“Zero Defects” does not exist, but we can get close… –  Presentation by Jean-Raymond Abrial of the B Method, its use and its capacity to come close to zero defects. |
Magazine 01 Informatique |
From the Use of the B Method… –  Another article that presents the B Method and its use in the current rail transport sector where operational safety is crucial. |
Magazine Rail & R |
Formal Methods, guarantors of System Safety… –  Article on Formal Methods applied to the rail transport sector to ensure the security and safety of a system. |
-
Loading...
Register
Retrieve password
English
French 
