Generate code with Misra C:2023 compliant using Embedded coder and Model Advisor for Matlab 2024b

I am having an issue that my model is generating code with Misra C:2012 complaint but my requirement is Misra C:2023 compliance.

Embedded code by default is supporting Misra C:2012.

I am aware that Polyspace BUg finder toolbox helps to check Misra C:2023 compliant but I want to verify the model, parameters and every aspects whether they are Misra C:2023 complaint or not before code gen but not after code Generation.

Matlab version and toolbox versions I am using are

-----------------------------------------------------------------------------------------------------

MATLAB Version: 24.2.0.2923080 (R2024b) Update 6

MATLAB License Number: *********

Operating System: Microsoft Windows 11 Pro Version 10.0

Java Version: Java 1.8.0_202-b08 with Oracle Corporation Java HotSpot(TM) 64-Bit Server VM mixed mode

-----------------------------------------------------------------------------------------------------

MATLAB Version 24.2 (R2024b)

Simulink Version 24.2 (R2024b)

AUTOSAR Blockset Version 24.2 (R2024b)

Embedded Coder Version 24.2 (R2024b)

Financial Toolbox Version 24.2 (R2024b)

Fixed-Point Designer Version 24.2 (R2024b)

MATLAB Coder Version 24.2 (R2024b)

MATLAB Report Generator Version 24.2 (R2024b)

Optimization Toolbox Version 24.2 (R2024b)

Simulink Check Version 24.2 (R2024b)

Simulink Coder Version 24.2 (R2024b)

Simulink Coverage Version 24.2 (R2024b)

Simulink Design Optimization Version 24.2 (R2024b)

Simulink Report Generator Version 24.2 (R2024b)

Stateflow Version 24.2 (R2024b)

[Broy]

@Chandu, MISRA C:2023 is MISRA C:2012 + AMD4. The only new violations you might miss by running 2012 checks are related to standard C library features introduced in C11/C18 (like <threads.h> or <stdatomic.h>). As long as your model does not explicitly use custom C code blocks calling these new libraries, the "MISRA C:2012" Model Advisor checks cover the structural compliance required for 2023.

[Chandu]

Okay thankyou so much for your response.

Really appreciate it.

Answer 1

[Anirban]

Model Advisor will directly support checking a model for possible MISRA C:2023 compliance issues, starting in R2026a. See R2026a prerelease documentation.

[Chandu]

Understood thankyou so much for your response.

Really appreciate it.