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

Mathematics

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

Engineering & Materials Science

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