Lille, 9 to 12 October 2006

Clearsy and the RATP co-authored the “Use of the Formal B Method for a SIL3 System: Landing Door Commands for Line 13 of the Paris subway” on the occasion of the Lambda Mu 15.

A mock-up of the system may be visited at our booth.

Also presented at our booth:

• CompoSys: new System Modeling tool
• Brama: new animation tool for formal system specifications
• Coppilot: demonstration of the SIL 3 command control system for the landing doors on the Line 13 subway

Posters

Articles

• Use of the Formal B Method for a SIL3 System Landing Door Commands for Line 13 of the Paris subway