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