Safety-assured model-driven design of the multifunction vehicle bus controller

Keyphrases

• Model-based Design 100%
• Multifunction Vehicle Bus 100%
• Bus Controller 100%
• Timed Automata 60%
• Safety Requirements 40%
• C Code 40%
• UPPAAL 40%
• Inconsistency 20%
• Generic Model 20%
• Simulink 20%
• Design Approach 20%
• Binary Codes 20%
• Data Transmission 20%
• Runtime Verification 20%
• Code Generation 20%
• Code Generating 20%
• Code Size 20%
• Generated Code 20%
• Verification Tool 20%
• Generation Tools 20%
• Controller Design Method 20%
• Logic Formulas 20%
• Model Checking Tools 20%
• Glue Code 20%
• Tool Time 20%
• Train Communication Network 20%
• International Electrotechnical Commission 20%
• Timed Computation Tree Logic 20%
• BeagleBone 20%
• Model Requirements 20%
• Integrated Code 20%

Computer Science

• Timed Automaton 100%
• Communication Network 50%
• runtime verification 50%
• Automaton 50%
• Model Checking 50%
• Simulink 50%
• Code Generation 50%
• Computation Tree 50%

Engineering

• Safety Requirement 100%
• Communication Network 50%
• Generic Model 50%
• Design Method 50%
• Controller Design 50%
• Binary Code 50%
• Logic Formula 50%