Topics

Workshop #6 Proposal - Effective use of MISRA checkers


Paoloni, Gabriele
 

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

 

---------------------------------------------------------------------
INTEL CORPORATION ITALIA S.p.A. con unico socio
Sede: Milanofiori Palazzo E 4
CAP 20094 Assago (MI)
Capitale Sociale Euro 104.000,00 interamente versato
Partita I.V.A. e Codice Fiscale  04236760155
Repertorio Economico Amministrativo n. 997124
Registro delle Imprese di Milano nr. 183983/5281/33
Soggetta ad attivita' di direzione e coordinamento di
INTEL CORPORATION, USA

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.