My Model-Based Design Bookshelf

While I write this blog there are a number of sources I draw on as reference; I wanted to take a chance to acquaint you with them.(1)

The Standards

The standards down into three categories

Modeling Standards: For the Model-Based Design community (Simulink) this points to the MAAB Style guidelines (2)
Coding Standards: There are two things I look to here:
- Basic C coding syntax, and “The C Programming language” by Kernighan and Ritche
- The MISRA-C coding standards for automatic code generation.(3)

Best Practices for Establishing a Model-Based Design Culture: This document is a foundation stone of MBD, while over a decade old, the concepts are still hitting all the fundamental points.
Notes on adoption and role out: This paper, that I wrote 10 years ago lays out the methodology for deploying processes across organizations.
Model-Based Design for controls systems: an applied paper looking at the MATLAB/Simulink toolchain
Model-Based Systems Engineer: Provides a good overview of the link between MBD and MBSE.

The references: there are 3 primary documents I use, the DO-178C, IEC-61508 and the ISO-26262.
The NASA guide book: While this was written in 2004 the concepts are still front and center with safety critical design.
Model-Based Design for Safety critical system: While this focuses on the DO-178C standard the concepts apply across all of the standards.

xUnit Test Patterns: When I think about how to create generic test environments this is the book my thoughts come back to over and over (and over and over).(5)
Model-Based Testing for Embedded systems: A solid reference for how to construct tests.

Beyond introducing you to these documents, it gives me an easy place to keep all this information to point my customers to…
The 5 years I spent working on versions 2 and 3 is some of the work I am most proud of.
A couple of notes; first the joke about conformance can make you MISRA-able has been done many many many times. Second, with modern automatic code generators it is fairly straight forward to be MISRA compliant. Third, if you look in the dedication section of the MISRA-C-2012 you can see my name.
I remembered the song “Safety dance” but I had forgotten how odd the video was, it seems like a mishmash of the movie Willow and praise of Morris dancing.
Ok, the repeating was a cheap re-use joke