Revision as of 10:36, 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

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

Revision as of 10:36, 22 September 2010 (view source) imported>WikiSysop (→‎Industrial Projects using Event-B) ← Older edit		Revision as of 10:36, 22 September 2010 (view source) imported>WikiSysop (→‎Industrial Projects using Event-B) Newer edit →
Line 12:		Line 12:


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