„Rendszermodellezés (régi)/Igaz Hamis kikérdező” változatai közötti eltérés
A VIK Wikiből
Nincs szerkesztési összefoglaló |
Nincs szerkesztési összefoglaló |
||
51. sor: | 51. sor: | ||
# alkalmas a komplex rendszeres szolgáltatásbiztonságának elemzésére a komponensek tulajdonságai alapján. | # alkalmas a komplex rendszeres szolgáltatásbiztonságának elemzésére a komponensek tulajdonságai alapján. | ||
# az elemi meghibásodások függetlenségének feltételezésével használható kvantitatív elemzésére is. | # az elemi meghibásodások függetlenségének feltételezésével használható kvantitatív elemzésére is. | ||
== Egyensúlyi helyzetben lévő rendszer teljesítménymodellje esetén == | |||
{{kvízkérdés|típus=több|válasz=2,4|pontozás=+}} | |||
# az érkezési ráta meghaladhatja az átbocsájtóképességet | |||
# időegységenként átlagosan annyi folyamatpéldány indul, mint ahány befejeződik | |||
# az átbocsátási ráta és az átbocsájtóképesség mindig megegyezik | |||
# a Little-törvény fennáll | |||
== Ha az egyik állapotrégió 5 állapotot és 12 átmenetet, a másik régió 4 állapotot és 10 átmenetet tartalmaz, akkor az asszinkron szorzatukként számolt állapotgép további finomítás híján == | |||
{{kvízkérdés|típus=több|válasz=3|pontozás=+}} | |||
# 100 | |||
# 60 | |||
# 98 | |||
# 140 | |||
== Adatfolyamhálóval leírt rendszerünk modelljében == | |||
{{kvízkérdés|típus=több|válasz=1,3,4|pontozás=+}} | |||
# az egyes csomópontok belső pontjai egymástől közvetlenül (kommunikáció nélkül) nem függenek. | |||
# mindenképp lesz legalább egy decision csomópont, különben a modell nem terminál. | |||
# a csomópontok felbonthatóak további alfolyamhálókra, amennyiben a bemeneti és kimeneti csatornák változatlanok | |||
# a kommunikáció alapesetben végtelen kapacitású FIFO csatornákon zajlik. |
A lap 2015. december 15., 21:28-kori változata
Ha egy rendszer működését kísérletekkel közelítjük
- soha nem kapunk 99%-nál pontosabb eredményt
- a kísérletek pontossága a kísérletek számának gyökével (-mert fordítottan-) arányos
- kellő számú kísérlet elvégzése esetén támaszkodhatunk a centrális határeloszlás tétel alapján felírt összefüggésekre
- a tapasztalati szórás abszolútértéke mindig kisebb, mint a tapasztalati átlagé.
A követelménygráf élei
- irányítottak
- mentén voltaképp a követelmények finomítását hajtjuk végre.
- mindig nemfunkcionális követelményeket kötnek össze funkcionálissal.
- mindig egymásnak ellentmondó követelmény eket kötnek össze.
M1 és M2, őrfeltételeket is tartalmazó állapotgépek asszinkron szorzata
- mindig több állapotból áll, mint M1 és M2 állapotainak összege
- tartalmazhat hurokélet.
- csak akkor áll chat elő, ha M1 és M2 bemenethalmaza megegyezik.
- tartalmazhat nem elérhető állapotot.
Ha egy állapotgépről tudjuk, hogy determinisztikus, és teljes(en specifikált). Következik ebből, hogy
- minden állapotból minden bemenethez legalább egy állapotátmenet tartozik?
- minden állapotból minden bemenethez legfeljebb egy állapotátmenet tartozik?
- minden állapotból elérhető a kezdőállapot?
- minden állapot elérhető a kezdőállapotból?
Ha egy folyamatmodell NEM tartalmaz join elemet, akkor az a modell biztosan
- nem jólstruktúrált.
- tartalmaz merge elemet.
- hierarchikus.
- terminál.
Az r(t) megbízhatósági függvény
- a komponens pillanatnyi működőképességét jellemzi, esetleges korábbi meghibásodásoktól és javításoktól fgtlnl.
- értéke sosem nagyobb, mint a rendelkezésre állási függvény értéke.
- értéke sosem nagyobb 1-nél.
- értéke 1/MTTF a kádgörbe.
A hibafa
- csomópontjai hibaállapotok, élei meghibásodások.
- alkalmas egyszeres hibapontok (SPOF) azonosításra.
- alkalmas a komplex rendszeres szolgáltatásbiztonságának elemzésére a komponensek tulajdonságai alapján.
- az elemi meghibásodások függetlenségének feltételezésével használható kvantitatív elemzésére is.
Egyensúlyi helyzetben lévő rendszer teljesítménymodellje esetén
- az érkezési ráta meghaladhatja az átbocsájtóképességet
- időegységenként átlagosan annyi folyamatpéldány indul, mint ahány befejeződik
- az átbocsátási ráta és az átbocsájtóképesség mindig megegyezik
- a Little-törvény fennáll
Ha az egyik állapotrégió 5 állapotot és 12 átmenetet, a másik régió 4 állapotot és 10 átmenetet tartalmaz, akkor az asszinkron szorzatukként számolt állapotgép további finomítás híján
- 100
- 60
- 98
- 140
Adatfolyamhálóval leírt rendszerünk modelljében
- az egyes csomópontok belső pontjai egymástől közvetlenül (kommunikáció nélkül) nem függenek.
- mindenképp lesz legalább egy decision csomópont, különben a modell nem terminál.
- a csomópontok felbonthatóak további alfolyamhálókra, amennyiben a bemeneti és kimeneti csatornák változatlanok
- a kommunikáció alapesetben végtelen kapacitású FIFO csatornákon zajlik.