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

Keyphrases

• Bus Controller 100%
• C Code 16%
• Debugging 16%
• Engineering Approach 16%
• Generic Model 16%
• Generic Reference 16%
• Implementation Level 16%
• Inconsistency 16%
• International Electrotechnical Commission 66%
• Logic Formulas 16%
• Model-based Design 100%
• Model-driven Engineering 16%
• Multifunction Vehicle Bus 100%
• Networks of Timed Automata 16%
• Runtime Verification 16%
• Safety Requirements 33%
• Timed Automata 16%
• Timed Computation Tree Logic 16%
• Tool Time 16%
• Train Communication Network 16%
• UPPAAL 16%
• Verification Tool 16%

Computer Science

• Communication Network 50%
• Computation Tree 50%
• Generic Reference 50%
• Implementation Level 50%
• Model-Driven Engineering 50%
• Reference Model 50%
• runtime verification 50%
• Timed Automaton 100%

Engineering

• Communication Network 50%
• Engineering 50%
• Generic Model 50%
• Implementation Level 50%
• Logic Formula 50%
• Reference Model 50%
• Safety Requirement 100%