Critical Software Analysis on RTEMS 4.5.0

[Fabrício de Novaes Kucinskis]

Hi all,


I heard about an extensive analysis that Critical Software did on the RTEMS
4.5.0 port to ERC32 under a contract with ESA.

Do you know about it? There were 49 errors reported (34 on the Classic API,
15 on Posix) - it's important to notice that this analysis has occurred
focusing space applications, so the requirements are higher than the normal.

Best regards,



Fabrício de Novaes Kucinskis - DEA / INPE
-----------------------------------------
Divisão de Eletrônica Aeroespacial
Instituto Nacional de Pesquisas Espaciais