Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System

Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System

Safety assessment of complex systems traditionally requires the combination of various results derived from various models. The Altarica language was designed to formally specify the behaviour of systems when faults occurs. A unique Altarica model can be assessed by means of complementary tools such...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Bieber, Pierre, Castel, Charles, Seguin, Christel
Format: Buchkapitel
Sprache:eng
Schlagworte:
Applied sciences
Computer science
control theory
systems
Exact sciences and technology
Programming theory
Theoretical computing
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 31
container_issue
container_start_page 19
container_title
container_volume 2485
creator Bieber, Pierre
Castel, Charles
Seguin, Christel
description Safety assessment of complex systems traditionally requires the combination of various results derived from various models. The Altarica language was designed to formally specify the behaviour of systems when faults occurs. A unique Altarica model can be assessed by means of complementary tools such as fault tree generator and model-checker. This paper reports how the Altarica language was used to model a system in the style of the hydraulic system of the Airbus A320 aircraft family. It presents how fault tree generation and model-checking can be used separately then combined to assess safety requirements.
doi_str_mv 10.1007/3-540-36080-8_3
format Book Chapter
fullrecord <record><control><sourceid>proquest_pasca</sourceid><recordid>TN_cdi_pascalfrancis_primary_14655067</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>EBC3071743_10_32</sourcerecordid><originalsourceid>FETCH-LOGICAL-c312t-9b6b9277e777d15079899f2e2262595ecb7cd369d9fa9877ba59c0f5d533f8923</originalsourceid><addsrcrecordid>eNotkM1PwzAMxcOnGB9nrrlwDCTx0jTHaWKABOIwOKIoTR0odO1IOon996QMXyz7PT_JP0IuBb8WnOsbYGrKGRS85Ky0sEdOIS_-5nKfTEQhBAOYmoOdkEtIfUgmHLhkRk_hmEwMKGm41uUJuUjpczSBlEoUE_I271dV07mh6TvaB7pwm3agLxGRzjrXblOTqOtq-tTX2NL5B_qvpnunoY906QIOWzpLCVNaYTeM9zlu3eIPXW7TgKtzchRcm_Div5-R18Xty_yePT7fPcxnj8yDkAMzVVEZqTVqrWuhuDalMUGilIVURqGvtK-hMLUJzpRaV04Zz4OqFUAojYQzcrXLXbvkXRui63yT7Do2Kxe3VkwLpXihs4_tfClL3TtGW_X9V7KC2xG2BZsR2j-4NsPOfvmfG_vvDabB4njg87PRtf7DrQeMyQLXIpMeY0DCLw5Qe30</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>book_chapter</recordtype><pqid>EBC3071743_10_32</pqid></control><display><type>book_chapter</type><title>Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System</title><source>Springer Books</source><creator>Bieber, Pierre ; Castel, Charles ; Seguin, Christel</creator><contributor>Grandoni, Fabrizio ; Bondavalli, Andrea ; Thevenod-Fosse, Pascale</contributor><creatorcontrib>Bieber, Pierre ; Castel, Charles ; Seguin, Christel ; Grandoni, Fabrizio ; Bondavalli, Andrea ; Thevenod-Fosse, Pascale</creatorcontrib><description>Safety assessment of complex systems traditionally requires the combination of various results derived from various models. The Altarica language was designed to formally specify the behaviour of systems when faults occurs. A unique Altarica model can be assessed by means of complementary tools such as fault tree generator and model-checker. This paper reports how the Altarica language was used to model a system in the style of the hydraulic system of the Airbus A320 aircraft family. It presents how fault tree generation and model-checking can be used separately then combined to assess safety requirements.</description><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 3540000127</identifier><identifier>ISBN: 9783540000129</identifier><identifier>EISSN: 1611-3349</identifier><identifier>EISBN: 3540360808</identifier><identifier>EISBN: 9783540360803</identifier><identifier>DOI: 10.1007/3-540-36080-8_3</identifier><identifier>OCLC: 935290778</identifier><identifier>LCCallNum: QA75.5-76.95</identifier><language>eng</language><publisher>Germany: Springer Berlin / Heidelberg</publisher><subject>Applied sciences ; Computer science; control theory; systems ; Exact sciences and technology ; Programming theory ; Theoretical computing</subject><ispartof>Dependable Computing EDCC-4, 2002, Vol.2485, p.19-31</ispartof><rights>Springer-Verlag Berlin Heidelberg 2002</rights><rights>2003 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c312t-9b6b9277e777d15079899f2e2262595ecb7cd369d9fa9877ba59c0f5d533f8923</citedby><relation>Lecture Notes in Computer Science</relation></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Uhttps://ebookcentral.proquest.com/covers/3071743-l.jpg</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/3-540-36080-8_3$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/3-540-36080-8_3$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>310,311,780,781,785,790,791,794,4051,4052,27930,38260,41447,42516</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&amp;idt=14655067$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><contributor>Grandoni, Fabrizio</contributor><contributor>Bondavalli, Andrea</contributor><contributor>Thevenod-Fosse, Pascale</contributor><creatorcontrib>Bieber, Pierre</creatorcontrib><creatorcontrib>Castel, Charles</creatorcontrib><creatorcontrib>Seguin, Christel</creatorcontrib><title>Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System</title><title>Dependable Computing EDCC-4</title><description>Safety assessment of complex systems traditionally requires the combination of various results derived from various models. The Altarica language was designed to formally specify the behaviour of systems when faults occurs. A unique Altarica model can be assessed by means of complementary tools such as fault tree generator and model-checker. This paper reports how the Altarica language was used to model a system in the style of the hydraulic system of the Airbus A320 aircraft family. It presents how fault tree generation and model-checking can be used separately then combined to assess safety requirements.</description><subject>Applied sciences</subject><subject>Computer science; control theory; systems</subject><subject>Exact sciences and technology</subject><subject>Programming theory</subject><subject>Theoretical computing</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>3540000127</isbn><isbn>9783540000129</isbn><isbn>3540360808</isbn><isbn>9783540360803</isbn><fulltext>true</fulltext><rsrctype>book_chapter</rsrctype><creationdate>2002</creationdate><recordtype>book_chapter</recordtype><recordid>eNotkM1PwzAMxcOnGB9nrrlwDCTx0jTHaWKABOIwOKIoTR0odO1IOon996QMXyz7PT_JP0IuBb8WnOsbYGrKGRS85Ky0sEdOIS_-5nKfTEQhBAOYmoOdkEtIfUgmHLhkRk_hmEwMKGm41uUJuUjpczSBlEoUE_I271dV07mh6TvaB7pwm3agLxGRzjrXblOTqOtq-tTX2NL5B_qvpnunoY906QIOWzpLCVNaYTeM9zlu3eIPXW7TgKtzchRcm_Div5-R18Xty_yePT7fPcxnj8yDkAMzVVEZqTVqrWuhuDalMUGilIVURqGvtK-hMLUJzpRaV04Zz4OqFUAojYQzcrXLXbvkXRui63yT7Do2Kxe3VkwLpXihs4_tfClL3TtGW_X9V7KC2xG2BZsR2j-4NsPOfvmfG_vvDabB4njg87PRtf7DrQeMyQLXIpMeY0DCLw5Qe30</recordid><startdate>2002</startdate><enddate>2002</enddate><creator>Bieber, Pierre</creator><creator>Castel, Charles</creator><creator>Seguin, Christel</creator><general>Springer Berlin / Heidelberg</general><general>Springer Berlin Heidelberg</general><general>Springer</general><scope>FFUUA</scope><scope>IQODW</scope></search><sort><creationdate>2002</creationdate><title>Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System</title><author>Bieber, Pierre ; Castel, Charles ; Seguin, Christel</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c312t-9b6b9277e777d15079899f2e2262595ecb7cd369d9fa9877ba59c0f5d533f8923</frbrgroupid><rsrctype>book_chapters</rsrctype><prefilter>book_chapters</prefilter><language>eng</language><creationdate>2002</creationdate><topic>Applied sciences</topic><topic>Computer science; control theory; systems</topic><topic>Exact sciences and technology</topic><topic>Programming theory</topic><topic>Theoretical computing</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Bieber, Pierre</creatorcontrib><creatorcontrib>Castel, Charles</creatorcontrib><creatorcontrib>Seguin, Christel</creatorcontrib><collection>ProQuest Ebook Central - Book Chapters - Demo use only</collection><collection>Pascal-Francis</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Bieber, Pierre</au><au>Castel, Charles</au><au>Seguin, Christel</au><au>Grandoni, Fabrizio</au><au>Bondavalli, Andrea</au><au>Thevenod-Fosse, Pascale</au><format>book</format><genre>bookitem</genre><ristype>CHAP</ristype><atitle>Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System</atitle><btitle>Dependable Computing EDCC-4</btitle><seriestitle>Lecture Notes in Computer Science</seriestitle><date>2002</date><risdate>2002</risdate><volume>2485</volume><spage>19</spage><epage>31</epage><pages>19-31</pages><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>3540000127</isbn><isbn>9783540000129</isbn><eisbn>3540360808</eisbn><eisbn>9783540360803</eisbn><abstract>Safety assessment of complex systems traditionally requires the combination of various results derived from various models. The Altarica language was designed to formally specify the behaviour of systems when faults occurs. A unique Altarica model can be assessed by means of complementary tools such as fault tree generator and model-checker. This paper reports how the Altarica language was used to model a system in the style of the hydraulic system of the Airbus A320 aircraft family. It presents how fault tree generation and model-checking can be used separately then combined to assess safety requirements.</abstract><cop>Germany</cop><pub>Springer Berlin / Heidelberg</pub><doi>10.1007/3-540-36080-8_3</doi><oclcid>935290778</oclcid><tpages>13</tpages></addata></record>
fulltext fulltext
identifier ISSN: 0302-9743
ispartof Dependable Computing EDCC-4, 2002, Vol.2485, p.19-31
issn 0302-9743
1611-3349
language eng
recordid cdi_pascalfrancis_primary_14655067
source Springer Books
subjects Applied sciences
Computer science
control theory
systems
Exact sciences and technology
Programming theory
Theoretical computing
title Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-13T03%3A31%3A55IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_pasca&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=bookitem&rft.atitle=Combination%20of%20Fault%20Tree%20Analysis%20and%20Model%20Checking%20for%20Safety%20Assessment%20of%20Complex%20System&rft.btitle=Dependable%20Computing%20EDCC-4&rft.au=Bieber,%20Pierre&rft.date=2002&rft.volume=2485&rft.spage=19&rft.epage=31&rft.pages=19-31&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=3540000127&rft.isbn_list=9783540000129&rft_id=info:doi/10.1007/3-540-36080-8_3&rft_dat=%3Cproquest_pasca%3EEBC3071743_10_32%3C/proquest_pasca%3E%3Curl%3E%3C/url%3E&rft.eisbn=3540360808&rft.eisbn_list=9783540360803&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=EBC3071743_10_32&rft_id=info:pmid/&rfr_iscdi=true