Methods and tools aiding in the analysis of specification failures during the design process of safety-critical cyber-physical systems

Computer Science

• Cyber Physical Systems 100%
• Non-Functional Requirement 100%
• Ontology 66%
• Function Block Diagram 66%
• Design Phase 33%
• Functional Requirement 33%
• Safety Critical Systems 33%
• Model Checking 33%
• Ontological Model 33%
• Knowledge Base 33%
• Complex Requirement 33%
• fault-tolerance 33%
• Physical Separation 33%