Automated Safety Analysis for Domain-Specific Languages

Keyphrases

• Domain-specific Languages 100%
• Model Management 100%
• Automated Safety Analysis 100%
• Management Tools 50%
• Language Variation 50%
• Safety Analysis 50%
• Data Platform 50%
• Failure Behavior 50%
• Fault Propagation 50%
• Size Scaling 50%
• Management Language 50%
• State-of-the-art Models 50%
• Formation Analysis 50%

Computer Science

• Model Management 100%
• Domain-specific language 100%
• Analysis Technique 50%
• Distributed Nature 50%
• Failure Behavior 50%
• Domain-Specific Modeling Language 50%
• Critical System 50%