[SystemSafety] Statistical Assessment of SW With Deliberate Unreliability for a SIL requirement

[Nick Tudor]

Under Do, not on statistical evidence.  The functionality has to be shown
that it cannot be activated unintentionally and this is not done through
statistical analysis...."the one in a million chance happens 9 times out
10" [Pratchet]

Nick Tudor
Tudor Associates Ltd
Mobile: +44(0)7412 074654
www.tudorassoc.com

*77 Barnards Green Road*
*Malvern*
*Worcestershire*
*WR14 3LR*
*Company No. 07642673*
*VAT No:116495996*

*www.aeronautique-associates.com <http://www.aeronautique-associates.com>*

On 21 January 2015 at 12:59, RICQUE Bertrand (SAGEM DEFENSE SECURITE) <
bertrand.ricque at sagem.com> wrote:

> Do you think it violates ARP and DO ?
>
> 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
>
> -----Original Message-----
> From: systemsafety-bounces at lists.techfak.uni-bielefeld.de [mailto:
> systemsafety-bounces at lists.techfak.uni-bielefeld.de] On Behalf Of Peter
> Bernard Ladkin
> Sent: Wednesday, January 21, 2015 11:30 AM
> To: The System Safety List
> Subject: [SystemSafety] Statistical Assessment of SW With Deliberate
> Unreliability for a SIL requirement
>
> I am working with others on a reformulation of IEC 61508 Part 7 Annex D,
> on the statistical assessment of software presented with black-box
> functionality.
>
> Rainer Faller brought up an interesting example. He has seen SW which is
> proposed to be used in a safety-related application, which has a Safety
> Requirements Specification (SRS) in that application, and which has a
> "Debug/Maintenance" mode, triggered by a specific input sequence known to
> the SW developer of course, but not necessarily to the system developer who
> wishes to use it in the new safety-related application.
>
> Can such SW be presented as "black box" with statistical evidence of its
> fitness for purpose, and accepted for use based on the statistical
> assessment?
>
> I've written a White Paper on the case, RVS White Paper 8, available at
> http://www.rvs.uni-bielefeld.de/publications/WhitePapers/LadkinFallerExample20150101.pdf
>
> PBL
>
> Prof. Peter Bernard Ladkin, Faculty of Technology, University of
> Bielefeld, 33594 Bielefeld, Germany Je suis Charlie
> Tel+msg +49 (0)521 880 7319  www.rvs.uni-bielefeld.de
>
>
>
>
> _______________________________________________
> The System Safety Mailing List
> systemsafety at TechFak.Uni-Bielefeld.DE
> #
> " 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."
> #
>
> _______________________________________________
> The System Safety Mailing List
> systemsafety at TechFak.Uni-Bielefeld.DE
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20150121/1522cd95/attachment.html>