FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2902481131> ?p ?o ?g. }

• W2902481131 abstract "Cyber-physical systems must meet high RAMS—reliability, availability, maintainability, and safety—standards. It is of essence to implement robust maintenance policies that decrease system downtime in a cost-effective way. Power plants and smart buildings are prominent examples where the cost of periodic inspections is high, and should be mitigated without compromising system reliability and availability. Fault Maintenance Trees (FMTs), a novel extension in fault tree analysis, can be used to assess system resilience: FMTs allow reasoning about failures in the presence of maintenance strategies, by encoding fault modes in a comprehensible and maintenance-friendly manner. A main concern is how to build a concrete model from the FMT, in order to compute the relevant RAMS metrics via (ideally automatic) analyses. Formal methods offer automated and trustworthy techniques to tackle with such task. In this work, we apply quantitative model checking—a well established formal verification technique—to analyse the FMT of a Heating, Ventilation and Air-Conditioning unit from a smart building. More specifically, we model the FMT in terms of continuous-time Markovchains and priced time automata, which we respectively analyse using probabilistic and statistical model checking. In this way we are capable of automatically estimating the reliability, availability, expected number of failures, and differentiated costs of the FMT model for various time horizons and maintenance policies. We further contrast the two approaches we use, and identify their advantages and drawbacks." @default.
• W2902481131 created "2018-12-11" @default.
• W2902481131 creator A5026004403 @default.
• W2902481131 creator A5053065289 @default.
• W2902481131 creator A5057117258 @default.
• W2902481131 creator A5069684684 @default.
• W2902481131 creator A5091718585 @default.
• W2902481131 date "2018-07-02" @default.
• W2902481131 modified "2023-09-23" @default.
• W2902481131 title "Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees" @default.
• W2902481131 cites W1516256348 @default.
• W2902481131 cites W1587691136 @default.
• W2902481131 cites W1631091010 @default.
• W2902481131 cites W1862398452 @default.
• W2902481131 cites W1973585648 @default.
• W2902481131 cites W2041226400 @default.
• W2902481131 cites W2052531283 @default.
• W2902481131 cites W2062097049 @default.
• W2902481131 cites W2105118077 @default.
• W2902481131 cites W2166423024 @default.
• W2902481131 cites W2259883075 @default.
• W2902481131 cites W2492911276 @default.
• W2902481131 cites W2514990232 @default.
• W2902481131 cites W2516153342 @default.
• W2902481131 cites W2591552503 @default.
• W2902481131 cites W2607521821 @default.
• W2902481131 cites W2620928019 @default.
• W2902481131 cites W2687657776 @default.
• W2902481131 cites W2759180318 @default.
• W2902481131 cites W2913459036 @default.
• W2902481131 cites W2963685033 @default.
• W2902481131 cites W37165804 @default.
• W2902481131 cites W846474976 @default.
• W2902481131 cites W3023485956 @default.
• W2902481131 doi "https://doi.org/10.36001/phme.2018.v4i1.385" @default.
• W2902481131 hasPublicationYear "2018" @default.
• W2902481131 type Work @default.
• W2902481131 sameAs 2902481131 @default.
• W2902481131 citedByCount "1" @default.
• W2902481131 countsByYear W29024811312021 @default.
• W2902481131 crossrefType "journal-article" @default.
• W2902481131 hasAuthorship W2902481131A5026004403 @default.
• W2902481131 hasAuthorship W2902481131A5053065289 @default.
• W2902481131 hasAuthorship W2902481131A5057117258 @default.
• W2902481131 hasAuthorship W2902481131A5069684684 @default.
• W2902481131 hasAuthorship W2902481131A5091718585 @default.
• W2902481131 hasConcept C107094494 @default.
• W2902481131 hasConcept C115903868 @default.
• W2902481131 hasConcept C121332964 @default.
• W2902481131 hasConcept C127413603 @default.
• W2902481131 hasConcept C154945302 @default.
• W2902481131 hasConcept C160713754 @default.
• W2902481131 hasConcept C163258240 @default.
• W2902481131 hasConcept C180591934 @default.
• W2902481131 hasConcept C200601418 @default.
• W2902481131 hasConcept C2779585090 @default.
• W2902481131 hasConcept C41008148 @default.
• W2902481131 hasConcept C43214815 @default.
• W2902481131 hasConcept C49937458 @default.
• W2902481131 hasConcept C62520636 @default.
• W2902481131 hasConcept C97355855 @default.
• W2902481131 hasConceptScore W2902481131C107094494 @default.
• W2902481131 hasConceptScore W2902481131C115903868 @default.
• W2902481131 hasConceptScore W2902481131C121332964 @default.
• W2902481131 hasConceptScore W2902481131C127413603 @default.
• W2902481131 hasConceptScore W2902481131C154945302 @default.
• W2902481131 hasConceptScore W2902481131C160713754 @default.
• W2902481131 hasConceptScore W2902481131C163258240 @default.
• W2902481131 hasConceptScore W2902481131C180591934 @default.
• W2902481131 hasConceptScore W2902481131C200601418 @default.
• W2902481131 hasConceptScore W2902481131C2779585090 @default.
• W2902481131 hasConceptScore W2902481131C41008148 @default.
• W2902481131 hasConceptScore W2902481131C43214815 @default.
• W2902481131 hasConceptScore W2902481131C49937458 @default.
• W2902481131 hasConceptScore W2902481131C62520636 @default.
• W2902481131 hasConceptScore W2902481131C97355855 @default.
• W2902481131 hasIssue "1" @default.
• W2902481131 hasLocation W29024811311 @default.
• W2902481131 hasOpenAccess W2902481131 @default.
• W2902481131 hasPrimaryLocation W29024811311 @default.
• W2902481131 hasRelatedWork W1516455464 @default.
• W2902481131 hasRelatedWork W1532269431 @default.
• W2902481131 hasRelatedWork W2058821013 @default.
• W2902481131 hasRelatedWork W2068690652 @default.
• W2902481131 hasRelatedWork W2111920187 @default.
• W2902481131 hasRelatedWork W2115054228 @default.
• W2902481131 hasRelatedWork W2116565619 @default.
• W2902481131 hasRelatedWork W2162242597 @default.
• W2902481131 hasRelatedWork W2164959662 @default.
• W2902481131 hasRelatedWork W2249664022 @default.
• W2902481131 hasRelatedWork W2332207911 @default.
• W2902481131 hasRelatedWork W2784214328 @default.
• W2902481131 hasRelatedWork W2807792305 @default.
• W2902481131 hasRelatedWork W2887752215 @default.
• W2902481131 hasRelatedWork W2894617116 @default.
• W2902481131 hasRelatedWork W2898299378 @default.
• W2902481131 hasRelatedWork W3029288078 @default.
• W2902481131 hasRelatedWork W3081376217 @default.
• W2902481131 hasRelatedWork W3160771821 @default.
• W2902481131 hasRelatedWork W3166115794 @default.

• next