A closed-loop model-based design approach based on automatic verification and transformation

Keyphrases

• Automatic Verification 100%
• Structural Constraints 100%
• Closed-loop Model 100%
• Model-based Design 100%
• Automatic Transformation 100%
• Cyber-physical Systems 50%
• Design Time 50%
• Original Model 50%
• Structural Concepts 50%
• Output Transformation 50%
• Model Transformation 50%
• Verification Process 50%
• Domain-specific Languages 50%
• Finite State Machine Models 50%
• Code Generation 50%

Computer Science

• Structural Constraint 100%
• Verification Process 50%
• Behavioral System 50%
• Code Generation 50%
• Finite-State Machine 50%
• Domain-Specific Modeling Language 50%
• Domain Modeler 50%
• Model Transformation 50%
• State Machine Model 50%
• Cyber Physical Systems 50%