Source code analysis tool and verification specialist LDRA has inaugurated a series of half-day MIRA C:2012 seminars in October around the United States.
They are designed to educate embedded developers on why they should upgrade their tools for software verification and source code analysis and test to the new C programming standard for safe code development.
The seminars introduce the new features of the MISRA C:2012, highlighting how the revised standard enables developers to take advantage of more C features, while avoiding unsafe C constructs.
The seminars are being taught by Chris Tapp, Chairman of the MISRA C++, member of the MISRA C Working group and one of the key authors of the new MISRA C:2012 standard.
Today, MISRA is a widely adopted, de facto safe-coding standard designed to help achieve software quality in automotive, aerospace, industrial, medical, defense and rail applications that have a high cost of failure. The first version, released in 1998 to target C90, was replaced by a 2004 version that provided extensions and improvements.
According to Tapp, the current MISRA C:2012 adds support for C99, increases the number of decidable rules to allow better tool enforcement, includes detailed rationale for all rules, and offers guidance for automatically generated code.
Key topics to be covered in the seminars include:
1 – Why MISRA C:2012 was developed and what is new since MISRA-C:2004?
2 – How the new standard can help developers make better decisions about the use of popular programming language features
3 – How MISRA C:2012 provides backwards compatibility to protect legacy code
4 – How the introduction of “decidable and undecideable” prescriptive rules will help focus your test efforts
At each seminar there will also be a demonstration of how to achieve MISRA C:2012 compliance. The schedule for the MISRA C:2012 seminars is as follows:
Andover, MA – October 15, 2013
Tysons Corner, VA – October 16, 2013
Detroit, MI – October 17, 2013
Phoenix, AZ – October 22, 2013
Santa Clara, CA – October 23, 2013
To sign up to attend a MISRA C:2012 seminar, go LDRA’s MISRA C: 2012 registration page.