RES: Critical Software Analysis on RTEMS 4.5.0

[Fabrício de Novaes Kucinskis]

Nickolay, Sam,


I'm sorry, but I haven't any link to this. I've just got a printed version.


Fabrício.



-----Mensagem original-----
De: sam wun [mailto:sam.wun at authtec.com]
Enviada em: terça-feira, 17 de maio de 2005 11:36
Para: Nickolay Kolchin
Cc: Fabrício de Novaes Kucinskis; RTEMS - Mailing List
Assunto: Re: Critical Software Analysis on RTEMS 4.5.0


Nickolay Kolchin wrote:

>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,
>>
>>
>>
>>
I m interest to have a look at the report too.

Regards
Sam