July 25, 2005 QuickTime™ and aTIFF (Uncompressed) decompressorare needed to see this picture.

Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005)

at the 13th International Symposium of Formal Methods 2005

Newcastle upon Tyne, UKJuly 19, 2005

WORKSHOP ORGANISERSMichael Butler (University of Southampton)

Cliff Jones (University of Newcastle upon Tyne)Alexander Romanovsky (University of Newcastle upon Tyne)

Elena Troubitsyna (Aabo Akademi)

July 25, 2005 QuickTime™ and aTIFF (Uncompressed) decompressorare needed to see this picture.

RODINRigorous Open Development

Environment for Complex Systems

STREP, IST FP6Project IST 2004-511599

September 1, 2004 - August 31, 2007

July 25, 2005 QuickTime™ and aTIFF (Uncompressed) decompressorare needed to see this picture.

RODIN ParticipantsUniversity of Newcastle upon Tyne, UK (Coordinator)Aabo Akademi University, Turku, FinlandClearSy System Engineering, FranceNokia Corporation, FinlandPraxis Critical Systems Ltd, UKVT Engine Controls Ltd, UKSwiss Federal Institute of Technology, Zurich, SwitzerlandUniversity of Southampton, UK

RODIN Industrial Interest Group: Adelard, Alstom Transportation, AWE Aldermaston, DGA, Escher Technologies, Gemplus, IBM UK,I.C.C.C. Group, QinetiQ, RATP, STMicroelectronics, VTT, CETIC/FAUST, SYSTEREL

RODIN Associates Group: Université Technologique de Compiègne, University of New South Wales, University of Luxembourg, University of Versailles, University of York, Düsseldorf University, Loria

July 25, 2005 QuickTime™ and aTIFF (Uncompressed) decompressorare needed to see this picture.

The overall objective of RODIN is to create a methodology and supporting open tool platform for the cost-effective rigorous development of dependable complex software systems and services

Main Advances in:- Formal design methods- Fault tolerance- Design abstractions- Tool platform

Tackling complexity of the software systems and of the environment

July 25, 2005 QuickTime™ and aTIFF (Uncompressed) decompressorare needed to see this picture.

Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005)

Invited talkInvited presentations:

IST Software Technologies Unit AOSD IST NoE Demonstration13 presentations

Proceedings: M. Butler, C. Jones, A. Romanovsky, E. Troubitsyna. Proc. of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005). School of Computing Science, Technical Report Series, CS-TR-915, University of Newcastle upon Tyne, UK, 2005. ISSN 1368-1060.

A State of the Art Series proposal for Springer LNCS. Invited papers.