Automatic Detection of Incomplete and Inconsistent Safety Requirements

Computer Science

• Automatic Detection 100%
• Propagation Model 100%
• Failure Propagation 100%
• Consistency Criterion 66%
• Set Theory 66%
• Development Environment 33%
• Specification Language 33%
• Consistency Check 33%
• Formal Specification 33%
• Technology Platform 33%

Keyphrases

• Automatic Detection 100%
• Safety Requirements 100%
• Inconsistency 33%
• Failure Propagation 33%
• Requirements Completeness 33%
• Requirements Consistency 33%
• Set Theory 22%
• Consistency Criterion 22%
• Completion Criteria 22%
• Natural Language 11%
• Development Environment 11%
• Consistency Checking 11%
• Formal Specification Languages 11%
• Technology Platform 11%
• Safety Engineers 11%
• Safety Incidents 11%
• Problem-specific Knowledge 11%