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
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 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 (agrj@aes.com.br) or Thiago (thiago@aes.com.br) 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.