New paper on MISRA C
At the 25th Static Analysis Symposium, SAS 2018, which took place on August 29-31 in Freiburg im Breisgau, Germany, Roberto Bagnara gave a highly-successful tutorial on "The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software".
The written counterpart, a 19-pages paper with the same title, has been published by Springer Nature and made freely available here by filling the following form.
The paper introduces 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.
In doing so, it clears up several misconceptions about MISRA C and the C language itself. As far as we know, this is currently the best available introduction to MISRA C and its ecosystem.