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]...
Main Author: | |
---|---|
Other Authors: | |
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 |