Importance of Control Coupling Analysis in Certifying Safety Multicore Systems
(Room 303C)
04 Nov 25
3:50 PM
-
4:15 PM
Tracks:
Embedded Software - Testing 2
In the certification of safety-critical systems, data flow, and control coupling have traditionally been essential in ensuring data integrity and alignment of software components with system requirements. While these concepts remain fundamental, the rise of multicore processors has introduced new dimensions to control coupling. Specifically, interference between concurrently running applications on different cores presents challenges to system predictability and safety. This shift has driven safety standards to focus on analyzing inter-core dependencies to prevent unintended interactions that could compromise system behavior. This paper explores software and hardware techniques for conducting effective control coupling analysis in multicore systems, addressing key challenges to ensure safe, reliable, and certifiable designs.