Matches in SemOpenAlex for { <https://semopenalex.org/work/W2887752215> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2887752215 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.
- W2887752215 created "2018-08-22" @default.
- W2887752215 creator A5026004403 @default.
- W2887752215 creator A5053065289 @default.
- W2887752215 creator A5057117258 @default.
- W2887752215 creator A5069684684 @default.
- W2887752215 creator A5091718585 @default.
- W2887752215 date "2018-07-02" @default.
- W2887752215 modified "2023-09-23" @default.
- W2887752215 title "Assessment of Maintenance Policies for Smart Buildings" @default.
- W2887752215 hasPublicationYear "2018" @default.
- W2887752215 type Work @default.
- W2887752215 sameAs 2887752215 @default.
- W2887752215 citedByCount "0" @default.
- W2887752215 crossrefType "journal-article" @default.
- W2887752215 hasAuthorship W2887752215A5026004403 @default.
- W2887752215 hasAuthorship W2887752215A5053065289 @default.
- W2887752215 hasAuthorship W2887752215A5057117258 @default.
- W2887752215 hasAuthorship W2887752215A5069684684 @default.
- W2887752215 hasAuthorship W2887752215A5091718585 @default.
- W2887752215 hasConcept C107094494 @default.
- W2887752215 hasConcept C121332964 @default.
- W2887752215 hasConcept C127413603 @default.
- W2887752215 hasConcept C154945302 @default.
- W2887752215 hasConcept C160713754 @default.
- W2887752215 hasConcept C163258240 @default.
- W2887752215 hasConcept C180591934 @default.
- W2887752215 hasConcept C200601418 @default.
- W2887752215 hasConcept C2779585090 @default.
- W2887752215 hasConcept C41008148 @default.
- W2887752215 hasConcept C43214815 @default.
- W2887752215 hasConcept C49937458 @default.
- W2887752215 hasConcept C62520636 @default.
- W2887752215 hasConcept C97355855 @default.
- W2887752215 hasConceptScore W2887752215C107094494 @default.
- W2887752215 hasConceptScore W2887752215C121332964 @default.
- W2887752215 hasConceptScore W2887752215C127413603 @default.
- W2887752215 hasConceptScore W2887752215C154945302 @default.
- W2887752215 hasConceptScore W2887752215C160713754 @default.
- W2887752215 hasConceptScore W2887752215C163258240 @default.
- W2887752215 hasConceptScore W2887752215C180591934 @default.
- W2887752215 hasConceptScore W2887752215C200601418 @default.
- W2887752215 hasConceptScore W2887752215C2779585090 @default.
- W2887752215 hasConceptScore W2887752215C41008148 @default.
- W2887752215 hasConceptScore W2887752215C43214815 @default.
- W2887752215 hasConceptScore W2887752215C49937458 @default.
- W2887752215 hasConceptScore W2887752215C62520636 @default.
- W2887752215 hasConceptScore W2887752215C97355855 @default.
- W2887752215 hasIssue "1" @default.
- W2887752215 hasLocation W28877522151 @default.
- W2887752215 hasOpenAccess W2887752215 @default.
- W2887752215 hasPrimaryLocation W28877522151 @default.
- W2887752215 hasRelatedWork W1516455464 @default.
- W2887752215 hasRelatedWork W1532269431 @default.
- W2887752215 hasRelatedWork W1995070765 @default.
- W2887752215 hasRelatedWork W2068690652 @default.
- W2887752215 hasRelatedWork W2111920187 @default.
- W2887752215 hasRelatedWork W2115054228 @default.
- W2887752215 hasRelatedWork W2116565619 @default.
- W2887752215 hasRelatedWork W2162242597 @default.
- W2887752215 hasRelatedWork W2249664022 @default.
- W2887752215 hasRelatedWork W2493602662 @default.
- W2887752215 hasRelatedWork W2602361867 @default.
- W2887752215 hasRelatedWork W2784214328 @default.
- W2887752215 hasRelatedWork W2807792305 @default.
- W2887752215 hasRelatedWork W2894617116 @default.
- W2887752215 hasRelatedWork W2898299378 @default.
- W2887752215 hasRelatedWork W2902481131 @default.
- W2887752215 hasRelatedWork W3029288078 @default.
- W2887752215 hasRelatedWork W3041119066 @default.
- W2887752215 hasRelatedWork W3160771821 @default.
- W2887752215 hasRelatedWork W3166115794 @default.
- W2887752215 hasVolume "4" @default.
- W2887752215 isParatext "false" @default.
- W2887752215 isRetracted "false" @default.
- W2887752215 magId "2887752215" @default.
- W2887752215 workType "article" @default.