[SystemSafety] Qualification of libraries

RICQUE Bertrand (SAGEM DEFENSE SECURITE) bertrand.ricque at sagem.com
Mon Oct 26 16:30:35 CET 2015


What’s the standard used for these certifications? Not 61508 or such, but for the certification activity per se (ISO 17xxx).

How is the credibility of the certificate assessed ?

Bertrand Ricque
Program Manager
Optronics and Defence Division
Sights Program
Mob : +33 6 87 47 84 64
Tel : +33 1 58 11 96 82
Bertrand.ricque at sagem.com

From: systemsafety-bounces at lists.techfak.uni-bielefeld.de [mailto:systemsafety-bounces at lists.techfak.uni-bielefeld.de] On Behalf Of Dewi Daniels
Sent: Monday, October 26, 2015 4:04 PM
To: Stefan Friedrich
Cc: systemsafety at lists.techfak.uni-bielefeld.de
Subject: Re: [SystemSafety] Qualification of libraries

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<mailto:ddaniels at verocel.com>ewi.daniels at software-safety.com<mailto:ewi.daniels at software-safety.com>

On 26 October 2015 at 13:05, Stefan Friedrich <functional-safety at t-online.de<mailto: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<mailto: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
#
" Ce courriel et les documents qui lui sont joints peuvent contenir des informations confidentielles, être soumis aux règlementations relatives au contrôle des exportations ou ayant un caractère privé. S'ils ne vous sont pas destinés, nous vous signalons qu'il est strictement interdit de les divulguer, de les reproduire ou d'en utiliser de quelque manière que ce soit le contenu. Toute exportation ou réexportation non autorisée est interdite Si ce message vous a été transmis par erreur, merci d'en informer l'expéditeur et de supprimer immédiatement de votre système informatique ce courriel ainsi que tous les documents qui y sont attachés."
******
" This e-mail and any attached documents may contain confidential or proprietary information and may be subject to export control laws and regulations. If you are not the intended recipient, you are notified that any dissemination, copying of this e-mail and any attachments thereto or use of their contents by any means whatsoever is strictly prohibited. Unauthorized export or re-export is prohibited. If you have received this e-mail in error, please advise the sender immediately and delete this e-mail and all attached documents from your computer system."
#
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20151026/5dbb7fe3/attachment-0001.html>


More information about the systemsafety mailing list