第56回先端ソフトウェア科学・工学に関するGRACEセミナー

今回のセミナーは,英国 Newcastle University の Alexander Romanovsky 教
授をお招きして,Scaling Event-B to Industrial Applications と題し,DEPLOY プロジェクトについて,お話しいただきます.このプロジェクトは ECFP7 プログラムの1つで,形式手法の適用によってディペンダブルなシステムを構築する工学的な手法を発展させることを目的としています.Event-B のRodin ツールセットを用いたデモも見せていただけるとのことです.興味をお持ちの方は,ぜひご参加ください.

主催: NII 先端ソフトウェア工学国際研究センター(GRACEセンター)
http://grace-center.jp/

日時:2011年11月28日(月)10:00-12:00
場所:国立情報学研究所(NII)(地図
20階 ミーティングルーム1・2(2009・2010)

参加費:無料
お問い合わせ:田辺良則(seminar-steering_AT_grace-center.jp)_AT_を@に書き換えてください。

参加ご希望の方は,下記よりご登録をお願いいたします:
http://grace-center.jp/regist/seminar

==================================================

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/).

Biographies:

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.

カテゴリー: 研究, セミナー パーマリンク

コメントは停止中です。