[elektro] RTOS-safe?

[SZIGETI Szabolcs]

Hali!

Van. megpróbálom megtalálni a számát. Régi munkahelyemen egyszer bejött egy
ilyen meló, egy tanúsítócégnek kellett segíteni valami kritikus helyen lévő
vezérlő szoftverének tanúsításában.
Rengeteg előírás volt, a legtöbb arra ment ki, hogy nem várt esetekben
hogyan kell működnie a cuccnak, illetve, hogy mindenféle hibát és
inkonzisztenciát fel kell ismernie. Talán leginkább úgy lehetne
összefoglalni, hogy mindig determinisztikusan működjön.
Pl. olyan triviális dolgok, hogy resetnél ne random aktivizálja a
beavakozószerveket, olyan kevésbé triviális dolgokig, hogy akármilyen
elszállás esetén se kapcsolja rá a nagyfeszt a munkásra, de ha kérik, akkor
meg mindig.
Különböző belső konzisztencia és integritás ellenőrzések kellettek, hogy mi
van, ha memória hiba, mi van, ha elfogy a stack, stb. és ezekre úgy
reagáljon, hogy lehetőleg ne csináljon nagyobb kárt.
Ezekből elég sok előírást lehet generalizálni akár egy OS-re is. A
tanúsítás meg gondolom egy nagy vagon pénz (amúgy tényleg rengeteg munka)
és nyilván csak jól definiált konfigurációra igaz. Ezért adják a minősített
cuccot pénzért.

Szabolcs




2013. november 22. 13:43 Info írta, <info at kiralyelektronika.hu>:

> > Nincs ára, teljesen open source. Egyedüli költség a könyvé, azt nem lehet
> > ingyen letölteni. De semmyilen royalty vagy egyéb egyszeri költsége
> nincs.
> > Létezik belőle autóipari verzió is, tanúsítványokkal azért gondolom
> fizetni
> > kell.
>
> Erre kíváncsi lennék, hogy lesz belőle ipari verzió.
> Mármint, hogy mi teszi az os-t iparivá.
> Esetleg biztonságtechnikailag elfogadhatóvá.
> Biztos van erre valami szabvány...?
>
> -----------------------------------------
>           elektro[-flame|-etc]
>