Rodin logo Information society technologies
Rigorous Open Development Environment for Complex Systems

Link to Home page
Link to Workpackages page
Link to Participants page
Link to Industrial Interest Group page
Link to expected results page
Link to expected results page
Link to publications page
Link to project background page
 
 
Credits
Project Member Space

Expected Project Results

  • A collection of reusable development templates (models, architectures, proofs, components, etc.) produced by the case studies.
  • A set of guidelines on a systems approach to the rigorous development of complex systems, including design abstractions for fault tolerance and guidelines on model mapping, architectural design and model decomposition.
  • An open tool kernel supporting extensibility of the underlying formalism and integration of tool plug-ins.
  • A collection of plug-in tools for model construction, model simulation, model checking, verification, testing and code generation.