Difference between revisions of "Industrial Projects"
From Event-B
Jump to navigationJump to searchimported>Steve (Added personnel and grant details to XMOS project) |
imported>WikiSysop |
||
| Line 1: | Line 1: | ||
| − | =Industrial Projects using Event-B= | + | =Industrial Projects and Research 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: | * In the [http://www.deploy-project.eu/ Deploy Project] several industrial partners are using Event-B and Rodin on deployment projects: | ||
| Line 19: | Line 19: | ||
| − | 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. | + | 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. |
Revision as of 12:32, 29 September 2010
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
- Steve Wright, Kerstin Eder and Henk Muller are using Event-B at XMOS Ltd in Bristol under a KTS (Grant EP/H500316/1), applying the methods of the MIDAS project to the XCore embedded microprocessor.
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.
