„Rendszermodellezés (régi)/Igaz Hamis kikérdező” változatai közötti eltérés

|cím=ReMo kikérdező

}}

== 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

== A követelménygráf élei ==

# irányítottak

# mentén voltaképp a követelmények finomítását hajtjuk végre.

== 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.

== 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?

== Ha egy folyamatmodell NEM tartalmaz join elemet, akkor az a modell biztosan ==

# nem jólstruktúrált.

# tartalmaz merge elemet.

== 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.

== 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.