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

jean-louis Boulanger jean.louis.boulanger at gmail.com
Wed Jan 21 14:15:57 CET 2015


I am surprised ....

I read "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?"

For software it's not possible to have statistical evidence.
the failure is 1 (yes the software have fault and failure appear)

The DAL/SSIL ... help us to replace statistical by confidence level

for unspecified cod,n deactivated code e and/or dead code ... we have some
recommandation related to the design assurance level


2015-01-21 14:08 GMT+01:00 RICQUE Bertrand (SAGEM DEFENSE SECURITE) <
bertrand.ricque at sagem.com>:

> If it is unspecified and cannot be activated, wouldn’t it be considered as
> dead code under 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
>
>
>
> *From:* njtudor at gmail.com [mailto:njtudor at gmail.com] *On Behalf Of *Nick
> Tudor
> *Sent:* Wednesday, January 21, 2015 2:07 PM
> *To:* RICQUE Bertrand (SAGEM DEFENSE SECURITE)
> *Cc:* Peter Bernard Ladkin; The System Safety List
> *Subject:* Re: [SystemSafety] Statistical Assessment of SW With
> Deliberate Unreliability for a SIL requirement
>
>
>
> 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
>
> [image: Image supprimée par l'expéditeur.]
>
>
>
> *77 Barnards Green Road*
>
> *Malvern*
>
> *Worcestershire*
>
>
> *WR14 3LRCompany 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
>
>
>
> #
> " 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
>
>


-- 
Mr Jean-louis Boulanger
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20150121/2b439cf1/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image001.jpg
Type: image/jpeg
Size: 425 bytes
Desc: not available
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20150121/2b439cf1/attachment.jpg>


More information about the systemsafety mailing list