[elektro] RTOS-safe?

[Info]

Köszönöm a válaszokat, néhány szám hirtelen:
www.highintegritysystems.com/safertos/

> 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]
>>
> -----------------------------------------
>           elektro[-flame|-etc]