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ő
professor emeritus
Szoba: IB420
Tel.:
+36 1 463-3595 Email: pataric (*) mit * bme * hu |
Tanszéki résztvevők
professor emeritus
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.
Submitted by Pataricza András on 2010. August 12. 14:29 | Last updated: 2010. August 12. 14:29