Hi all

In the last workshop we introduced the Intel/Mobileye/BMW Safety Critical Linux project.

I am proposing to have a follow-up session focused on the static code analysis.

Thanks

Gab

---

Topic idea:

Effective use of MISRA checkers:

• For qualifying Safety Relevant Code;
• For increasing confidence of non-interference from non-safety relevant code and options of possible/best tools

What you hope to accomplish in the sessions:

- Give an overview of the static code analysis (SCA) strategy used by Mobileye in the internal Safety Critical Linux project

- present the detailed methodology used to select applicable checkers

- present techniques used to improve FFI claim through SCA

Any critical participants needed for the discussion:

- Gabriele Paoloni, Eli Gurvitz, Roberto Paccapeli, Maurizio Iacaruso

Estimated time needed the session:

- 60 minutes