MIT nyitóoldal

   Complete list

High-level integrated design environment for dependability

Nemzetközi (egyéb) project
1998 - 1999

Local supervisor: Pataricza András
Official project supervisor: University of Erlangen

The main objective of HIDE is the creation of an integrated environment for the practitioner designer, allowing him to use UML as front-end for the specification of both the system and the user requirements. The user can validate his design in an easy-to use form, since the background mathematics will be hidden from him. Automatic transformations will derive the individual mathematical models for formal and quantitative validation from the basic UML model, and the results gained without the interaction of the user will be back-annotated for presentation into the same UML model, as well. This way HIDE eliminates the need for both a specific expertise in abstract mathematics, and the tedious manual re-modelling of the system.


  • Department of Computer Structures, University of Erlangen, Germany
  • Pisa Dependable Computing Centre, Italy
  • Intecs Sistemi SpA, Italy
  • MID GmbH, Germany

Further information about the project:
Official homepage:
Department homepage:
Official email address: