A(M)C 20-193's MCP_Software_1 and MCP_Software_2 objectives require verification of the worst-case execution time (WCET) and data coupling and control coupling behavior of multicore software.
We support activities to produce this evidence through consultancy, including advising on strategies for multicore WCET analysis and multicore data coupling and control coupling analysis.
Feature applies to: