[SystemSafety] Critical Design Checklist

Matthew Squair mattsquair at gmail.com
Wed Aug 28 04:13:38 CEST 2013


I'd throw in the concept that in accidents involving complex systems often
the 'failure' relates to what was intended rather than what was specified.
Thus traceability, and rich traceability, from the functional specification
levied on the software to the safety requirements of the system is another
necessary aspect. The hypothesised cause of the Mars Polar Lander loss
comes to mind as an example. As Nancy points out software doesn't exist in
a vacumn...


On Wed, Aug 28, 2013 at 5:05 AM, Robert Schaefer at 300 <
schaefer_robert at dwc.edu> wrote:

>  "It never seems to be exactly what we want."
>
>  Is "it" (the revised taxonomy) just re-inventing the wheel, or is there
> something else going on?
>
>  ------------------------------
> *From:* Peter Bernard Ladkin <ladkin at rvs.uni-bielefeld.de>
> *Sent:* Tuesday, August 27, 2013 1:01 PM
> *To:* Robert Schaefer at 300
> *Cc:* Driscoll, Kevin R; systemsafety at lists.techfak.uni-bielefeld.de
> *Subject:* Re: [SystemSafety] Critical Design Checklist
>
>  On 27 Aug 2013, at 18:07, Robert Schaefer at 300 <schaefer_robert at dwc.edu>
> wrote:
>
>   Would a complete taxonomy even be possible?
> As the possibility of fault- contexts-in-the-world appears to be infinite
> or near infinite, wouldn't the number of fault types be near infinite as
> well?
>
>
>  Since "fault type" is a human classification, it is guaranteed not to be
> anywhere near infinite, but indeed quite finite. Perrow has a
> classification he called "DEPOSE". That has just six categories, one for
> each letter.
>
>  Whether it does what one wants it to do is another question, as Kevin
> points out.
>
>  I would also propose that fault is also a human classification (since
> you talk about a fault in language, no matter how precise, your words may
> have another instance which fulfil them, and it is the words/concepts which
> define what you are talking about) whereas failure has at least a
> time/space stamp. Ideally. Unfortunately, in the current state of the (lack
> of) art, I think failure might often be lacking objectivity too, if a
> specification exists and is ambiguous.
>
>  PBL
>
>  Prof. Peter Bernard Ladkin, University of Bielefeld and Causalis Limited
>
>
>
>    ------------------------------
> *From:* systemsafety-bounces at lists.techfak.uni-bielefeld.de <
> systemsafety-bounces at lists.techfak.uni-bielefeld.de> on behalf of
> Driscoll, Kevin R <kevin.driscoll at honeywell.com>
> *Sent:* Tuesday, August 27, 2013 11:28 AM
> *To:* Matthew Squair
> *Cc:* systemsafety at lists.techfak.uni-bielefeld.de
> *Subject:* Re: [SystemSafety] Critical Design Checklist
>
>
> > such a list should possess orthogonality, decidability, atomicity,
> criticality and a rationale.
>
> Addressing orthogonality (and completeness), the list should have a proper
> taxonomy.  But, that’s hard to do.
>
>
>
> Internally, we keep revisiting the creation of a taxonomy for fault types,
> even though much has been published on the subject.   It never seems to be
> exactly what we want.
>
>
>
> *From:* systemsafety-bounces at lists.techfak.uni-bielefeld.de [
> mailto:systemsafety-bounces at lists.techfak.uni-bielefeld.de<systemsafety-bounces at lists.techfak.uni-bielefeld.de>]
> *On Behalf Of *Matthew Squair
> *Sent:* Tuesday, August 27, 2013 04:12
> *To:* martyn at thomas-associates.co.uk
> *Cc:* systemsafety at lists.techfak.uni-bielefeld.de
> *Subject:* Re: [SystemSafety] Critical Design Checklist
>
>
>
> Not so much a list but a comment that the items in such a list should
> possess orthogonality, decidability, atomicity, criticality and a
> rationale.
>
>
>
> The criticality should address Martyn's 'and what then' comment.
>
> On Tuesday, 27 August 2013, Martyn Thomas wrote:
>
> On 26/08/2013 21:37, Driscoll, Kevin R wrote:
>
>  For NASA, we are creating a Critical Design Checklist:
>
> •       *Objective*
>
> -     *A checklist for designers to help them determine if a
> safety-critical design has met its safety requirements*
>
>
>
> Kevin
>
> For this purpose, I interpret your phrase "safety requirements" for a
> "safety-critical design" as meaning that any system that can be shown to
> implement the design correctly will meet the safety requirements for such a
> system in some required operating conditions.
>
> Here's my initial checklist:
>
> 1. Have you stated the "safety requirements" unambiguously and completely?
> How do you know? Can you be certain? If not, what is your confidence level
> and how as it derived?
> 2. Have you specified unambiguously and completely the range of operating
> conditions under which the safety requirements must be met? How do you
> know? Can you be certain? If not, what is your confidence level and how as
> it derived?
> 3. Do you have scientifically sound evidence that the safety-critcal
> design meets the safety requirements?
> 4. Has this evidence been examined by an independent expert and certified
> to be scientifically sound for this purpose?
> 5. Can you name the both the individual who will be personally accountable
> if the design later proves not to meet its safety requirements and the
> organisation that will be liable for any damages?
> 6. Has the individual signed to accept accountability? Has a Director of
> the organisation signed to accept liability?
>
> Of course, there is a lot of detail conceled within these top-level
> questions. For example, the specification of operating conditions is likely
> to contain detail of required training for operators, which will also need
> to be shown to be adequate.
>
> But there's probably no need to go into more detail as you will probably
> get at least one answer "no" to the top six questions.
>
> What will you do then?
>
> Regards
>
> Martyn
>
>
>
> --
> Sent from Gmail Mobile
>
>  _______________________________________________
> The System Safety Mailing List
> systemsafety at TechFak.Uni-Bielefeld.DE
>
>
> _______________________________________________
> The System Safety Mailing List
> systemsafety at TechFak.Uni-Bielefeld.DE
>
>


-- 
*Matthew Squair*
*
*
Mob: +61 488770655
Email: MattSquair at gmail.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20130828/87ff2300/attachment.html>


More information about the systemsafety mailing list