skip to main content
Ngôn ngữ:
Giới hạn tìm kiếm: Giới hạn tìm kiếm: Dạng tài nguyên Hiển thị kết quả với: Hiển thị kết quả với: Chỉ mục

Better railway engineering through statistical model checking

Ruijters, Enno ; Stoelinga, Mariëlle ; Margaria, Tiziana ; Steffen, Bernhard; Faculty of Electrical Engineering, Mathematics & Computer Science ; Formal Methods and Tools

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016, pp.151-165 [Tạp chí có phản biện]

ISBN: 978-3-319-47165-5 ; ISBN: 978-3-319-47166-2

Toàn văn sẵn có

Trích dẫn Trích dẫn bởi
  • Nhan đề:
    Better railway engineering through statistical model checking
  • Tác giả: Ruijters, Enno ; Stoelinga, Mariëlle ; Margaria, Tiziana ; Steffen, Bernhard
  • Faculty of Electrical Engineering, Mathematics & Computer Science ; Formal Methods and Tools
  • Chủ đề: Statistical Model Checking ; Ewi-27088 ; Fault Maintenance Trees ; Ir-100740 ; Fault Trees ; Metis-318465 ; Fault Tree Analysis
  • Là 1 phần của: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016, pp.151-165
  • Mô tả: Maintenance is essential to ensuring the dependability of a technical system. Periodic inspections, repairs, and renewals can prevent failures and extend a system’s lifespan. At the same time, maintenance incurs cost and planned downtime. It is therefore important to find a maintenance policy that balances cost and dependability. This paper presents a framework, fault maintenance trees (FMTs), integrating maintenance into the industry-standard formalism of fault trees. By translating FMTs to priced timed automata and applying statistical model checking, we can obtain system dependability metrics such as system reliability and mean time to failure, as well as costs of maintenance and failures over time, for different maintenance policies. Our framework is flexible and can be extended to include effects specific to the system being analysed. We demonstrate that our framework can be used in practice using two case studies from the railway industry: electrically insulated joints, and pneumatic compressors.
  • Ngôn ngữ: English
  • Số nhận dạng: ISBN: 978-3-319-47165-5 ; ISBN: 978-3-319-47166-2

Đang tìm Cơ sở dữ liệu bên ngoài...