Event-B Day 2014
Event-B is a formal method for the system level modelling and analysis of dependable applications. It is supported by an open and extendable Eclipse-based toolset called Rodin, which has been developed in a series of European projects. This one day event aims to bring the community of Event-B/Rodin users and developers together to discuss new and emerging issues in applying and advancing both the Event-B method and the Rodin platform as well as address challenges that industrial takers are facing while deploying them.
Tentative Program
9:00-9:30 | Registration |
9:30-9:45 | Opening: Fuyuki Ishikawa and Alexander Romanovsky |
9:45-10:45 | Thierry Lecomte (ClearSy, France): Safety Critical System specification and codesign Neeraj Kumar Singh (McMaster, Canada): Development of Critical Systems using Event-B |
10:45-11:00 | Break |
11:00-12:00 | Jean-Raymond Abrial (France): The Rodin "Theory" Plug-in and application Extensions of the Event-B language |
12:00-13:30 | Lunch discussions |
13:30-15:00 | Elena Troubitsyna (Aabo Akademi, Finland): Formal modelling of complex resilient systems: experience and challenges Yamine Ait Ameur (NPT-ENSEEIHT and IRIT, France): Systematic development of communicating systems. An application to web services composition Dominique Mery (Loria, France): Refinement-based Modelling for Distributed Systems |
15:00-15:15 | Break |
15:15-16:45 | Hoang Son Thai (ETH, Switzerland / Hitachi, Japan): Formal Data Validation Combining Theorem Proving and Model Checking Techniques Alexei Iliasov (Newcastle University, UK): Gamification for formal modelling Daichi Mizuguchi (Atelier Inc., Japan): Trial applications of Event-B for automotive industry |
16:45-17:00 | Break |
17:00-18:30 | Tsutomu Kobayashi (University of Tokyo, Japan): Deriving and analyzing refinement plans in Event-B Naoto Sato (Hitachi and The University of Electro-Communications, Japan): Proposal of Modeling Process in Event-B Refinement Shin Nakajima (NII, Japan and Hironobu Kuruma (Hitachi, Japan): Teaching Formal Methods -- An Event-B Textbook |
19:00- | Dinner |
Registration / Call for Presentations
Participation in the event is open. Please register with the form:
We are very much welcome participants who would like to present their work on the relevant topics. Register the title/abstract from the above link. We will contact the presenter about the acceptance of presentation.
Organizers
Alexander Romanovsky (Newcastle University, UK)
Fuyuki Ishikawa (National Institute of Informatics, Japan)
Contact : f-ishikawa <AT> nii.ac.jp