Rigorous Open Development Environment for Complex Systems (RODIN)

Date:

2004-2007

Themes:

Formal Methods, Systems Engineering, Dependable Systems

Funding:

European Commission

Primary investigator

• Michael Butler

Secondary investigators

• Michael Leuschel
• mrp
• Colin Snook
• ne01
• ae03r
• Abdolbaghi Rezazadeh

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