RODIN (Rigorous Open Development Environment for Complex Systems)

摘要

The overall objective of RODIN is to create a methodology and supporting open tool platform for cost-effective, rigorous development of complex, dependable software systems and services. The project focuses on tackling complexity caused by the environment in which the software is to operate; and that which comes from inadequate architectural structure. Mastering complexity requires design techniques that support clear thinking and rigorous validation and verification; formal design methods do so. This also requires architectures that are tolerant of faults and unpredictable changes in environment. The project will develop a unified methodology combining formal methods with fault-tolerance design principles by using a systems approach, where both software and environment are modelled together.