Rodin logo Information society technologies
Rigorous Open Development Environment for Complex Systems

Link to Home page
Link to Workpackages page
Link to Participants page
Link to Industrial Interest Group page
Link to expected results page
Link to expected results page
Link to publications page
Link to project background page
 
 
Credits
Project Member Space

Related Events

 

RODIN Industry Day
September 10, 2007 - Paris
http://www.clearsy.com/php/rodin_en.php

This second industrial day concludes the Rodin project and provides an opportunity to present the formal Rodin modelling platform, some applicable plug-ins which broaden its capabilities, as well as some industrial applications achieved outside the RODIN project.

Workshop on Rigorous Engineering of Fault Tolerant Systems
19th July 2005, at FME 2005
All workshop presentations can be found here

The follow-up book containing selected and extended papers based on the workshop presentations and a number of invited papers:
Butler, M.; Jones, C.; Romanovsky, A.; Troubitsyna, E. (Eds.).
Rigorous Development of Complex Fault-Tolerant Systems. Series:
Lecture Notes in Computer Science , Vol. 4157. 2006.
http://www.springer.com/east/home?SGWID=5-102-22-173701762-0&changeHeader=true&referer=www.springeronline.com&SHORTCUT=www.springer.com/3-540-48265-2

RODIN Open Industry Day
April 5, 2006 at Aix en Provence, France
http://www.clearsy.com/rodin/industry_day.html

Track on Dependable and Adaptive Distributed Systems at the 21st ACM Symposium on Applied Computing.
April 23-27, 2006. Bourgogne University, Dijon, France.
http://www.dedisys.org/sac06

Dependable and Adaptive Distributed Systems Track of the 22nd ACM Symposium on Applied Computing March 11 - 15, 2007 Seoul, Korea
http://www.dedisys.org/sac07

Workshop on Methods, Models and Tools for Fault Tolerance at the Int. 6th Conference on Integrated Formal Methods July 3, 2007, Oxford, UK

SUBMISSION
Submission deadline: May 14, 2007
Notification: May 22, 2007

More information:
http://www.cs.ncl.ac.uk/people/alexander.romanovsky/home.formal/MeMToFT2007.html

Workshop on Methods, Models and Tools for Fault Tolerance at IFM 2007 (July, 2007, Oxford, UK) http://www.cs.ncl.ac.uk/people/alexander.romanovsky/home.formal/MeMToFT2007.html