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
Participants
Academic Partners Industrial Partners

Praxis High Integrity Systems Ltd, UK


Aabo Akademi University, Turku, Finland
   Centre for Reliable Software Technology
Kaisa Sere
Elena Troubitsyna
Linas Laibinis

Nokia Corporation, Finland
Colin Willcock
Sari Leppänen

Swiss Federal Institute of Technology, Zurich, Switzerland
Stefan Hallerstede
Farhad Mehta
Laurent Voisin

ClearSy System Engineering, France

  
Christophe Métayer
Jean Philippe Pitzalis
Denis Sabatier
Guilhem Pouzancre
Frederic Badeau
Lilian Burdy

University of Southampton, UK
Michael Leuschel
Mike Poppleton
Colin Snook
Andy Edmunds


AT Engine Controls Ltd, UK
Ian Johnson