Home | People | Research Projects | Publications | Techreports | Tools | Vacancies | Seminars
This is now an inactive research group it's members have moved on. You can find them at their new research groups:
Research Projects
Formal Methods Projects
Systems Engineering Projects
Dependable Systems Projects
European Commission Funded

DSSE:Research Projects

Rigorous Open Development Environment for Complex Systems (RODIN)
(this project has ended)

Homepage: http://rodin.cs.ncl.ac.uk/
Type: Normal Research Project
Research Group: Dependable Systems & Software Engineering
Themes: Formal Methods, Systems Engineering, Dependable Systems
Dates: 1st September 2004 to 31st August 2007


  • University of Newcastle upon Tyne, UK (Coordinator)
  • Aabo Akademi University, Turku, Finland
  • ClearSy System Engineering, France
  • Nokia Corporation, Finland
  • Praxis Critical Systems Ltd, UK
  • AT Engine Controls Ltd, UK
  • Swiss Federal Institute of Technology, Zurich, Switzerland


  • European Commission

Principal Investigators

Other Investigators

© School of Electronics and Computer Science of the University of Southampton