Main Content

AUTOSAR runnable not implemented

Function implementing AUTOSAR runnable is not found

Description

This check determines if an AUTOSAR runnable specified in the ARXML specifications is implemented through a function in the source code. The check shows a result only if a function is not found.

You can navigate from the result to the runnable specification through the spec link.

This check is enabled only if you run a Code Prover analysis based on AUTOSAR ARXML specifications, either in the Polyspace® user interface or using the polyspace-autosar command. For more information, see Run Polyspace on AUTOSAR Code.

Result Information

Group: Other
Language: C
Acronym: AUTOSAR_NOIMPL

Version History

Introduced in R2018a

See Also

Topics