Conference item icon

Conference item

Modelling smart buildings using fault maintenance trees

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 ...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.1007/978-3-030-02227-3_8

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Oxford college:
Kellogg College
Role:
Author
ORCID:
0000-0002-7564-1721
Expand authors...
Publisher:
Springer Verlag Publisher's website
Journal:
15th European Performance Engineering Workshop Journal website
Volume:
11178
Pages:
110-125
Series:
Lecture Notes in Computer Science
Host title:
15th European Performance Engineering Workshop, Paris, France, October 29-30, 2018
Publication date:
2018-10-03
Acceptance date:
2018-07-20
DOI:
EISSN:
1611-3349
ISSN:
0302-9743
Source identifiers:
909500
ISBN:
9783030022266
Keywords:
Pubs id:
pubs:909500
UUID:
uuid:0b05f8bc-0f29-4060-8893-ae136eb03628
Local pid:
pubs:909500
Deposit date:
2019-01-16

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP