Matches in SemOpenAlex for { <https://semopenalex.org/work/W1926575324> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1926575324 abstract "Quantitative verification is an effective technique for analyzing quantitative aspects of a safety critical system's design, and safety analysis is a significant aspect of safety critical system. However, they are often conducted separately. In this paper, we propose a new methodology, QaSten, fastens quantitative verification to safety analysis for Architecture Analysis and Design Language (AADL) model (including error model). QaSten formalizes a set of rigorous transformation rules that transform AADL model to PRISM model using formal method. In addition, QaSten can generate two safety property formulas automatically to check against the PRISM model for each hazardous state. Therefore, the occurrence probability of hazardous states can be calculated, which can help system designers understand the impact of parameters in the model. Furthermore, combining the probability and the severity of potential consequence of a hazardous state, QaSten determines the hazard risk acceptance level that can help engineers to identify critical hazard and modify or redesign architecture model to control it in an acceptable level. Two case studies, based on the Gas Leakage Alarm systems, are utilized to demonstrate QaSten's feasibility and effectiveness." @default.
- W1926575324 created "2016-06-24" @default.
- W1926575324 creator A5057513398 @default.
- W1926575324 creator A5066382401 @default.
- W1926575324 creator A5071278984 @default.
- W1926575324 date "2015-09-01" @default.
- W1926575324 modified "2023-09-25" @default.
- W1926575324 title "QaSten: Integrating Quantitative Verification with Safety Analysis for AADL Model" @default.
- W1926575324 cites W1862398452 @default.
- W1926575324 cites W1967708626 @default.
- W1926575324 cites W1975333633 @default.
- W1926575324 cites W1988125341 @default.
- W1926575324 cites W2003136834 @default.
- W1926575324 cites W2003587716 @default.
- W1926575324 cites W2048710626 @default.
- W1926575324 cites W2077287580 @default.
- W1926575324 cites W2106043479 @default.
- W1926575324 cites W2131687401 @default.
- W1926575324 cites W2141881497 @default.
- W1926575324 cites W2145361602 @default.
- W1926575324 cites W2152907958 @default.
- W1926575324 cites W2275405912 @default.
- W1926575324 cites W2493732967 @default.
- W1926575324 cites W625928923 @default.
- W1926575324 cites W72684053 @default.
- W1926575324 doi "https://doi.org/10.1109/tase.2015.10" @default.
- W1926575324 hasPublicationYear "2015" @default.
- W1926575324 type Work @default.
- W1926575324 sameAs 1926575324 @default.
- W1926575324 citedByCount "6" @default.
- W1926575324 countsByYear W19265753242017 @default.
- W1926575324 countsByYear W19265753242018 @default.
- W1926575324 countsByYear W19265753242019 @default.
- W1926575324 countsByYear W19265753242020 @default.
- W1926575324 crossrefType "proceedings-article" @default.
- W1926575324 hasAuthorship W1926575324A5057513398 @default.
- W1926575324 hasAuthorship W1926575324A5066382401 @default.
- W1926575324 hasAuthorship W1926575324A5071278984 @default.
- W1926575324 hasConcept C110251889 @default.
- W1926575324 hasConcept C111498074 @default.
- W1926575324 hasConcept C11413529 @default.
- W1926575324 hasConcept C127413603 @default.
- W1926575324 hasConcept C132835097 @default.
- W1926575324 hasConcept C154945302 @default.
- W1926575324 hasConcept C177264268 @default.
- W1926575324 hasConcept C178790620 @default.
- W1926575324 hasConcept C185592680 @default.
- W1926575324 hasConcept C199360897 @default.
- W1926575324 hasConcept C200601418 @default.
- W1926575324 hasConcept C206355099 @default.
- W1926575324 hasConcept C2776436953 @default.
- W1926575324 hasConcept C2779791154 @default.
- W1926575324 hasConcept C41008148 @default.
- W1926575324 hasConcept C49261128 @default.
- W1926575324 hasConceptScore W1926575324C110251889 @default.
- W1926575324 hasConceptScore W1926575324C111498074 @default.
- W1926575324 hasConceptScore W1926575324C11413529 @default.
- W1926575324 hasConceptScore W1926575324C127413603 @default.
- W1926575324 hasConceptScore W1926575324C132835097 @default.
- W1926575324 hasConceptScore W1926575324C154945302 @default.
- W1926575324 hasConceptScore W1926575324C177264268 @default.
- W1926575324 hasConceptScore W1926575324C178790620 @default.
- W1926575324 hasConceptScore W1926575324C185592680 @default.
- W1926575324 hasConceptScore W1926575324C199360897 @default.
- W1926575324 hasConceptScore W1926575324C200601418 @default.
- W1926575324 hasConceptScore W1926575324C206355099 @default.
- W1926575324 hasConceptScore W1926575324C2776436953 @default.
- W1926575324 hasConceptScore W1926575324C2779791154 @default.
- W1926575324 hasConceptScore W1926575324C41008148 @default.
- W1926575324 hasConceptScore W1926575324C49261128 @default.
- W1926575324 hasLocation W19265753241 @default.
- W1926575324 hasOpenAccess W1926575324 @default.
- W1926575324 hasPrimaryLocation W19265753241 @default.
- W1926575324 hasRelatedWork W1453882431 @default.
- W1926575324 hasRelatedWork W1561908010 @default.
- W1926575324 hasRelatedWork W1977409260 @default.
- W1926575324 hasRelatedWork W1977865275 @default.
- W1926575324 hasRelatedWork W1982593520 @default.
- W1926575324 hasRelatedWork W2003136834 @default.
- W1926575324 hasRelatedWork W2047697249 @default.
- W1926575324 hasRelatedWork W2100014112 @default.
- W1926575324 hasRelatedWork W2131687401 @default.
- W1926575324 hasRelatedWork W2157706321 @default.
- W1926575324 hasRelatedWork W2337367030 @default.
- W1926575324 hasRelatedWork W2348276613 @default.
- W1926575324 hasRelatedWork W2592147877 @default.
- W1926575324 hasRelatedWork W2622864882 @default.
- W1926575324 hasRelatedWork W2626342571 @default.
- W1926575324 hasRelatedWork W2767629575 @default.
- W1926575324 hasRelatedWork W2913749302 @default.
- W1926575324 hasRelatedWork W3014054866 @default.
- W1926575324 hasRelatedWork W3016506139 @default.
- W1926575324 hasRelatedWork W2928694119 @default.
- W1926575324 isParatext "false" @default.
- W1926575324 isRetracted "false" @default.
- W1926575324 magId "1926575324" @default.
- W1926575324 workType "article" @default.