Precise analysis of value-dependent synchronization in priority scheduled programs

Keyphrases

• Precise Analysis 100%
• Concurrent Programs 100%
• Mutual Exclusion 50%
• Priority-based 50%
• Priority Scheduling 50%
• Interprocedural Analysis 50%
• Data Race Detection 50%
• Integer Variables 50%
• Interrupt-driven 50%
• Automotive Controllers 50%

Engineering

• Automotives 100%
• Sufficient Condition 100%
• Critical Section 100%

Computer Science

• Concurrent Program 100%
• Mutual Exclusion 50%
• Interprocedural Analysis 50%
• Critical Section 50%
• Sufficient Condition 50%