Analyzing Software Errors in Safety-Critical

A bstrad ‘J’llis IJa})cr arlalyzcs the mot causes of safety-rdatccl softwa,m faults ill safety-critical, clnbecldcd systems. ‘J’IIc rcsults show that software faults idmitif[ccl as potentially hazardous to tltcsystmm arcdistrjbutcd solnewllat djffcrcnt]y ovm l,llc set c)f}jc)ssilJle c]]orca l]sestl]...

Full description

Bibliographic Details
Main Author: L-rlbc Ddcd Elystcms
Other Authors: The Pennsylvania State University CiteSeerX Archives
Format: Text
Language:English
Subjects:
Online Access:http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.108.1065
http://trs-new.jpl.nasa.gov/dspace/bitstream/2014/33742/1/94-0470.pdf
id ftciteseerx:oai:CiteSeerX.psu:10.1.1.108.1065
record_format openpolar
spelling ftciteseerx:oai:CiteSeerX.psu:10.1.1.108.1065 2023-05-15T17:54:02+02:00 Analyzing Software Errors in Safety-Critical L-rlbc Ddcd Elystcms The Pennsylvania State University CiteSeerX Archives application/pdf http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.108.1065 http://trs-new.jpl.nasa.gov/dspace/bitstream/2014/33742/1/94-0470.pdf en eng http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.108.1065 http://trs-new.jpl.nasa.gov/dspace/bitstream/2014/33742/1/94-0470.pdf Metadata may be used without restrictions as long as the oai identifier remains attached to it. http://trs-new.jpl.nasa.gov/dspace/bitstream/2014/33742/1/94-0470.pdf text ftciteseerx 2020-05-03T00:21:24Z A bstrad ‘J’llis IJa})cr arlalyzcs the mot causes of safety-rdatccl softwa,m faults ill safety-critical, clnbecldcd systems. ‘J’IIc rcsults show that software faults idmitif[ccl as potentially hazardous to tltcsystmm arcdistrjbutcd solnewllat djffcrcnt]y ovm l,llc set c)f}jc)ssilJle c]]orca l]sestl]all]lc)1]-safcty-rclatccl softwarcfaults. Safety-rdatcd softwarccrrcm arcs how]l to ariscmost, commonly fro]n (1) disc. repa]lcies bctwcc]l tlledocumcntcd rcquirmnmlts spcc.ific.atjo]ls arid tllc rcqui]mnmlts NCCXICC1 for corrcc.t fu~lctio]lin?; of tile systmn Md (?, )]]lis~l]](lersta]lclillgs c)f t,}ic software’s i]itcrfacc With tile rest of tllc syst,c]rl. ~1’hc pal)cr uses tllesc results to?;uidc tllc idc]ltificaticj]-l of strategies tc)]~rcvcvlt sur.11 errors in otllcr similar s.ystcms. ‘J’}Ic goal is to rcducc safety-rdatcd softwarccrfors Fi]ld to CII?l?LIICC ~hC! SafCty Of COI1l])]CX, Cllllldd(!d S~StCII)S. 1 0 ln~roduct)ion ‘1’lIis paper examines 387 software faults uncovcmd during i])tcgration and systc)n lmtiI)g of two spacecraft, Voyager and Cal i lco, ‘J’l)e sta)ldard IIlltlt clcfi]litions of a jculi as ‘(a]nar]ifcstation of an error in software. Syllonylnous wit}) L1/g; ” of a]) cmor as “]]u]narl actio]l tJIat rcsu]ts i]] software co])taining a fault;’) and of a jailurc as ‘(an cwcIIt in whicl) a systcln 01 systcm co]n])oIIc]It clocs not])crfor]n a required functioI] witlli]] s])ccificd]ilnits’> alc used IIcm [7, 8]. Eacl] of tl)c 387 software faults was documented at tl]c ti]nc of discovery by a fc)r]n dcscribil]g the anomaly or failure tl}at indicatd tllc cxistcu]cc of a softwtirc fault. ‘J’IIc form also rccorclcd the subscqucIIt analysis aIId tlIc mrrcctivc actions ta.km]. As part of the starldard procdurc for corrccti)]g cad] rcportcxl software fault, tl)c failure cffcc.t of cacll is classified as negligible, sig]lifica]lt, or catastrop]lic. ‘1’hose c.lassifid as significar)t or catastrophic arc i]]vcstigatccl by a systmns safety arlalyst as rcprcsc]]ti]]g])otcntia.1 Text Orca Unknown
institution Open Polar
collection Unknown
op_collection_id ftciteseerx
language English
description A bstrad ‘J’llis IJa})cr arlalyzcs the mot causes of safety-rdatccl softwa,m faults ill safety-critical, clnbecldcd systems. ‘J’IIc rcsults show that software faults idmitif[ccl as potentially hazardous to tltcsystmm arcdistrjbutcd solnewllat djffcrcnt]y ovm l,llc set c)f}jc)ssilJle c]]orca l]sestl]all]lc)1]-safcty-rclatccl softwarcfaults. Safety-rdatcd softwarccrrcm arcs how]l to ariscmost, commonly fro]n (1) disc. repa]lcies bctwcc]l tlledocumcntcd rcquirmnmlts spcc.ific.atjo]ls arid tllc rcqui]mnmlts NCCXICC1 for corrcc.t fu~lctio]lin?; of tile systmn Md (?, )]]lis~l]](lersta]lclillgs c)f t,}ic software’s i]itcrfacc With tile rest of tllc syst,c]rl. ~1’hc pal)cr uses tllesc results to?;uidc tllc idc]ltificaticj]-l of strategies tc)]~rcvcvlt sur.11 errors in otllcr similar s.ystcms. ‘J’}Ic goal is to rcducc safety-rdatcd softwarccrfors Fi]ld to CII?l?LIICC ~hC! SafCty Of COI1l])]CX, Cllllldd(!d S~StCII)S. 1 0 ln~roduct)ion ‘1’lIis paper examines 387 software faults uncovcmd during i])tcgration and systc)n lmtiI)g of two spacecraft, Voyager and Cal i lco, ‘J’l)e sta)ldard IIlltlt clcfi]litions of a jculi as ‘(a]nar]ifcstation of an error in software. Syllonylnous wit}) L1/g; ” of a]) cmor as “]]u]narl actio]l tJIat rcsu]ts i]] software co])taining a fault;’) and of a jailurc as ‘(an cwcIIt in whicl) a systcln 01 systcm co]n])oIIc]It clocs not])crfor]n a required functioI] witlli]] s])ccificd]ilnits’> alc used IIcm [7, 8]. Eacl] of tl)c 387 software faults was documented at tl]c ti]nc of discovery by a fc)r]n dcscribil]g the anomaly or failure tl}at indicatd tllc cxistcu]cc of a softwtirc fault. ‘J’IIc form also rccorclcd the subscqucIIt analysis aIId tlIc mrrcctivc actions ta.km]. As part of the starldard procdurc for corrccti)]g cad] rcportcxl software fault, tl)c failure cffcc.t of cacll is classified as negligible, sig]lifica]lt, or catastrop]lic. ‘1’hose c.lassifid as significar)t or catastrophic arc i]]vcstigatccl by a systmns safety arlalyst as rcprcsc]]ti]]g])otcntia.1
author2 The Pennsylvania State University CiteSeerX Archives
format Text
author L-rlbc Ddcd Elystcms
spellingShingle L-rlbc Ddcd Elystcms
Analyzing Software Errors in Safety-Critical
author_facet L-rlbc Ddcd Elystcms
author_sort L-rlbc Ddcd Elystcms
title Analyzing Software Errors in Safety-Critical
title_short Analyzing Software Errors in Safety-Critical
title_full Analyzing Software Errors in Safety-Critical
title_fullStr Analyzing Software Errors in Safety-Critical
title_full_unstemmed Analyzing Software Errors in Safety-Critical
title_sort analyzing software errors in safety-critical
url http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.108.1065
http://trs-new.jpl.nasa.gov/dspace/bitstream/2014/33742/1/94-0470.pdf
genre Orca
genre_facet Orca
op_source http://trs-new.jpl.nasa.gov/dspace/bitstream/2014/33742/1/94-0470.pdf
op_relation http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.108.1065
http://trs-new.jpl.nasa.gov/dspace/bitstream/2014/33742/1/94-0470.pdf
op_rights Metadata may be used without restrictions as long as the oai identifier remains attached to it.
_version_ 1766161748171161600