Inhalt

•  
   Introduction
•  
   RailCab
•  
   Problem Definition
•  
   Contribution
•  
   Integration into the Development Process
•  
   Thesis Overview
•  
  Foundations
•  
  Self-healing Mechatronic Systems
•  
   Mechatronic Systems
•  
   Self-healing Systems
•  
   Self-healing Process
•  
   Integration into the CRC 614
•  
   Component Model
•  
   Behavior Models
•  
   Timed Component Story Diagrams
•  
   Time
•  
   Safety
•  
   Hazard and Risk Analysis
•  
   Fault Tree Analysis
•  
   Fault Tree Analysis in Self-optimizing Mechatronic Systems
•  
   Risk Analysis
•  
   Summary
•  
  Modeling Timed Failure Propagation
•  
   Example
•  
   System Architecture
•  
   System Behavior
•  
   Timed Failure Propagation Graphs
•  
   Formalization
•  
   Adjusting the Propagation Time Intervals of TFPGs
•  
   Component-based Hazard Analysis Using TFPGs
•  
   Summary
•  
   Generation of Timed Failure Propagation Graphs
•  
   Example
•  
   Constructing TFPGs
•  
   Timing and Service Failures
•  
   Value Failures
•  
   Post-processing the Generated TFPGs
•  
   Summary
•  
   Analysis of Self-healing Operations
•  
   Example
•  
   Computing the Critical Time
•  
   Error Delay
•  
   Reconfiguration Delay
•  
   Compute Locations of Errors and Failures
•  
   Analyze the Criticality of the MCS
•  
   Analyze the Success of the Self-healing Operation
•  
   Remarks
•  
   Summary
•  
   Analysis of Self-healing Operations at Runtime
•  
   Example
•  
   System Extensions
•  
   Analyzer
•  
   Reconfiguration Controller
•  
   Risk Analysis
•  
   Timing Concerns
•  
   Summary
•  
  Tool Support
•  
   Tour of the Tool
•  
   Runtime Analysis
•  
   Simulation
•  
   Software Architecture
•  
   Evaluation
•  
   RailCab
•  
   Identification of Relations Between Incoming and Outgoing Timing and Service Failures
•  
   Summary
•  
   Related Work
•  
   Automatic Generation of Failure Propagation Models
•  
   Continuous Time Markov Chains
•  
   State Machines
•  
   Mode Automata
•  
   FSAP/NuSMV-SA
•  
   Discussion
•  
   Runtime Analysis
•  
   Runtime Certification
•  
   Other Approaches for Runtime Analysis
•  
  Conclusion
•  
   Summary
•  
   Future Work
•  
   List of Abbreviations
•  
   Own Publications
•  
   References
•  
   List of Definitions
•  
   List of Figures
•  
   List of Tables