The MISRA project started in 1990 with the mission of providing world-leading best practice guidelines for the safe and secure application of both embedded control systems and standalone software. MISRA C is a coding standard defining a subset of the C language, initially targeted at the automotive sector, but now adopted across all industry sectors that develop C software in safety- and/or security-critical contexts. In this paper, we introduce MISRA C, its role in the development of critical software, especially in embedded systems, its relevance to industry safety standards, as well as the challenges of working with a general-purpose programming language standard that is written in natural language with a slow evolution over the last 40+ years. We also outline the role of static analysis in the automatic checking of compliance with respect to MISRA C, and the role of the MISRA C language subset in enabling a wider application of formal methods to industrial software written in C.

The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software / Bagnara, R.; Bagnara, A.; Hill, P. M.. - 11002(2018), pp. 5-23. ((Intervento presentato al convegno 25th International Symposium on Static Analysis, SAS 2018 tenutosi a Freiburg, Germany nel August 21-31, 2018 [10.1007/978-3-319-99725-4_2].

The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software

R. Bagnara
;
2018

Abstract

The MISRA project started in 1990 with the mission of providing world-leading best practice guidelines for the safe and secure application of both embedded control systems and standalone software. MISRA C is a coding standard defining a subset of the C language, initially targeted at the automotive sector, but now adopted across all industry sectors that develop C software in safety- and/or security-critical contexts. In this paper, we introduce MISRA C, its role in the development of critical software, especially in embedded systems, its relevance to industry safety standards, as well as the challenges of working with a general-purpose programming language standard that is written in natural language with a slow evolution over the last 40+ years. We also outline the role of static analysis in the automatic checking of compliance with respect to MISRA C, and the role of the MISRA C language subset in enabling a wider application of formal methods to industrial software written in C.
978-3-319-99725-4
The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software / Bagnara, R.; Bagnara, A.; Hill, P. M.. - 11002(2018), pp. 5-23. ((Intervento presentato al convegno 25th International Symposium on Static Analysis, SAS 2018 tenutosi a Freiburg, Germany nel August 21-31, 2018 [10.1007/978-3-319-99725-4_2].
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: http://hdl.handle.net/11381/2849329
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 2
social impact