Difference between revisions of "Industrial Projects"

From Event-B
Jump to navigationJump to search
imported>WikiSysop
(New page: =Industrial Projects using Event-B= * In the [http://www.deploy-project.eu/ Deploy Project] several industrial partners are using Event-B and Rodin on deployment projects: ** Bosch are wo...)
 
imported>WikiSysop
Line 8: Line 8:
  
  
* AeS group in Brazil are using Event-B and Rodin on Railway related projects:
+
* [http://www.grupo-aes.com.br/site/home/ AeS Group] in Brazil are using Event-B and Rodin on Railway related projects:
** Analysis of deadman control for a train
+
** Analysis of deadman control for trains

Revision as of 10:30, 22 September 2010

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