1 / 5

brice
Download Presentation

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005)at the 13th International Symposium of Formal Methods 2005 Newcastle upon Tyne, UKJuly 19, 2005WORKSHOP ORGANISERSMichael Butler (University of Southampton)Cliff Jones (University of Newcastle upon Tyne)Alexander Romanovsky (University of Newcastle upon Tyne)Elena Troubitsyna (Aabo Akademi)

  2. RODINRigorous Open Development Environment for Complex SystemsSTREP, IST FP6Project IST 2004-511599September 1, 2004 - August 31, 2007

  3. 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, UKRODIN 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, SYSTERELRODIN 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

  4. 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 servicesMain Advances in:- Formal design methods- Fault tolerance- Design abstractions- Tool platformTackling complexity of the software systems and of the environment

  5. Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005)Invited talkInvited presentations: IST Software Technologies Unit AOSD IST NoE Demonstration13 presentationsProceedings: 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.

More Related