Close
Metadata

1. Identity statement
Reference TypeBook Section
Sitemtc-m21d.sid.inpe.br
Holder Codeisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identifier8JMKD3MGP3W34T/463GC78
Repositorysid.inpe.br/mtc-m21d/2021/12.23.19.04   (restricted access)
Last Update2021:12.23.19.04.47 (UTC) simone
Metadata Repositorysid.inpe.br/mtc-m21d/2021/12.23.19.04.47
Metadata Last Update2022:04.03.23.13.57 (UTC) administrator
Secondary KeyINPE--/
DOI10.1007/978-3-030-86973-1_33
ISBN978-303086972-4
Citation KeyPassaSant:2021:AiNaSy
TitleAircraft Navigation Systems Safety Assessment via Probabilistic Model Checking
Year2021
Access Date2024, May 09
Secondary TypePRE LI
Number of Files1
Size521 KiB
2. Context
Author1 Passa, Gabriel Duarte
2 Santiago Júnior, Valdivino Alexandre de
Resume Identifier1
2 8JMKD3MGP5W/3C9JJB5
Group1
2 COPDT-CGIP-INPE-MCTI-GOV-BR
Affiliation1
2 Instituto Nacional de Pesquisas Espaciais (INPE)
Author e-Mail Address1
2 valdivino.santiago@inpe.br
EditorGervasi, O.
Murgante, B.
Misra, S.
Garau, C.
Blecic, I.
Apduhan, B. O.
Rocha, A. M. A. C.
Tarantino, E.
Torre, C. M.
Book TitleComputational Science and its Applications (ICCSA) 2021
PublisherSpringer
Volume12952
Pages465-480
History (UTC)2021-12-23 19:05:33 :: simone -> administrator :: 2021
2022-04-03 23:13:57 :: administrator -> simone :: 2021
3. Content and structure
Is the master or a copy?is the master
Content Stagecompleted
Transferable1
Content TypeExternal Contribution
Version Typepublisher
KeywordsAerospace systems
Aircraft navigation
Probabilistic model checking
Safety assessment
AbstractThe safety assessment process is a mandatory step in the development and certification of safety-critical systems such as the ones in the aerospace industry. In this work we show how Probabilistic Model Checking, a Formal Verification method, can help to assess the safety of navigation systems for a civil commercial transport category aircraft. The process involves a top-down approach identifying functions and its respective failure modes. Each failure event is associated with a hazard level, with an inverse relationship between the maximum acceptable probability and the event severity. Fault Tree Analysis (FTA) is the most commonly used method to quantify each events probability, but probabilistic models are also accepted as means of compliance demonstration, as per ARP-4761. Results show that the use of Probabilistic Model Checking as a means to complement non-formal methods is valuable, where we were able to evaluate the probability of several failure modes described in FAAs AC 20-138D, making use of Continuous-Time Markov Chains (CTMCs) with up 4.3 million of reachable states and 60 million of transitions.
AreaCOMP
Arrangementurlib.net > BDMCI > Fonds > Produção a partir de 2021 > CGIP > Aircraft Navigation Systems...
doc Directory Contentaccess
source Directory Contentthere are no files
agreement Directory Content
agreement.html 23/12/2021 16:04 1.8 KiB 
4. Conditions of access and use
Languageen
Target FilePasa_Santiago Jr_ICCSA 2021_Versão Autor.pdf
User Groupsimone
Visibilityshown
Read Permissiondeny from all and allow from 150.163
5. Allied materials
Mirror Repositoryurlib.net/www/2021/06.04.03.40.25
Next Higher Units8JMKD3MGPCW/46KUES5
DisseminationBNDEPOSITOLEGAL
Host Collectionurlib.net/www/2021/06.04.03.40
6. Notes
Empty Fieldsarchivingpolicy archivist callnumber city copyholder copyright creatorhistory descriptionlevel documentstage e-mailaddress edition format issn label lineage mark nextedition notes numberofvolumes orcid parameterlist parentrepositories previousedition previouslowerunit progress project readergroup rightsholder schedulinginformation secondarydate secondarymark serieseditor seriestitle session shorttitle sponsor subject tertiarymark tertiarytype translator url
7. Description control
e-Mail (login)simone
update 


Close