[SystemSafety] Qualification of libraries

[Dewi Daniels]

Stefan,

I seem to remember that the IEC 61508 certification evidence for the Wind
River VxWorks Cert Platform includes the C library, and that the same is
true for the IEC 61508 and ISO 26262 certification evidence for Mentor
Graphics Nucleus SafetyCert. The same may be true of other real time
operating systems targeted at safety-critical applications. I'm not aware
of any stand-alone C libraries that come with IEC 61508 or ISO 26262
certification evidence, but that's not to say there aren't any.

http://www.windriver.com/products/product-notes/vxworks-cert-platform-product-note.pdf
https://www.mentor.com/embedded-software/nucleus/safety

-- 

Yours,

Dewi Daniels | Director | Software Safety Limited
Telephone +44 7968 837742 | Email d <ddaniels at verocel.com>
ewi.daniels at software-safety.com

On 26 October 2015 at 13:05, Stefan Friedrich <functional-safety at t-online.de
> wrote:

> Dear Safety Experts,
>
> I'm wondering if there are tool providers who support ISO26262 or IEC
> 61508 compliant qualification
> of libraries such as the C/C++ standard libraries; this could be for
> instance in the form of or as a
> part of a compiler qualification kit. I'd appreciate any kind of hints and
> comments.
>
> Many thanks in advance!
>
> Stefan Friedrich
> _______________________________________________
> The System Safety Mailing List
> systemsafety at TechFak.Uni-Bielefeld.DE
>




Software Safety Limited is a company registered in England and Wales.
Company number: 9390590. Registered office: Fairfield, 30F Bratton Road,
West Ashton, Trowbridge, United Kingdom BA14 6AZ
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20151026/fd97cc70/attachment.html>