Mathematical Approaches in Functional Safety Assessment for E/E/PE Safety-Related Software

Safety integrity level (SIL)-based functional safety assessment is widely required in designing safety functions and checking their validity of electrical/electronic/programmable electronic (E/E/PE) safety-related systems after being issued IEC 61508 in 2010. For the hardware of E/E/PE safety-relate...

Full description

Saved in:
Bibliographic Details
Published inInternational journal of reliability, quality, and safety engineering Vol. 29; no. 1
Main Authors Inoue, Shinji, Fujiwara, Takaji, Yamada, Shigeru
Format Journal Article
LanguageEnglish
Published Singapore World Scientific Publishing Company 01.02.2022
World Scientific Publishing Co. Pte., Ltd
Subjects
Computer program integrity
Failure
Functionals
Mathematical analysis
Reliability analysis
Safety
Software reliability
IEC 61508
Functional safety
software reliability model
E/E/PE safety-related systems
target failure measures
Online AccessGet full text

Cover

Abstract Safety integrity level (SIL)-based functional safety assessment is widely required in designing safety functions and checking their validity of electrical/electronic/programmable electronic (E/E/PE) safety-related systems after being issued IEC 61508 in 2010. For the hardware of E/E/PE safety-related systems, quantitative functional safety assessment based on target failure measures is needed for deciding or allocating the level of SIL. On the other hand, IEC 61508 does not provide any quantitative safety assessment method for allocating SIL for the software of E/E/PE safety-related systems because the software failure is treated as a systematic failure in IEC 61508. We discuss the needfulness of quantitative safety assessment for software of E/E/PE safety-related systems and propose mathematical fundamentals for conducting quantitative SIL-based safety assessment for the software of E/E/PE safety-related systems by applying the notion of software reliability modeling and assessment technologies. We show numerical examples for explaining how to use our approaches.
AbstractList Safety integrity level (SIL)-based functional safety assessment is widely required in designing safety functions and checking their validity of electrical/electronic/programmable electronic (E/E/PE) safety-related systems after being issued IEC 61508 in 2010. For the hardware of E/E/PE safety-related systems, quantitative functional safety assessment based on target failure measures is needed for deciding or allocating the level of SIL. On the other hand, IEC 61508 does not provide any quantitative safety assessment method for allocating SIL for the software of E/E/PE safety-related systems because the software failure is treated as a systematic failure in IEC 61508. We discuss the needfulness of quantitative safety assessment for software of E/E/PE safety-related systems and propose mathematical fundamentals for conducting quantitative SIL-based safety assessment for the software of E/E/PE safety-related systems by applying the notion of software reliability modeling and assessment technologies. We show numerical examples for explaining how to use our approaches.
Author Yamada, Shigeru
Inoue, Shinji
Fujiwara, Takaji
Author_xml – sequence: 1
  givenname: Shinji
  surname: Inoue
  fullname: Inoue, Shinji
– sequence: 2
  givenname: Takaji
  surname: Fujiwara
  fullname: Fujiwara, Takaji
– sequence: 3
  givenname: Shigeru
  surname: Yamada
  fullname: Yamada, Shigeru
BookMark eNplkE9rAjEQxUOxULX9AL0t9Lw1_za7OYqstWBpqe2llyWbneDKurFJRPz2jSi9eJqB937DmzdCg972gNAjwc-EcDpZYUqKjElGSYYxZ-QGDUkuWSo4FwM0PMnpSb9DI-83GGMmKB2inzcV1rBVodWqS6a7nbNKr8EnbZ_M970Ore2jsFIGwjGZeg_eb6EPibEuKSfl5KO8iOkndCpAk6ysCQfl4B7dGtV5eLjMMfqel1-zRbp8f3mdTZepZgUmqTS4yYDpmhPKpJLA86bAIDnBjRZCkpzHNRfYqOjSWV1QpgylhVAZ1EXNxujpfDdm_92DD9XG7l1M7SsqGM1kzpiILnJ2aWe9d2CqnWu3yh0rgqtThdVVhZHBZ-ZgXdd43cbHW9Pqf_Qa-QOf-HOq
CitedBy_id crossref_primary_10_1142_S0218539323500389
Cites_doi 10.1007/1-84628-295-0
10.1007/978-4-431-54565-1
10.1109/PRDC.2011.50
10.1109/TR.1979.5220648
10.1016/S0951-8320(99)00030-7
10.1007/978-3-642-84681-6
10.1109/TR.1979.5220566
ContentType Journal Article
Copyright 2022, World Scientific Publishing Company
2022. World Scientific Publishing Company
Copyright_xml – notice: 2022, World Scientific Publishing Company
– notice: 2022. World Scientific Publishing Company
DBID AAYXX
CITATION
DOI 10.1142/S0218539321500431
DatabaseName CrossRef
DatabaseTitle CrossRef
DatabaseTitleList
CrossRef
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
EISSN 1793-6446
ExternalDocumentID 10_1142_S0218539321500431
S0218539321500431
GroupedDBID -~X
0R~
4.4
5GY
8VB
ADSJI
AEMOZ
AKVCP
ALMA_UNASSIGNED_HOLDINGS
CAG
COF
CS3
EBR
EBS
EBU
EJD
EMK
EOJEC
EPL
EST
HZ~
I-F
K1G
MK~
O9-
OBODZ
P2P
P71
QWB
RNS
RWJ
TH9
TN5
TUS
WSE
ZL0
AAYXX
CITATION
ID FETCH-LOGICAL-c3801-9f0d5e3cb41239a9e47d80e9410dc669174410760fae3cc5b823af2286a5eb8b3
ISSN 0218-5393
IngestDate Thu Oct 10 18:28:46 EDT 2024
Fri Aug 23 02:46:54 EDT 2024
Fri Aug 23 08:19:39 EDT 2024
IsPeerReviewed true
IsScholarly true
Issue 1
Keywords IEC 61508
Functional safety
software reliability model
E/E/PE safety-related systems
target failure measures
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-c3801-9f0d5e3cb41239a9e47d80e9410dc669174410760fae3cc5b823af2286a5eb8b3
PQID 2632597336
PQPubID 2049852
ParticipantIDs worldscientific_primary_S0218539321500431
proquest_journals_2632597336
crossref_primary_10_1142_S0218539321500431
PublicationCentury 2000
PublicationDate 20220200
PublicationDateYYYYMMDD 2022-02-01
PublicationDate_xml – month: 02
  year: 2022
  text: 20220200
PublicationDecade 2020
PublicationPlace Singapore
PublicationPlace_xml – name: Singapore
PublicationTitle International journal of reliability, quality, and safety engineering
PublicationYear 2022
Publisher World Scientific Publishing Company
World Scientific Publishing Co. Pte., Ltd
Publisher_xml – name: World Scientific Publishing Company
– name: World Scientific Publishing Co. Pte., Ltd
References S0218539321500431BIB008
S0218539321500431BIB007
S0218539321500431BIB009
Trivedi K. S. (S0218539321500431BIB011) 2002
S0218539321500431BIB003
S0218539321500431BIB005
S0218539321500431BIB013
S0218539321500431BIB012
Satoh Y. (S0218539321500431BIB004) 2011
Ross S. M. (S0218539321500431BIB010) 1997
Yamada S. (S0218539321500431BIB014) 2011
Kato E. (S0218539321500431BIB002) 2000; 83
Pham H. (S0218539321500431BIB006) 2000
References_xml – ident: S0218539321500431BIB007
  doi: 10.1007/1-84628-295-0
– volume-title: Elements of Software Reliability: Modeling Approach
  year: 2011
  ident: S0218539321500431BIB014
  contributor:
    fullname: Yamada S.
– volume: 83
  start-page: 863
  issue: 5
  year: 2000
  ident: S0218539321500431BIB002
  publication-title: IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
  contributor:
    fullname: Kato E.
– volume-title: Software Reliability
  year: 2000
  ident: S0218539321500431BIB006
  contributor:
    fullname: Pham H.
– volume-title: Probability and Statistics with Reliability, Queueing and Computer Science
  year: 2002
  ident: S0218539321500431BIB011
  contributor:
    fullname: Trivedi K. S.
– volume-title: Introduction to Probability Models
  year: 1997
  ident: S0218539321500431BIB010
  contributor:
    fullname: Ross S. M.
– volume-title: Fundamentals of Functional Safety/Machine Safety Standard and Risk Analysis
  year: 2011
  ident: S0218539321500431BIB004
  contributor:
    fullname: Satoh Y.
– ident: S0218539321500431BIB008
  doi: 10.1007/978-4-431-54565-1
– ident: S0218539321500431BIB005
  doi: 10.1109/PRDC.2011.50
– ident: S0218539321500431BIB012
  doi: 10.1109/TR.1979.5220648
– ident: S0218539321500431BIB003
  doi: 10.1016/S0951-8320(99)00030-7
– ident: S0218539321500431BIB009
  doi: 10.1007/978-3-642-84681-6
– ident: S0218539321500431BIB013
  doi: 10.1109/TR.1979.5220566
SSID ssj0003622
Score 2.2863255
Snippet Safety integrity level (SIL)-based functional safety assessment is widely required in designing safety functions and checking their validity of...
SourceID proquest
crossref
worldscientific
SourceType Aggregation Database
Publisher
SubjectTerms Computer program integrity
Failure
Functionals
Mathematical analysis
Reliability analysis
Safety
Software reliability
Title Mathematical Approaches in Functional Safety Assessment for E/E/PE Safety-Related Software
URI http://www.worldscientific.com/doi/abs/10.1142/S0218539321500431
https://www.proquest.com/docview/2632597336
Volume 29
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1Lb9NAEF6FcoFDVV4iUNAeuEC1iZ9r-1gqRxVqSyQcKXCxdu11cQEHJbFQ-2f6V5l9-EUQAg6xLMfZsWa-zH4znp1F6FUBlKIIWU4sygMiN94mIbM9EjBBA84DP2JycfL5BT1deO-W_nI0uu1VLdVbPslufruu5H-sCtfArnKV7D9Yth0ULsA52BeOYGE4_pWNz9ueq1LRpju4qrA6msF8ZdJ8H1gh6zKP2x6cqrQwBrHyM4_NDUTVxUn-CZ75B1sPaoSGicNeu4m1-FrqVt_KWnqN5nVTE7rRokXX9LCFYrWqdfb7c1ldlS2M6qsSZCtGm7AvrPvmI_vGcmZ-cSnWdT9fAaGuNaj90DVCynGpYqh-uu1kNTmab4Vyi11Rk3SFQESI7-q9FCdCu2rwLATYHO37cpM96WF2d4rwHPWS2pFMBdgrMGLZYKibD5sagIv36WxxdpYm8TK5g-46IE-60Pjtop3qYfZXr6maxzOvzUHEdEfAkPh00cy-ao27aRXSozfJAdo3cQk-1iB7gEaieoju97pVPkKf-nDDHdxwWeEOblijCXdwwwA3HE_j6TzGQ6jhBmqP0WIWJyenxGzNQTIXOA2JCiv3hZtxD5hPxCLhBXloicizrTyjNII4F04DahUM7sp8HjouKxwnpMwXPOTuE7RXrSrxFGHm-5kHLLcAr-A5ts2pKNwcomLbZuAp7DF60-gt_a47sKR6Nb2T7ih5jA4bzabmv7BJ5ZYEEDe7Lh2j179oux1yZ6hnfx7qObrXofsQ7W3XtXgB_HTLXyqM_ARJCo-s
link.rule.ids 315,783,787,27936,27937
linkProvider EBSCOhost
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%3Ajournal&rft.genre=article&rft.atitle=Mathematical+Approaches+in+Functional+Safety+Assessment+for+E%2FE%2FPE+Safety-Related+Software&rft.jtitle=International+journal+of+reliability%2C+quality%2C+and+safety+engineering&rft.au=Inoue%2C+Shinji&rft.au=Fujiwara%2C+Takaji&rft.au=Yamada%2C+Shigeru&rft.date=2022-02-01&rft.pub=World+Scientific+Publishing+Co.+Pte.%2C+Ltd&rft.issn=0218-5393&rft.eissn=1793-6446&rft.volume=29&rft.issue=1&rft_id=info:doi/10.1142%2FS0218539321500431&rft.externalDBID=NO_FULL_TEXT
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0218-5393&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0218-5393&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0218-5393&client=summon