Modeling and automatic failure analysis of safety-critical systems using extended safecharts

Mathematics

• Avionics 13%
• Electronics 7%
• Failure Analysis 87%
• Fault 26%
• Formal Verification 22%
• Graph in graph theory 3%
• Hazard 8%
• Human 6%
• Manipulator 9%
• Model 17%
• Model Checking 17%
• Modeling 34%
• Repair 17%
• Safety-critical Systems 100%
• Specification 6%
• System Design 9%
• Timed Automata 10%
• Verify 12%

Engineering & Materials Science

• Avionics 8%
• Concretes 5%
• Consumer electronics 9%
• Failure analysis 45%
• Fault tree analysis 9%
• Formal verification 17%
• Hazards 6%
• Manipulators 6%
• Model checking 16%
• Repair 12%
• Specifications 4%