Combining abstract interpretation with model checking for timing analysis of multicore software

Keyphrases

• Timing Analysis 100%
• Abstract Interpretation 100%
• Timed Automata Model 100%
• Multicore Software 100%
• Shared Bus 100%
• Multicore 66%
• Memory Bus 66%
• Timed Automata 66%
• High Performance 33%
• Low Power Consumption 33%
• Time Predictability 33%
• Shared Memory 33%
• Real-time Property 33%
• On-chip Memory 33%
• Automatic Generation 33%
• Worst-case Bounds 33%
• Access Delay 33%
• Multicore Architecture 33%
• Binary Codes 33%
• Local Cache 33%
• Cache Analysis 33%
• WCET Estimation 33%
• Real-time Embedded Systems 33%
• Model Checker 33%
• L1 Cache 33%
• Programmatic Access 33%
• Access Contention 33%
• Dedicated Cores 33%
• UPPAAL 33%
• Caching Behavior 33%

Computer Science

• Multicore 100%
• Timing Analysis 100%
• Timed Automaton 100%
• Model Checking 100%
• Abstract Interpretation 100%
• Lower Energy Consumption 20%
• Shared Memory 20%
• Real Time Systems 20%
• Critical Resource 20%
• Automatic Generation 20%
• Running Program 20%
• L1 Cache 20%
• Cache Behavior 20%
• model checker 20%