Behavioral Compatibility Without State Explosion: Design and Verification of a Component-based Elevator Control System

Keyphrases

• Component-based 100%
• Elevator Control System 100%
• Behavioral Compatibility 100%
• State Space Explosion 100%
• Temporal Behavior 66%
• Runtime Behavior 66%
• Component-based Systems 66%
• Connected Component 33%
• Automata 33%
• Temporal Logic 33%
• Deduction 33%
• Exponential Increase 33%
• Large Systems 33%
• Interacting Components 33%
• Number of Components 33%
• Automatic Verification 33%
• Pairwise Approach 33%
• Global State 33%
• Component Compatibility 33%
• Control Algorithm 33%
• Interface Components 33%
• Compatibility Behavior 33%
• Elevator Control 33%

Computer Science

• Temporal Behavior 100%
• component based system 100%
• Syntactics 50%
• Temporal Logic 50%
• Polynomial Time 50%
• Component Analysis 50%
• Connected Component 50%
• Automaton 50%
• And-States 50%
• Component Interface 50%
• Model Checking 50%
• Runtime Address 50%
• Control Algorithm 50%