Rigorous Open Development Environment for Complex Systems (RODIN)
- Date:
- 2004-2007
- Themes:
- Formal Methods, Systems Engineering, Dependable Systems
- Funding:
- European Commission
Primary investigator
Secondary investigators
Partners
- 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
Associated research group
- Dependable Systems & Software Engineering