Testimonial
"Netrino training courses should be required before writing any embedded code."
Master Firmware
Registration is now open for the popular hands-on Embedded Software Boot Camp. Consult our public training calendar for upcoming dates and locations.
Sign Up Now
Receive Michael Barr's Firmware Update newsletter for free how-to articles and industry news by e-mail. Sign up now.
Bookmark It
Bookmark this page or share it with a colleague.
Critical Software Safeguards Course: Lint and MISRA-C
The automatic C/C++ code checker, lint, is a powerful but underutilized static analysis tool. The “2004 Guidelines for the Use of the C Language in Critical Systems” (a.k.a., MISRA-C) are similarly powerful and underused. On their own, lint and MISRA-C are powerful tools for preventing or detecting bugs and, thus, making embedded systems safer and more reliable. Furthermore, the value of following the MISRA-C coding guidelines is magnified many times by the use of lint or another static analysis tool as an automatic rule enforcer. This course introduces both static analysis and MISRA-C individually, then demonstrates how to put them together for maximum impact.
Length/Options
- 1 day (hands-on)
- 1/2 day (lecture only)
Audience
- Teams developing embedded software that must be safe or reliable
Prerequisites
- Working familiarity with the C programming language
Related Courses
Outline
- Static Analysis
- Rationale
- History of C and Lint
- Features and Capabilities
- Process Recommendations
- FlexeLint Demo
- Product Overview
- Setup/Configuration
- Demonstration on Client Code
- MISRA-C Guidelines
- History and Rationale
- Guidelines by Category with Examples, Tradeoffs, and Exceptions
- Rule Selection Recommendations
- Compliance Processes
- Enforcement via Static Analysis
Hands-On Tools/Platform
Learn More
To request pricing or dates, or for more information about this course, contact us.