HIDE: High Level Integrated Design Enviroment for Dependability PDF Print E-mail
Monday, 15 June 1998 00:00

Project contract: Esprit Project 27439
Involvment type: subcontracted
Start date: 1998-06-15
End date: 1998-12-14

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.


Resilient Computing Lab, 2011

Joomla - Realizzazione siti web