RODIN: Rigorous open development environment for complex systems
Project ID: 511599Funded under: FP6-IST
The Rodin development environment has been used in a number of industrial case studies within and outside of the project. Systems modelled and analysed include an air-traffic information display system, a railway interconnect system, an engine failure management system, an ambient information system and mobile telecoms protocols. Detailed discussions of the system requirements, models and patterns applied during their developments and the experience in using the tools can be found in the project deliverables at rodin.cs.ncl.ac.uk.
Download application/pdf (95406)
Record Number: 9356 / Last updated on: 2008-09-09