HIDE

High-level integrated design environment for dependability
Típus: 
Nemzetközi (egyéb)
Kezdés éve: 
1998
Befejezés éve: 
1999
Partnerek: 
Department of Computer Structures, University of Erlangen, Germany, Pisa Dependable Computing Centre, Italy, Intecs Sistemi SpA, Italy, MID GmbH, Germany

Tanszéki projektvezető

A munkatárs fényképe
professor
Szoba: IB420
Tel.:
+36 1 463-3595
Email: pataric (*) mit * bme * hu

Tanszéki résztvevők

A munkatárs fényképe
professor
Szoba: IB420
Tel.:
+36 1 463-3595
Email: pataric (*) mit * bme * hu

Contact information

Koordinátor: 
University of Erlangen
Felelős: 
András Pataricza

Bemutatás

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.

© 2010-2021 BME MIT