Biorobot hadtest

Vágyvezérelt

declares a state variable of type address

The address type is a 160-bit value that does not allow any arithmetic operations

Anyone can send coins to each other without a need for registering with a username and password, all you need is an Ethereum keypair

To access a member (like a state variable) of the current contract, you do not typically add the this. prefix, you just access it directly via its name.

declares a state variable called storedData of type uint (unsigned integer of 256 bits)

This is to ensure that the contract is not compilable with a new (breaking) compiler version, where it could behave differently.

Machine-readable license specifiers are important in a setting where publishing the source code is the default.

sets the value of a variable

exposes it for other contracts to acces

A = MTTF / (MTTF+MTTR)

folytonos idejű markov lánc

nem biztonságos

több lehetőség is van arra, hogy az alrendszer kimenete rossz legyen

Nem monoton hibafák = van javítás

nulla valószínűséggel lesz nulla alatt

Nem befolyásolják egymást a komponensek

Hibaesemények dekomponálása komponensekre, amelyek elromolhatnak

érkezési ráta szerint növekszik, kiszolgálási ráta szerint csökken

általános markov láncok felrobbannak

elnyelés valószínűsége adott időpillanatig

numerikus: adott pontosságig konvergálok egy módszerrel

mátrix, amely komponens szám*komponens szám, a komponensek közötti ráták vannak benne

minden időpillanatban hozzárendel egy valószínűséget az állapotokhoz

• nem exponenciális eloszlások kezelhetetlenek, csak szimulálni lehet majd

• megbízhatósági analízis: ha az érdekel, hogy balesetet tudok-e okozni

• redundáns és van javítási ráta

• redundáns, csak akkor nem működik, ha mindkettő működik

• ha már egyszer balesetet okozott, akkor nem érdekel, ha többször elromlik
• megbízhatóság nem változik

memória mentes tulajdonság, a jövő a multtól csak a jelenen keresztül függ

Nincs keresztél, mert kicsi a valószínűsége, hogy egyszerre meghibásodnak

hibarátát írunk fel, pl időablakonként kettő romlik el

örökifjú eloszlás

minden egyes komponens p valószínűséggel romolhat el

lemaradt 1 2-es

0.1 tized a valaoszinusege, hogy elromlik

időablakokat összeszorzunk, hogy mi a valószínűsége, hogy k-1 időablakban nem romlik el

cinkelt pénzérme, hányadik időablakban fog meghibásodni?

egyszerű komponens szintű model

folyamatosan kell működnie

kérdezünk válaszol

hibaráta arról, hogy óránként mekkora valószínűsséggel hibásodhat meg (óránként mekkora valószínűsségel okozhat balesetet)

Amikor kérdést teszek fel a rendszernek, akkor mekkora valószínűséggel nem/rosszul fog válaszolni

Auto iparban ASIL van

mennyi ideig elérhetetlen a rendszerem

mennyi ideig működik, miután megjavítottam

időn át nem változik a viselkedése, mindegy, hogy melyik u-t nézem

valószínűségi egyensúly = eloszlás állandó

• tegyünk fel egyszerű függvényt: up down
• Transiens: hogyan viselkedik adott időpontban

első meghibásodás ideje a várható értéke a reliability függvénynek

megbízhatóság konkrét matematikai fogalma: adott t időn át folyamatosan működik elromlás nélkül

minden eseményhez hozzárendel valós számot

függetlenek szorozhatók csak össze

vagy kapcsolat két esemény között, felső becslés

összeadjuk a halmazokat, kivonjuk a metszetet, hogy ne vegyük kétszer

könnyen javíthatóság

ne lehessen a rendszert jogosultság nélkül befolyásolni

dinamikus egyensúly esetén hogyan fog viselkedni

safety: véletlen hiba security: támadó elleni védekezés

magyarul szolgáltatásbizonság

kibocsáltó képesség pl.

milyen valószínűséggel romolhat el

megbízható és biztonsági követelmények forgalomba kerüléshez

rendelkezésre állás, mekkora valószínűséggel nyújt szolgáltatás

hiba nélküli futás valószínűsége

átfedés reliabilityvel

It is consumed zero times a lot in this example.

https://en.wikipedia.org/wiki/Extended_Backus%E2%80%93Naur_form

kibocsáltó képesség pl.

milyen valószínűséggel romolhat el

megbízható és biztonsági követelmények forgalomba kerüléshez