Magas szintű integrált környezet megbízható rendszerek tervezéséhez

Tanszéki témavezető: Pataricza András
Hivatalos projektvezető: University of Erlangen

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.

Partnerek:

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

További információk a projektről:
Hivatalos honlap: http://www.inf.mit.bme.hu/FTSRG/Projects/hide98.html
Tanszéki honlap: http://www.mit.bme.hu/projects/hide98/
Hivatalos emailcím: pataric@mit.bme.hu