FRINK Linked Data Fragments server

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

• W2894617116 abstract "Increasingly many industrial spheres are enforced by law to satisfy strict RAMS requirements—reliability, availability, maintainability, and safety. Applied to Fault Maintenance Trees (FMTs), formal methods offer flexible and trustworthy techniques to quantify the resilience of (abstract models of) systems. However, the estimated metrics are relevant only as far as the model reflects the actual system: Refining an abstract model to reduce the gap with reality is crucial for the usefulness of the results. In this work, we take a practical approach at the challenge by studying a Heating, Ventilation and Air-Conditioning unit (HVAC), ubiquitous in smart buildings. Using probabilistic and statistical model checking, we assess RAMS metrics of a basic fault maintenance tree HVAC model. We then implement four modifications augmenting the expressivity of the FMT model, and show that reliability, availability, expected number of failures, and costs, can vary by orders of magnitude depending on involved modelling details." @default.
• W2894617116 created "2018-10-12" @default.
• W2894617116 creator A5026004403 @default.
• W2894617116 creator A5036121824 @default.
• W2894617116 creator A5053065289 @default.
• W2894617116 creator A5057117258 @default.
• W2894617116 creator A5069684684 @default.
• W2894617116 creator A5091718585 @default.
• W2894617116 date "2018-01-01" @default.
• W2894617116 modified "2023-09-24" @default.
• W2894617116 title "Modelling Smart Buildings Using Fault Maintenance Trees" @default.
• W2894617116 cites W1489725951 @default.
• W2894617116 cites W1862398452 @default.
• W2894617116 cites W1973585648 @default.
• W2894617116 cites W1993834778 @default.
• W2894617116 cites W2094629951 @default.
• W2894617116 cites W2105118077 @default.
• W2894617116 cites W2117189826 @default.
• W2894617116 cites W2121337044 @default.
• W2894617116 cites W2166423024 @default.
• W2894617116 cites W2224779672 @default.
• W2894617116 cites W2301558803 @default.
• W2894617116 cites W2492911276 @default.
• W2894617116 cites W2528343907 @default.
• W2894617116 cites W2620928019 @default.
• W2894617116 cites W2687657776 @default.
• W2894617116 cites W2738790184 @default.
• W2894617116 cites W2751313953 @default.
• W2894617116 cites W2963685033 @default.
• W2894617116 cites W4238452333 @default.
• W2894617116 doi "https://doi.org/10.1007/978-3-030-02227-3_8" @default.
• W2894617116 hasPublicationYear "2018" @default.
• W2894617116 type Work @default.
• W2894617116 sameAs 2894617116 @default.
• W2894617116 citedByCount "0" @default.
• W2894617116 crossrefType "book-chapter" @default.
• W2894617116 hasAuthorship W2894617116A5026004403 @default.
• W2894617116 hasAuthorship W2894617116A5036121824 @default.
• W2894617116 hasAuthorship W2894617116A5053065289 @default.
• W2894617116 hasAuthorship W2894617116A5057117258 @default.
• W2894617116 hasAuthorship W2894617116A5069684684 @default.
• W2894617116 hasAuthorship W2894617116A5091718585 @default.
• W2894617116 hasBestOaLocation W28946171162 @default.
• W2894617116 hasConcept C103742991 @default.
• W2894617116 hasConcept C107094494 @default.
• W2894617116 hasConcept C115903868 @default.
• W2894617116 hasConcept C121332964 @default.
• W2894617116 hasConcept C122346748 @default.
• W2894617116 hasConcept C127413603 @default.
• W2894617116 hasConcept C154945302 @default.
• W2894617116 hasConcept C160713754 @default.
• W2894617116 hasConcept C163258240 @default.
• W2894617116 hasConcept C200601418 @default.
• W2894617116 hasConcept C2779585090 @default.
• W2894617116 hasConcept C41008148 @default.
• W2894617116 hasConcept C43214815 @default.
• W2894617116 hasConcept C49937458 @default.
• W2894617116 hasConcept C62520636 @default.
• W2894617116 hasConcept C97355855 @default.
• W2894617116 hasConceptScore W2894617116C103742991 @default.
• W2894617116 hasConceptScore W2894617116C107094494 @default.
• W2894617116 hasConceptScore W2894617116C115903868 @default.
• W2894617116 hasConceptScore W2894617116C121332964 @default.
• W2894617116 hasConceptScore W2894617116C122346748 @default.
• W2894617116 hasConceptScore W2894617116C127413603 @default.
• W2894617116 hasConceptScore W2894617116C154945302 @default.
• W2894617116 hasConceptScore W2894617116C160713754 @default.
• W2894617116 hasConceptScore W2894617116C163258240 @default.
• W2894617116 hasConceptScore W2894617116C200601418 @default.
• W2894617116 hasConceptScore W2894617116C2779585090 @default.
• W2894617116 hasConceptScore W2894617116C41008148 @default.
• W2894617116 hasConceptScore W2894617116C43214815 @default.
• W2894617116 hasConceptScore W2894617116C49937458 @default.
• W2894617116 hasConceptScore W2894617116C62520636 @default.
• W2894617116 hasConceptScore W2894617116C97355855 @default.
• W2894617116 hasLocation W28946171161 @default.
• W2894617116 hasLocation W28946171162 @default.
• W2894617116 hasLocation W28946171163 @default.
• W2894617116 hasOpenAccess W2894617116 @default.
• W2894617116 hasPrimaryLocation W28946171161 @default.
• W2894617116 hasRelatedWork W1516455464 @default.
• W2894617116 hasRelatedWork W197948030 @default.
• W2894617116 hasRelatedWork W2034554218 @default.
• W2894617116 hasRelatedWork W2035870724 @default.
• W2894617116 hasRelatedWork W2111920187 @default.
• W2894617116 hasRelatedWork W2116565619 @default.
• W2894617116 hasRelatedWork W2132701317 @default.
• W2894617116 hasRelatedWork W2162242597 @default.
• W2894617116 hasRelatedWork W2164959662 @default.
• W2894617116 hasRelatedWork W2493602662 @default.
• W2894617116 hasRelatedWork W2626574035 @default.
• W2894617116 hasRelatedWork W2784214328 @default.
• W2894617116 hasRelatedWork W2807792305 @default.
• W2894617116 hasRelatedWork W2887752215 @default.
• W2894617116 hasRelatedWork W2902481131 @default.
• W2894617116 hasRelatedWork W2970754970 @default.
• W2894617116 hasRelatedWork W308326513 @default.
• W2894617116 hasRelatedWork W3126401282 @default.
• W2894617116 hasRelatedWork W3160771821 @default.
• W2894617116 hasRelatedWork W3166115794 @default.

• next