MISRA C is the most authoritative language subset for the C programming language that is a de facto standard in several industry sectors where safety and security are of paramount importance. While MISRA C is currently encoded in 175 guidelines (coding rules and directives), it does not coincide with them: proper adoption of MISRA C requires embracing its preventive approach (as opposed to the "bug finding" approach) and a documented development process where justifiable non-compliances are authorized and recorded as deviations. MISRA C guidelines are classified along several axes in the official MISRA documents. In this paper, we add to these an orthogonal classification that associates guidelines with their main rationale. The advantages of this new classification are illustrated for different kinds of projects, including those not (yet) having MISRA compliance among their objectives.

A Rationale-Based Classification of MISRA C Guidelines / Bagnara, Roberto; Bagnara, Abramo; Hill, Patricia M.. - ELETTRONICO. - (2022), pp. 440-451. (Intervento presentato al convegno embedded world Conference 2022 tenutosi a Norimberga, Germania nel 21-23 giugno 2022).

A Rationale-Based Classification of MISRA C Guidelines

Roberto Bagnara
;
2022-01-01

Abstract

MISRA C is the most authoritative language subset for the C programming language that is a de facto standard in several industry sectors where safety and security are of paramount importance. While MISRA C is currently encoded in 175 guidelines (coding rules and directives), it does not coincide with them: proper adoption of MISRA C requires embracing its preventive approach (as opposed to the "bug finding" approach) and a documented development process where justifiable non-compliances are authorized and recorded as deviations. MISRA C guidelines are classified along several axes in the official MISRA documents. In this paper, we add to these an orthogonal classification that associates guidelines with their main rationale. The advantages of this new classification are illustrated for different kinds of projects, including those not (yet) having MISRA compliance among their objectives.
2022
978-3-645-50194-1
A Rationale-Based Classification of MISRA C Guidelines / Bagnara, Roberto; Bagnara, Abramo; Hill, Patricia M.. - ELETTRONICO. - (2022), pp. 440-451. (Intervento presentato al convegno embedded world Conference 2022 tenutosi a Norimberga, Germania nel 21-23 giugno 2022).
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11381/2927253
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact