Industrial Projects

From Event-B
Revision as of 12:32, 29 September 2010 by imported>WikiSysop (→‎Industrial Projects using Event-B)
Jump to navigationJump to search

Industrial Projects and Research 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
    • Analysis of a safety critical hardware verification function (by software)
    • Requirements adaptation
    • Validation of Formal Specification
    • Also, internship positions are open to work in industry applying Formal Methods. Please contact Dinho ( or Thiago ( to discuss about ongoing projects

If you are using Event-B and Rodin on an industrial or research project, please feel free to add a short description and a link to this page.