The 56th GRACE Seminar on Advanced Software Science and Engineering
Time: 10:00-12:00, November 28th, 2011
Place:Meeting Room (2009/2010), 20F, National Institute of Informatics（map）
Inquiry: Yoshinori Tanabe(y-tanabe_AT_nii.ac.jp)
Please register via the following page:
Title: Scaling Event-B to Industrial Applications
Speakers: Alexei Iliasov, Ilya Lopatkin and Alexander Romanovsky (School
of Computing Science, Newcastle University, UK)
Abstract: This talk reports on our work in a major FP7 EC integrated
project DEPLOY on industrial deployment of system engineering methods
providing high dependability and productivity. This 4-year project
(http://www.deploy-project.eu/) ends in May 2012. The overall aim of
DEPLOY is to make major advances in engineering methods for dependable
systems through the deployment of formal methods. The deployment is
mainly targeting companies from the automotive, aerospace,
transportation and business information sectors. The Newcastle team
coordinates this project and is involved in its all major activities,
including method and tool development, as well as technology transfer.
In the talk we will outline the project, report on our experience in
industrial deployment of formal methods and tools, and present our
results on developing methods and tools supporting model structuring,
decomposition and reuse. Our specific interest in ensuring that fault
tolerance is systematically integrated into system models during
refinement. The talk will include several demos of the tools developed
as part of the Rodin toolset (http://www.event-b.org/).
Alexei Iliasov is a Researcher Associate at the School of Computing
Science, Newcastle University, Newcastle-upon-Tyne, UK. He got his PhD
in Computer Science in 2008 in the area of modelling artefacts reuse in
formal developments. His research interests include agent systems,
formal methods for software engineering and tools and environments
supporting modelling and proof.
Ilya Lopatkin is a PhD student at the School of Computing Science,
Newcastle University, UK. His research interests include system
dependability, fault tolerance modelling and reuse in formal system
development, and associated tool development.
Alexander Romanovsky is a professor at the School of Computing Science,
Newcastle University (UK) where he leads the Dependability Research
Group. He is the coordinator of the FP7 DEPLOY Integrated Project on
Industrial Deployment of System Engineering Methods Providing High
Dependability and Productivity. Before this he coordinated the FP6 RODIN
STREP on Rigorous Open Development Environment for Complex Systems.
His main areas of research interests are dependability, fault tolerance
mechanisms, fault tolerance reuse, exception handling, fault tolerance
modelling and fault tolerance software architectures.