Użytkownik "Adam M" <a...@m...com> napisał:

> > Dodaktowo wymaganiem jest wysoka niezawodnosc oprogramowania - polecam poczytac
MISRA C i MISRA
> > C++ standard.
>
>> Taaa. Koszmarek MISRA (zwana przez nas pieszczotliwie SZMIRA) zamiast chocby Ady.
[...]
> ze sterownik silnika dostanie BSOD lub sterownik ABS postanowi przeprowadzic
odsmiecanie pamieci i
> hamulce
> zadzialaja ale z opoznieniem.

Czy MISRA C sama z siebie zapewnia/wspiera/weryfikuje realtime ? Hę :)
Prosze o odpowiedni akapit :)

> I prosze nie wycigac mi tu Ady

A wlasnie ze tak!. Po trzykroc tak!
Ada jest chyba jedynym jezykiem programowania _od poczatku przemyslanym i
zaprojektowanym
z mysla o moznosci zweryfikowania zgodnosci kodu programu z zalozeniami.
Zadna MISRA nei tylko ze tego nei gwarantruje ale jest do tego w pelni "ortogonalna".
Ot kolejny (wciaz dziurawy) standard kodowania ktory z C robi zupelnie inny (podset
C) jezyk
w ktorym sie koszmarnie pisze, a i tak Adzie nie dorasta do piet.

PS: Byc moze wlasnie niezwykle trudny/restrykcyjny proces dopuszczenia/standaryzacji
kompilerow Ady
byl
jedna z przyczyn jej stangacji, ale nei zmienia to faktu ze poroiwnanie Ady z MISRA C
jest po prostu
nieprzyzwoite:)

PS1: Trakruje MISRE C/C++ jako zwyczajny restrykcyjny coding style (no doobra, nieco
wiecej ale
tylko nieco:)
i nie zmienie zdania dokonca swych dni.

AK


---
Ta wiadomość została sprawdzona na obecność wirusów przez oprogramowanie antywirusowe
Avast.
https://www.avast.com/antivirus