Resilient Computing Lab
High Level Integrated Design Enviroment for Dependability
The main objective of HIDE is the creation of an integrated environment for the practitioner designer, allowing him to use UML (Unified Modelling Language) as front-end for the specification of both the system and the user requirements. The designer can easily validate his design, since the entire background mathematics will be hidden from him. From the basic UML model automatic transformations will derive the individual mathematical models for formal and quantitative validation. The results gained will be back annotated for presentation into the same UML model without any interaction of the user. HIDE eliminates the need for both a specific expertise in abstract mathematics and the tedious manual re-modelling of the system for mathematical analysis.