Difference between revisions of "Industrial Projects"

From Event-B
Jump to navigationJump to search
imported>Agrj
imported>Steve
(Added description of XMOS KTS project.)
Line 14: Line 14:
 
** Validation of Formal Specification
 
** 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
 
** 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
 +
 +
 +
* [[User:Steve|Steve]] is using Event-B at [http://www.xmos.com/ XMOS Ltd] in Bristol under a [http://www.epsrc.ac.uk/funding/grants/business/Pages/knowledgetransfersecondments.aspx KTS], applying the methods of the [http://dx.doi.org/10.1007/978-3-540-87603-8_21 MIDAS] project to the [http://www.xmos.com/technology/xcore XCore] embedded microprocessor.
  
  
 
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 21:17, 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


  • Steve is using Event-B at XMOS Ltd in Bristol under a KTS, applying the methods of the MIDAS project to the XCore embedded microprocessor.


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.