Community Research and Development Information Service - CORDIS

FP6

RODIN: Rigorous open development environment for complex systems

Project ID: 511599
Funded under: FP6-IST

Abstract

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
Category: PRJS