Mini-course around Event-B and Rodin

Event-B is a method for the stepwise development of programs. The development is mostly top-down and gradually introduces details, rather than starting at the concrete level of writing code. The Event-B method is implemented in the Rodin tool. This lecture is part of a mini-course on Event-B and Rodin. The mini-course will present several examples:

  1. Handling Cars on a Bridge
  2. A Mechanical Press Controller
  3. A simple File Transfer Protocol
  4. A Mobile Phone Routing Protocol

Together with each example, principles around Event-B and Rodin are gradually enriched.

This lecture will do the “cars of a bridge” example.

Speaker Details

Jean-Raymond Abrial is the co-inventor of Z, B and Event-B. He is the author of the “B-book” (CUP 1996), which presents the B-Method. He published recently a new book “Modeling in Event-B: System and Software Engineering” (CUP 2010). He was a guest Professor at ETH Zurich from 2004 to 2007 where he led the team developing the Rodin Platform for Event-B (funded by the European Project Rodin). After that, he was a researcher also at ETH Zurich, working on a new European Project called Deploy till May 2009. Before being in Zurich, he was a consultant for more than 20 years working in close contact with industrial companies but also with various universities around the world.

Date:
Speakers:
Jean-Raymond Abrial
    • Portrait of Jeff Running

      Jeff Running