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

Revision as of 10:28, 22 September 2010 view source 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...		Revision as of 10:30, 22 September 2010 view source imported>WikiSysop →‎Industrial Projects using Event-B Newer edit →
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