HIDE

Magas szintű integrált környezet megbízható rendszerek tervezéséhez
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
egyetemi tanár
Szoba: IB420
Tel.:
+36 1 463-3595
Email: pataric (*) mit * bme * hu

Tanszéki résztvevők

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

Elérhetőségek

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

Bemutatás

A HIDE (Magas szintű integrált környezet megbízható rendszerek tervezéséhez) projekt fő célkitűzése az, hogy olyan integrált környezetet teremtsen a gyakorlati tervezőnek, ami lehetővé teszi számára, hogy UML-t használjon mind a rendszerszintű, mind pedig a felhasználói-szintű követelmények leírásához. A felhasználó egyszerűen validálhatja a tervet, mivel a matematikai háttér rejtve marad előle. Automatikus transzformációk végzik a matematikai modellek transzformációját UML nyelvből formális és kvantitatív validációhoz, majd az eredményeket felhasználói beavatkozás nélkül alakítják vissza ugyanabba az UML modellbe. A HIDE segítségével így sem az absztrakt matematika ismeretére, sem pedig fárasztó kézi modellezésre sincs szükség.

© 2010-2020 BME MIT | Hibajelentés | Használati útmutató