Rigorous Open Development Environment for Complex Systems
Credits
Project Member Space
Participants
Academic Partners
Industrial Partners
University of Newcastle upon Tyne, UK
(Coordinator)
Alexander Romanovsky
(Project Coordinator)
Budi Arief
Joey Coleman
Alexei Iliasov
Cliff Jones
Victor Khomenko
Maciej Koutny
Brian Randell
Nigel Robinson
Jon Warwick
Praxis High Integrity Systems Ltd, UK
Adrian Hilton
Aabo Akademi University, Turku, Finland
Centre for Reliable Software Technology
Johan Lilius
Kaisa Sere
Elena Troubitsyna
Linas Laibinis
Nokia Corporation, Finland
Ian Oliver
Colin Willcock
Sari Leppänen
Swiss Federal Institute of Technology, Zurich, Switzerland
Jean-Raymond Abrial
Stefan Hallerstede
Farhad Mehta
Laurent Voisin
ClearSy System Engineering, France
Thierry Lecomte
Christophe Métayer
Jean Philippe Pitzalis
Denis Sabatier
Guilhem Pouzancre
Frederic Badeau
Lilian Burdy
University of Southampton, UK
Michael Butler
Michael Leuschel
Mike Poppleton
Colin Snook
Andy Edmunds
AT Engine Controls Ltd, UK
John Brightman
Ian Johnson