misra checker

[Josef Štengl]

To buďte rád :-)

trochu lepší odkaz
http://www.ristancase.com/html/dac/manual/3.12.02%20MISRA-C%202004%20Rules.html

nebo wikipedia.

Misra znamená Motor Industry Software Reliability Association a používá 
se v automobilovém průmyslu pro věci které mohou ohrožovat život jako 
např převodovka (SIL2), nebo eklektický posilovač řízení (SIL4).

Momentálně definované pro C90 (ANSI C).

Někdy v blízké budoucnosti i snad i pro C99.


Hodně hrubě.

SIL udává množství pravilel, která se musí dodržovat (a úměrně přehlšel 
papírů, které se musí vyplňovat.

SIL 0 je kde to nemůže ohrozit život (tedy tak nějak, prostě každý kdo o 
tom nemusel slyšet :-)

SIL 2 snaha všech rozumných lidí, kteří do SIL pekla spadly.

SIL 4 je SW, který má přímo souvisí se životy. Vydat jen papíry na SIL 4 
SW trvá dva dni, a to je všechno ostatní hotovo, testovací řidič 
připraven v autě a výroba už seká zmetky :-)

1 a 3 jsou prakticky 2 a 4.

Pak je tu ještě ASIL A až D :-)

ced


Dne 5.2.2013 11:04, Jaroslav Buchta napsal(a):
> O necem takovem slysim poprve, to je neco jako tato pravidla?
> http://www.moasoftware.co.kr/ldrapdf/LDRA_MISRAC_2004_Standard_Compliance_v2.5.5.pdf
>
>
>
> Dne 5.2.2013 10:55, Milan Kovar napsal(a):
>> Na ten jsem se taky díval. Ten je tak za 12000EUR.
>> Máte k němu i RTCA-DO178B kvalifikační kit?
>> Momentálně testuji jeho trial verzi, ale odrazuje mě jeho cena.
>>
>> Milan
>>
>> Dne 5.2.2013 10:48, Josef Štengl napsal(a):
>>> Hezký den,
>>>
>>> S C++ z odkazu ne. Mám jen s QAC (hodně drahá záležitost). Pokud by
>>> jste měl nějaký pro C (bez ++ :-), co bych mohl (třeba i zkušebně)
>>> spustit a zkontrolovat kód, tak nejsem neochoten pomoci. MISRA hlášky
>>> mi znepříjemňují život přes 4 roky.
>>>
>>> Dost velký problém checkerů jsou false positive chyby u některých
>>> checkerů (speciálně od TI, začátečníka vyděsí). Člověk pak musí
>>> vědět, co je chyba checkeru a co co kódu. Je to docela otravné.
>>>
>>> ced
>>>
>>> Omlouvám se za anglicizmy.
>>>
>>> Dne 5.2.2013 10:31, Milan Kovar napsal(a):
>>>> Přeji pěkný den.
>>>>
>>>> Potřeboval bych testovat software na plnění pravidel MISRA-C:2004 a
>>>> MISRA-C++:2008.
>>>> Nemáte někdo zkušenosti s konkrétním checkerem?
>>>>
>>>> Milan
>>>>
>>>>
>>>> /
>>>> /
>>>> <http://developer.klocwork.com/community/forums/customization/cc-checkers/misra-c-2008-standards-vrel2>
>>>>
>>>>
>>>>
>>>>
>>>> _______________________________________________
>>>> HW-list mailing list - sponsored by www.HW.cz
>>>> Hw-list na list.hw.cz
>>>> http://list.hw.cz/mailman/listinfo/hw-list
>>> _______________________________________________
>>> HW-list mailing list - sponsored by www.HW.cz
>>> Hw-list na list.hw.cz
>>> http://list.hw.cz/mailman/listinfo/hw-list
>>>
>>
>>
>> _______________________________________________
>> HW-list mailing list - sponsored by www.HW.cz
>> Hw-list na list.hw.cz
>> http://list.hw.cz/mailman/listinfo/hw-list
>
> _______________________________________________
> HW-list mailing list - sponsored by www.HW.cz
> Hw-list na list.hw.cz
> http://list.hw.cz/mailman/listinfo/hw-list