Critical Software Analysis on RTEMS 4.5.0

[Nickolay Kolchin]

Can you provide some links to this report?

Nickolay

On 5/16/05, Fabrício de Novaes Kucinskis <fabricio at dea.inpe.br> wrote:
> 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
> 
>