Better Railway Engineering Through Statistical Model Checking

No abstract is available for this paper.

• Publication year

  2016

• Venue

  Leveraging Applications of Formal Methods

• Publication date

  2016-10-10

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1007/978-3-319-47166-2_10
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Reliability

  2020cited by this paper
• Reliability-Centered Maintenance of the Electrically Insulated Railway Joint via Fault Tree Analysis: A Practical Experience Report

  2016cited by this paper
• Maintenance Analysis and Optimization via Statistical Model Checking - Evaluating a Train Pneumatic Compressor

  2016cited by this paper
• Fault maintenance trees: Reliability centered maintenance via statistical model checking

  2016cited by this paper
• State of the art in simulation-based optimisation for maintenance systems

  2015cited by this paper
• Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools

  2014cited by this paper
• DFTCalc: a tool for efficient fault tree analysis (extended version)

  2013cited by this paper
• Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis

  2013cited by this paper
• UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata

  2012cited by this paper
• A literature review and future perspectives on maintenance optimization

  2011cited by this paper
• A Tool Supporting Evaluation of Non-markovian Fault Trees

  2008cited by this paper
• Repairable fault tree for the automatic evaluation of repair policies

  2004cited by this paper
• Parametric fault trees with dynamic gates and repair boxes

  2004cited by this paper
• Modeling with extended fault trees

  2000cited by this paper
• Design of maintenance concepts

  1992cited by this paper
• Reliability-Centered Maintenance

  1992cited by this paper
• Fault Tree Handbook

  1987cited by this paper
• W E

  year unknowncited by this paper

• Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review

  2025cites this paper
• Review article: Towards resilient vital infrastructure systems – challenges, opportunities, and future research agenda

  2021cites this paper
• Towards Resilient Vital Infrastructure Systems: Challenges, Opportunities, and Future Research Agenda

  2020cites this paper
• Simulation-based Safety Assessment of High-level Reliability Models

  2020cites this paper
• Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration

  2020cites this paper
• Rare Event Simulation for Non-Markovian Repairable Fault Trees

  2019cites this paper
• On Early Statistical Requirements Validation of Cyber-Physical Space Systems

  2018cites this paper
• A Hierarchy of Scheduler Classes for Stochastic Automata

  2017cites this paper
• Boosting Fault Tree Analysis by Formal Methods

  2017cites this paper
• Statistical Model Checking: Past, Present, and Future

  2016cites this paper
• Towards Resilient Vital Infrastructure Systems: Challenges, Opportunities, 1 and Future Research Agenda 2

  year unknowncites this paper