Dr. Polgár Balázs polgar@mit.bmestatic.inf.mit.bme.hu/decoscd/presentations/Megfeleloseg... · UML SySML DECOS MODEL Technológia tervezés Alkalmazás tervezés. 36 DECOS Nemzeti
Post on 06-Feb-2018
221 Views
Preview:
Transcript
DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Megfelelőség tanúsítása modell alapon
Dr. Polgár Balázs
polgar@mit.bme.hu
2DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Miről lesz szó?
3DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Tartalom� Célkitűzés
� Megoldandó feladatok
� A tesztkörnyezet komponensei
� V&V folyamatok
� Eszközintegrációs szintek
� Megfelelőségtanúsítás ontológia alapon
4DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Tartalom
�Célkitűzés� Megoldandó feladatok
� A tesztkörnyezet komponensei
� V&V folyamatok
� Eszközintegrációs szintek
� Megfelelőségtanúsítás ontológia alapon
5DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Cél� Kidolgozott technológia validálása
� architektúra modell, alap és magas szintű
szolgáltatások, hardver, eszközök
� Technológia használatával fejlesztett
alkalmazások validálása
Core Operating System (COS)
. . . HW Fault-ToleranceLayer - HFTL
Layered TTP - LTTP (L-Flexray)
Végrehajtó környezet
FPGA kártya
(Xilinx Virtex4)
DECOS HálózatPartíciók
Alap operációs rendszer (COS)
OS támogatóréteg
Biztonság-kritikusjob
. . .
Szenzorok/beavatkozók
OS támogatóréteg
Nem
biztons
ág-
kritiku
s job
Nem
biztons
ág-
kritiku
s job
...
OS tám.
Virtuálisátjárók
OS tám.
I/O
Fizikaiátjárók
Védett osztottmemória
HFTL *Csomagolás
összehasonlítás
Kommunikációsvezérlo
Core Operating System (COS)
. . . HW Fault-ToleranceLayer - HFTL
Layered TTP - LTTP (L-Flexray)
Végrehajtó környezet
FPGA kártya
(Xilinx Virtex4)
DECOS HálózatPartíciók
Core Operating System (COS)
. . . HW Fault-ToleranceLayer - HFTL
Layered TTP - LTTP (L-Flexray)
Végrehajtó környezet
FPGA kártya
(Xilinx Virtex4)
DECOS HálózatPartíciók
Alap operációs rendszer (COS)
OS támogatóréteg
Biztonság-kritikusjob
. . .
Szenzorok/beavatkozók
OS támogatóréteg
Nem
biztons
ág-
kritiku
s job
Nem
biztons
ág-
kritiku
s job
...
OS tám.
Virtuálisátjárók
OS tám.
I/O
Fizikaiátjárók
OS tám.
I/O
Fizikaiátjárók
Védett osztottmemória
HFTL *Csomagolás
összehasonlítás
Kommunikációsvezérlo
Védett osztottmemória
HFTL *Csomagolás
összehasonlítás
Kommunikációsvezérlo
6DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Cél pontosítása� Keretrendszer kidolgozása, mely
� támogatja a teljes ellenőrzési folyamatot,
� képes külső ellenőrző eszközöket integrálni
� nyílt, könnyen bővíthető
� Az ellenőrzési (verifikációs-validációs – V&V) folyamat� követelmény-vezérelt
� biztonsági, minőségi szabványokra épül
� megoldja az alábbi lépéseket:• feladatkiadás
• eredménybegyűjtés
• eredménykiértékelés
7DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
� Technológiára vonatkoznak
� Hogyan kell felépülnie a fejlesztési folyamatnak?
� Komponensek ellenőrzésérevonatkoznak
� Mit hogyan kell validálni?
Különböző szabványokat kell tudni
kezelni a V&V fázisban.
8DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Különböző szabványokat kell tudni
kezelni a V&V fázisban.
•Autóipar• ISO/IEC 61508,
• ISO WD 26262
•Repülőgépipar• DO 178B, DO 160D,
• MIL-STD-461E
•Ipari folyamatvezérlés• IEC 61511, IEC 61131,
• EMC-directive 89/336/EC
•Egyebek: EN 50129, IEC
62061, IEC 60601
9DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Tartalom� Célkitűzés
�Megoldandó feladatok� A tesztkörnyezet komponensei
� V&V folyamat
� Eszközintegrációs szintek
� Megfelelőségtanúsítás ontológia alapon
10DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Megoldandó feladatok� 1. Szabványokban megfogalmazott általános metodikai
előírások lefordítása egy ellenőrzési folyamatra� workflow lépései minél magasabb fokon automatizálhatók
legyenek
• feladatkiadás
• adatmozgatás
• határidőfigyelés
• eredménybegyűjtés
• eredménykiértékelés
� DOORS-ban implementálva
� meglévő workflow-modellek készen átvehetők
11DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Megoldandó feladatok� 2. Ellenőrzési folyamat finomítása elemi lépésekre
� Elemi lépésekhez tartozó ellenőrző eszközöket integrálni kell
• Tapasztalatok szerint az eszközök integrációja ugyanannyiba szokott kerülni,
mint maga az eszközök összértéke
� MQ-t használjuk, fölötte workflow motor
� 3. Központi modellek harmonizálása az ellenőrzőeszközök, mérési környezetek saját modellezési nyelvével� modelltranszformációs probléma
� megvalósítás VIATRA-val
12DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Tartalom� Célkitűzés
� Megoldandó feladatok
�A tesztkörnyezet komponensei� V&V folyamat
� Eszközintegrációs szintek
� Megfelelőségtanúsítás ontológia alapon
13DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Toolchain verifikációs része1. lépés: Ellenőrzési folyamat definiálása� Megvalósulás: validációs terv (V-terv)
� Technológiafejlsztés során kell elkészíteni
2. lépés: Ellenőrzési folyamat végrehajtása� V&V tevékenységek sorozata
� részben technológiafejlsztés során
� részben alkalmazásfejlesztés során
2.a lépés: Ellenőrző eszköz bemeneti modelljének előállítása
� Központi modellek transzformációja
2.b lépés: Egy ellenőrzési lépés (V&V tevékenység) végrehajtása
14DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Általános tesztkörnyezet – a keretrendszer
DECOS - Test Bench keretrendszer
Követelmények V&V tevékenységek
V&Veljárások
Tesztesetgenerálás
V&V eszközök
Bizonyítékok
Más források (pl. domain)
DECOS elemek
Szabványok
Tesztelendő elem
Tanúsítási bizonylatok
Validációs terv (V-Plan)
Biztonsági eset (safety case)
Pozitíveredm.
Visszajelzés a tervezőnek
Negatív eredm.
Külső teszt eszközök
15DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Általános tesztkörnyezet – a keretrendszer
DECOS - Test Bench keretrendszer
Követelmények V&V tevékenységek
V&Veljárások
Tesztesetgenerálás
V&V eszközök
Bizonyítékok
Más források (pl. domain)
DECOS elemek
Szabványok
Tesztelendő elem
Tanúsítási bizonylatok
Validációs terv (V-Plan)
Biztonsági eset (safety case)
Pozitíveredm.
Visszajelzés a tervezőnek
Negatív eredm.
Külső teszt eszközök
Függőleges irány: „tartalmazza” vagy „használja”
16DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Általános tesztkörnyezet – a keretrendszer
DECOS - Test Bench keretrendszer
Követelmények V&V tevékenységek
V&Veljárások
Tesztesetgenerálás
V&V eszközök
Bizonyítékok
Más források (pl. domain)
DECOS elemek
Szabványok
Tesztelendő elem
Tanúsítási bizonylatok
Validációs terv (V-Plan)
Biztonsági eset (safety case)
Pozitíveredm.
Visszajelzés a tervezőnek
Negatív eredm.
Külső teszt eszközök
Vízszintes irány: információáramlás
17DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Általános tesztkörnyezet – a keretrendszer
DECOS - Test Bench keretrendszer
Követelmények V&V tevékenységek
V&Veljárások
Tesztesetgenerálás
V&V eszközök
Bizonyítékok
Más források (pl. domain)
DECOS elemek
Szabványok
Tesztelendő elem
Tanúsítási bizonylatok
Validációs terv (V-Plan)
Biztonsági eset (safety case)
Pozitíveredm.
Visszajelzés a tervezőnek
Negatív eredm.
Külső teszt eszközök
Biztonsági eset� Tesztelendő elem specifikus� Bizonyítja, hogy az adott elem megfelelően
biztonságos
18DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Általános tesztkörnyezet – a keretrendszer
DECOS - Test Bench keretrendszer
Követelmények V&V tevékenységek
V&Veljárások
Tesztesetgenerálás
V&V eszközök
Bizonyítékok
Más források (pl. domain)
DECOS elemek
Szabványok
Tesztelendő elem
Tanúsítási bizonylatok
Validációs terv (V-Plan)
Biztonsági eset (safety case)
Pozitíveredm.
Visszajelzés a tervezőnek
Negatív eredm.
Külső teszt eszközök
� Tesztelendő elem specifikus� Tartalmazza a teljesítendő követelmények
listáját� Leírja a kapcsolódó V&V tevékenységeket� Metainformációkat tartalmaz (pl. felelős)
19DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Általános tesztkörnyezet – a keretrendszer
DECOS - Test Bench keretrendszer
Követelmények V&V tevékenységek
V&Veljárások
Tesztesetgenerálás
V&V eszközök
Bizonyítékok
Más források (pl. domain)
DECOS elemek
Szabványok
Tesztelendő elem
Tanúsítási bizonylatok
Validációs terv (V-Plan)
Biztonsági eset (safety case)
Pozitíveredm.
Visszajelzés a tervezőnek
Negatív eredm.
Külső teszt eszközök
Példa: PIM validálása
20DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Általános tesztkörnyezet – a keretrendszer
DECOS - Test Bench keretrendszer
Követelmények V&V tevékenységek
V&Veljárások
Tesztesetgenerálás
V&V eszközök
Bizonyítékok
Más források (pl. domain)
DECOS elemek
Szabványok
Tesztelendő elem
Tanúsítási bizonylatok
Validációs terv (V-Plan)
Biztonsági eset (safety case)
Pozitíveredm.
Visszajelzés a tervezőnek
Negatív eredm.
Külső teszt eszközök
� Eszközök� Köztes réteg (middleware)� Hardver� Modellek (pl. PIM)� Alkalmazások
Pl. autóiparban SIL3-as szintet kell elérni,repülőgépiparban SIL4 a követelmény
Pl. a már említettek
21DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Általános tesztkörnyezet – a keretrendszer
DECOS - Test Bench keretrendszer
Követelmények V&V tevékenységek
V&Veljárások
Tesztesetgenerálás
V&V eszközök
Bizonyítékok
Más források (pl. domain)
DECOS elemek
Szabványok
Tesztelendő elem
Tanúsítási bizonylatok
Validációs terv (V-Plan)
Biztonsági eset (safety case)
Pozitíveredm.
Visszajelzés a tervezőnek
Negatív eredm.
Külső teszt eszközökPl. PIM validálása RACER-rel
1. RACER bemeneti modelljének előállítása
2. RACER futtatása
22DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Általános tesztkörnyezet – a keretrendszer
DECOS - Test Bench keretrendszer
Követelmények V&V tevékenységek
V&Veljárások
Tesztesetgenerálás
V&V eszközök
Bizonyítékok
Más források (pl. domain)
DECOS elemek
Szabványok
Tesztelendő elem
Tanúsítási bizonylatok
Validációs terv (V-Plan)
Biztonsági eset (safety case)
Pozitíveredm.
Visszajelzés a tervezőnek
Negatív eredm.
Külső teszt eszközök
Például:� ITEM (Veszély és kockázat analízis)� RACER (Formális verifikáció)� SCADE MTC (Szimuláció)� LDRA (Tesztelés)� PROPANE (Hibainjektálás)� EMI teszt környezet
Egy DECOS elem konkrét megvalósulása (pl. egy adott PIM modell)
23DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Általános tesztkörnyezet – a keretrendszer
DECOS - Test Bench keretrendszer
Követelmények V&V tevékenységek
V&Veljárások
Tesztesetgenerálás
V&V eszközök
Bizonyítékok
Más források (pl. domain)
DECOS elemek
Szabványok
Tesztelendő elem
Tanúsítási bizonylatok
Validációs terv (V-Plan)
Biztonsági eset (safety case)
Pozitíveredm.
Visszajelzés a tervezőnek
Negatív eredm.
Külső teszt eszközök
24DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Általános tesztkörnyezet – a keretrendszer
DECOS - Test Bench keretrendszer
Követelmények V&V tevékenységek
V&Veljárások
Tesztesetgenerálás
V&V eszközök
Bizonyítékok
Más források (pl. domain)
DECOS elemek
Szabványok
Tesztelendő elem
Tanúsítási bizonylatok
Validációs terv (V-Plan)
Biztonsági eset (safety case)
Pozitíveredm.
Visszajelzés a tervezőnek
Negatív eredm.
Külső teszt eszközök
25DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Tartalom� Célkitűzés
� Megoldandó feladatok
� A tesztkörnyezet komponensei
�V&V folyamat� Eszközintegrációs szintek
� Megfelelőségtanúsítás ontológia alapon
26DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Fejlesztési és V&V folyamat kapcsolódása
27DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Tartalom� Célkitűzés
� Megoldandó feladatok
� A tesztkörnyezet komponensei
� V&V folyamat
�Eszközintegrációs szintek� Megfelelőségtanúsítás ontológia alapon
28DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Általános tesztkörnyezet – V&V eszközök integrációja
Eszközintegrációs szintek
� Nincs külső eszköz: pl. ellenőrző lista
� Eszköz DOORS-ban implementálva
� Kézzel végrehajtott külső eszköz: pl. PROPANE (SWIFI)
� Eszköz indítása dialógusablakban (“adott gomb megnyomásával”)
� Automatikusan végrehajtott külső eszköz: pl. RACER (Ontologia alapú konzisztencia és teljesség ellenőrzés)
� Eszköz indítása a megfelelő szervernek küldött üzenettel (felhasználói
közreműködésre nincs szükség)
� Külső tesztkörnyezet: pl. EMI Hardware Test Bench
� Az eszköz különálló hardveren fut, visszacsatolás emaillel vagy üzenettel
29DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Példa DOORS-ban implementált ellenőrző listára
30DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Példa kézzel végrehajtott külső eszközre (LDRA)
31DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Példa automatikusan végrehajtott külső eszközre
1
2 4
56
79108
1113
14
PIM validáció Racerrel
3
ellenőrzendő PIM12
32DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
User
DOORS Client
Általános felépítés(példa: PIM ellenőrzés RACER-rel)
33DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Példa távoli, külső tesztkörnyezet kézi integrációjára
EMI Hardver teszt és szimuláció
� tesztbemenet laborba elküldvee-mailen + referencia az adatra
� részletes DUT (Device Under Test) leírás� EMC jelenség tesztelése
� DUT felhasználótól kerül a laborba
� tesztberendezés a tesztbemenetnek megfelelően kerül beállításra
� tesztek ‘kézzel' kerülnek végrehajtásra a laborban
� teszteredmények e-mailen visszaküldve
Bemenet és kimenet formátuma szabványosítva
34DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Tartalom� Célkitűzés
� Megoldandó feladatok
� A tesztkörnyezet komponensei
� V&V folyamat
� Eszközintegrációs szintek
�Megfelelőségtanúsítás ontológia alapon
35DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Modellezési folyamat részeként1. nyelveket tervezünk
� technológiatervezés
� domain specifikus nyelvek (metamodellek)
� követelményleírásokkalkiegészítve (pl. OCL kényszerek)
2. adott nyelven modellezünk� alkalmazástervezés
� metamodellek példányai
UML
SySML
DECOS
MODEL
Technológia tervezés
Alkalmazás tervezés
36DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Feladat1. Megtervezett nyelvek konzisztenciáját ellenőrizni kell
� pl. nincs körkörös tartalmazás a nyelvi elemek között
� pl. nincs kielégíthetetlen nyelvi elem
� metamodell konzisztenciájának ellenőrzése
2. Domain specifikus modellt (alkalmazásmodellt) ellenőrizni kell� adott nyelven van-e leírva (metamodellnek való megfelelőség)
� konzisztens-e
� teljes-e
� extra követelményeket kielégíti-e
���� Ontológiák használata
37DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Ontológia
Olyan adatmodell, ami� egy domain-t jelenít meg és
� a használata támogatja a következtetéseket
� a domain objektumaival és
� a köztük lévő relációkkal kapcsolatban.
Az ontológiákat általában tudásreprezentációra használják.
� Tipikus felhasználási területek:
� mesterséges intelligencia
� szemantikus web
� Leírásuk leíró logikákkal (descriptionlogic) történik
� következtetőgépek ezek fölött működnek
� ilyen pl. a RACER
Az ontológiák az alábbi főbb elemekből állnak:
� Indivídumok:alap szintű objektumok
� Osztályok:halmazok, gyűjtemények vagy objektumtípusok
� Attribútumok:tulajdonság, karakterisztika vagy paraméter, amivel az objektum rendelkezhet
� Relációk:objektumok közti kapcsolatok
38DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Eredmény� Konzisztens metamodellek (nyelvek) a
technológiafejlesztés folyamán� A nyelv minden modellje bizonyítottan konzisztens lesz
� Eszköz az alkalmazásmodellek ellenőrzésére� metamodellnek való megfelelés
� konzisztensség, teljesség
� extra kényszerek ellenőrzése (pl. multiplicitás, logikai,
strukturális)
� Számszerűségek ellenőrzése
� Modell elemeinek klasszifikálása
39DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Példa� Logikai kényszer: Egy erőforrás (Resource) replikáinak
száma (redundancyDegree) meg kell egyezzen az
erőforrást kezelő folyamat (Job) replikáinak számával
(redundancyDegree)
40DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Példa� Helyes modell
� Inkonzisztens modell
RACER ontológia
alapúkövetkeztető
VIATRA transzformációs
keretrendszer
DomainSpecifikus
Modell Editor
RACER ontológia
alapúkövetkeztető
VIATRA transzformációs
keretrendszer
DomainSpecifikus
Model Editor
VIATRA
41DECOS Nemzeti Nap2007. október 15.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
Összefoglalás� Általános verifikációs és validációs keretrendszer került
kidolgozásra� V&V eszközök integrálása viszonylag kis ráfordítással megoldható
� DECOS-ban néhányat megvalósítottunk
� Támogatja a tanúsított technológiák és alkalmazások kidolgozását
� Alkalmas szabványos ellenőrzési folyamatok megfogalmazására
� Modellező nyelvek helyessége formálisan ellenőrizhető� Ontológiák és leíró logikák feletti következtetőgépek használatával
top related