Event-B Day 2018 in Tokyo

Nov 10 2018

19F Conference Room (1901-1903), National Institute of Informatics, Tokyo, Japan

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.

Program

8:55-9:00	Welcome from the organizers
9:00-10:15	Ilya Shchepetkov (Ivannikov Institute for System Programming of the Russian Academy of Sciences, Russia) Using Refinement in Formal Development of OS Security Policy Model (slides) Shin-ya Katsumata (NII, Japan) Towards Categorical Event-B Daichi Morita (The University of Tokyo, Japan) Approximate Simulation as Refinement in Hybrid Event-B
10:15-10:35	Coffee Break
10:35-11:50	Colin Snook (University of Southampton, UK) Behaviour driven formal model development Paulius Stankaitis (Newcastle University, UK) Modelling and Verification of Distributed Resource Allocation Protocol Laurent Voisin (Systerel, France) Update on the Rodin group (slides)
11:50-13:20	Lunch
13:20-14:35	Yamine Ait Ameur (IRIT/INPT-ENSEEIHT, France) Design of distributed systems from choreographies specifications. A refinement based approach Alexei Iliasov (Newcastle University, UK) Safecap Verification Framework Elena Troubitsyna (KTH, Sweden) Developing autonomous resilient systems
14:35-14:55	Coffee Break
14:55-16:20	Philipp Körner (University of Dusseldorf, Germany) Embedding Formal Specifications as Libraries into Applications Shinnosuke Saruwatari (The University of Tokyo, Japan) Change Impact Analysis for Refinement-based Formal Specification Laurent Voisin (Systerel, France) On lexicographic variants in Event-B (slides)
16:20-16:40	Coffee Break
16:40-17:20	Closing Discussion, Wrap-up
18:00-	Dinner

Proceedings

Post-Proceedings is available as a technical report at The Newcastle University.

Registration / Call for Presentations

Registration form has closed.

Past editions

Event-B Day 2016 at National Institute of Informatics, Japan, organised on November 21, 2016
Event-B Day 2014 at National Institute of Informatics, Japan, organised on October 31, 2014
Workshop on the experience of and advances in developing dependable systems in Event-B at Kyoto Research Park, organised on November 13, 2012

Organizers

Alexander Romanovsky (Newcastle University, UK)

Fuyuki Ishikawa (National Institute of Informatics, Japan)

Thierry Lecomte (ClearSy, France)

Tsutomu Kobayashi (National Institute of Informatics, Japan)

Contact : t-kobayashi <AT> nii.ac.jp