RES: Critical Software Analysis on RTEMS 4.5.0

[Joel Sherrill <joel@OARcorp.com>]

I found the link to the ESTEC ftp server:


ftp://ftp.estec.esa.nl/pub/tos-qq/qqs/RAMSFrameContract/RTEMS_DependabilityTesting/

If someone is going to make a go at reading and analyzing this, I would 
politely suggest adding an RTEMS Wiki entry on this and trying to list 
problems, RTEMS PR numbers, and comments.  The Wiki did not exist when
I did it.

--joel

Fabrício de Novaes Kucinskis wrote:
> 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
> 


-- 
Joel Sherrill, Ph.D.             Director of Research & Development
joel at OARcorp.com                 On-Line Applications Research
Ask me about RTEMS: a free RTOS  Huntsville AL 35805
    Support Available             (256) 722-9985