SMV model-based safety analysis of software requirements

Cited 11 time in webofscience Cited 19 time in scopus
  • Hit : 610
  • Download : 366
DC FieldValueLanguage
dc.contributor.authorKoh, Kwang Yongko
dc.contributor.authorSeong, Poong-Hyunko
dc.date.accessioned2009-07-08T01:41:36Z-
dc.date.available2009-07-08T01:41:36Z-
dc.date.created2012-02-06-
dc.date.created2012-02-06-
dc.date.issued2009-02-
dc.identifier.citationRELIABILITY ENGINEERING SYSTEM SAFETY, v.94, no.2, pp.320 - 331-
dc.identifier.issn0951-8320-
dc.identifier.urihttp://hdl.handle.net/10203/10011-
dc.description.abstractFault tree analysis (FTA) is one of the most frequently applied safety analysis techniques when developing safety-critical industrial systems such as software-based emergency shutdown systems of nuclear power plants and has been used for safety analysis of software requirements in the nuclear industry. However, the conventional method for safety analysis of software requirements has several problems in terms of correctness and efficiency: the fault tree generated from natural language specifications may contain flaws or errors while the manual work of safety verification is very labor-intensive and time-consuming. In this paper, we propose a new approach to resolve problems of the conventional method; we generate a fault tree from a symbolic model verifier (SMV) model, not from natural language specifications, and verify safety properties automatically, not manually. by a model checker SMV. To demonstrate the feasibility of this approach, we applied it to shutdown system 2 (SDS2) of Wolsong nuclear power plant (NPP). In spite of subtle ambiguities present in the approach, the results of this case study demonstrate its overall feasibility and effectiveness. (C) 2008 Elsevier Ltd. All rights reserved.-
dc.languageEnglish-
dc.language.isoen_USen
dc.publisherELSEVIER SCI LTD-
dc.subjectSPECIFICATIONS-
dc.subjectSYSTEMS-
dc.titleSMV model-based safety analysis of software requirements-
dc.typeArticle-
dc.identifier.wosid000261200900019-
dc.identifier.scopusid2-s2.0-54049154684-
dc.type.rimsART-
dc.citation.volume94-
dc.citation.issue2-
dc.citation.beginningpage320-
dc.citation.endingpage331-
dc.citation.publicationnameRELIABILITY ENGINEERING SYSTEM SAFETY-
dc.identifier.doi10.1016/j.ress.2008.03.025-
dc.embargo.liftdate9999-12-31-
dc.embargo.terms9999-12-31-
dc.contributor.localauthorSeong, Poong-Hyun-
dc.type.journalArticleArticle-
dc.subject.keywordAuthorFault tree analysis (FTA)-
dc.subject.keywordAuthorSymbolic model verifier (SMV)-
dc.subject.keywordAuthorSafety analysis-
dc.subject.keywordPlusSPECIFICATIONS-
dc.subject.keywordPlusSYSTEMS-
Appears in Collection
NE-Journal Papers(저널논문)
Files in This Item
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 11 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0