Industrial Projects: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>WikiSysop |
imported>Agrj |
||
| Line 10: | Line 10: | ||
* [http://www.grupo-aes.com.br/site/home/ 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 trains | ** 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 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 project, please feel free to add a short description and a link to this page. | ||
Revision as of 20:37, 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
- 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 project, please feel free to add a short description and a link to this page.
