Industrial Projects

From Event-B
Revision as of 10:30, 22 September 2010 by imported>WikiSysop (→‎Industrial Projects using Event-B)
Jump to navigationJump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

Industrial Projects using Event-B

  • In the Deploy Project several industrial partners are using Event-B and Rodin on deployment projects:
    • Bosch are working on a cruise control system
    • Siemens Transportation are working on train control and signalling systems
    • Space Systems Finland are working on part of the BepiColombo space probe
    • SAP are working on analysis of business choreography models


  • AeS Group in Brazil are using Event-B and Rodin on Railway related projects:
    • Analysis of deadman control for trains