[SystemSafety] Qualification of libraries

[Dewi Daniels]

Bertrand,

My recollection is that Wind River and Mentor Graphics provide
certification evidence on DVD (plans, requirements and design
documentation, source code, evidence of reviews, analyses and tests, etc.)
that their customers can submit to the certification authorities as part of
the certification evidence for their own system.

Yours,
Dewi

On 26 October 2015 at 15:30, RICQUE Bertrand (SAGEM DEFENSE SECURITE) <
bertrand.ricque at sagem.com> wrote:

> 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 <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
>
> #
> " 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."
> #
>



-- 

Yours,

Dewi Daniels | Director | Software Safety Limited

Telephone +44 7968 837742 | Email d <ddaniels at verocel.com>
ewi.daniels at software-safety.com

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/1c3123a3/attachment.html>