Software safety assurance - what is sufficient?

It is possible to construct a safety argument for the software aspects of a system in order to demonstrate that the software is acceptably safe to operate. In order to be compelling, it is necessary to justify that the arguments and evidence presented for the software provide sufficient safety assur...

Full description

Saved in:
Bibliographic Details
Published in4th IET International Conference on System Safety 2009. Incorporating the SaRS Annual Conference p. 2A3
Main Authors Hawkins, R.D, Kelly, T.P
Format Conference Proceeding
LanguageEnglish
Published Stevenage IET 2009
Subjects
Software engineering techniques
sufficient safety assurance
safety argument
software safety
safety-critical software
Online AccessGet full text

Cover

Abstract It is possible to construct a safety argument for the software aspects of a system in order to demonstrate that the software is acceptably safe to operate. In order to be compelling, it is necessary to justify that the arguments and evidence presented for the software provide sufficient safety assurance. In this paper we consider how assurance may be explicitly considered when developing a software safety argument. We propose a framework for making and justifying decisions about the arguments and evidence required to assure the safety of the software. (6 pages)
AbstractList It is possible to construct a safety argument for the software aspects of a system in order to demonstrate that the software is acceptably safe to operate. In order to be compelling, it is necessary to justify that the arguments and evidence presented for the software provide sufficient safety assurance. In this paper we consider how assurance may be explicitly considered when developing a software safety argument. We propose a framework for making and justifying decisions about the arguments and evidence required to assure the safety of the software. (6 pages)
Author Kelly, T.P
Hawkins, R.D
Author_xml – sequence: 1
  givenname: R.D
  surname: Hawkins
  fullname: Hawkins, R.D
  organization: Dept. of Comput. Sci., Univ. of York, York
– sequence: 2
  givenname: T.P
  surname: Kelly
  fullname: Kelly, T.P
BookMark eNotj0tLxDAURgMq6Iyz8wdkL-3k5tVmJTL4ggEX6jqkyb1YkXZoMgz-e1uUb3F2H-es2PkwDsjYDYgahHbbeKilEK4Go-UZW0GrHcwz9pJtcv4SQoCzrW3sFdu-jVROYUKeA2H54SHn4xSGiLzip89QeJ95PhL1sceh3F2zCwrfGTf_XLOPx4f33XO1f3162d3vqx6ELRV1IkVNJiUdCFRw1nUGMKUkDXTGONWRFLNslLFVSFGFqJK0RjVADhu1Zrd_vz0WH8eBcMJZKnsQfmn08eCXRr80ql-5H0d7
ContentType Conference Proceeding
DBID 8ET
DOI 10.1049/cp.2009.1542
DatabaseName IET Conference Publications by volume
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
ExternalDocumentID 10_1049_cp_2009_1542
GroupedDBID 6IE
6IK
8ET
AAJGR
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
OCL
RIE
ID FETCH-LOGICAL-i106t-fb0dc4f5dd4af13a969b51eddd251b5593bf20104c2c83efc3ac3d265371f9e73
ISBN 1849191956
9781849191951
IngestDate Wed Apr 27 04:28:23 EDT 2022
IsPeerReviewed false
IsScholarly false
Keywords sufficient safety assurance
safety argument
software safety
safety-critical software
Language English
LinkModel OpenURL
MeetingName 4th IET International Conference on System Safety 2009. Incorporating the SaRS Annual Conference, 26-28 Oct. 2009, London, UK
MergedId FETCHMERGED-LOGICAL-i106t-fb0dc4f5dd4af13a969b51eddd251b5593bf20104c2c83efc3ac3d265371f9e73
ParticipantIDs iet_conferences_10_1049_cp_2009_1542
PublicationCentury 2000
PublicationDate 20090000
PublicationDateYYYYMMDD 2009-01-01
PublicationDate_xml – year: 2009
  text: 20090000
PublicationDecade 2000
PublicationPlace Stevenage
PublicationPlace_xml – name: Stevenage
PublicationTitle 4th IET International Conference on System Safety 2009. Incorporating the SaRS Annual Conference
PublicationYear 2009
Publisher IET
Publisher_xml – name: IET
SSID ssj0001968676
Score 1.4564049
Snippet It is possible to construct a safety argument for the software aspects of a system in order to demonstrate that the software is acceptably safe to operate. In...
SourceID iet
SourceType Publisher
StartPage 2A3
SubjectTerms Software engineering techniques
Title Software safety assurance - what is sufficient?
URI http://digital-library.theiet.org/content/conferences/10.1049/cp.2009.1542
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV07b8IwELYKUzv1QdW3MrAhA4mdEE9V1YJohwrxkNiQ7dgCVaIVBCH11_ecmBgQQ9sliqLEie-S893lvu8QqjLKQ019gXlTB5iKZowFjTiONawNggrD-WWqLd6j7oi-jcPxpr27RZekoi6_D-JK_qNVOAZ6NSjZP2i2GBQOwD7oF7agYdjuOb8H1xmaTmuv7eFeVs9h-MyPgJyRvDbg2tRmZsSZxiZY_uINVmrA-4Oapdp312-_TgMw12tTJbbMRwKfe7XI4Aa4tp7y1DRGX64yPoos3dhxpm39YXPa_fqLs--2xfWw3ttJPLC9xAPMbycWhVCRQfDHLH-stYdP5KCdhrgEhCstYSi4cYFbj4oqwez_OGUT-WWaZbKJOa2ESuDT5Dg9l0tjURy1opwhIH-IyNJ5FQ9lQQ8wXmP7tuBSzFS65VIMT1HFCdrrFeo9Q0dqfo5OtngiL1BjI30vl75XSN_DnpG-N1t6TvqPFTTqtIfPXWw7XeAZhOQp1qKZSKrDJKFc-4SziInQV0mSgPspIOgjQpuyBSoDGROlJeGSJEEUkpavmWqRS1Sef87VFfIkYUq1qNAEPjWf-hzi27gJTmhgUM-SXaMqTHgiiykuJ4fkfPO7027RsXs17lA5XazUPXhpqXjIVPQD0zo2PA
linkProvider IEEE
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=4th+IET+International+Conference+on+System+Safety+2009.+Incorporating+the+SaRS+Annual+Conference&rft.atitle=Software+safety+assurance+-+what+is+sufficient%3F&rft.au=Hawkins%2C+R.D&rft.au=Kelly%2C+T.P&rft.date=2009-01-01&rft.pub=IET&rft.isbn=9781849191951&rft.spage=2A3&rft_id=info:doi/10.1049%2Fcp.2009.1542&rft.externalDocID=10_1049_cp_2009_1542
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781849191951/lc.gif&client=summon&freeimage=true
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781849191951/mc.gif&client=summon&freeimage=true
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781849191951/sc.gif&client=summon&freeimage=true