The VectorCAST software test environment is used in safety-critical applications that utilise the MISRA C standard, and the regulation is the most widely used set of coding guidelines for C language development. VectorCAST/Lint utilises the powerful Lint source code analysis engine from Gimpel Software, and is configured for checking the MISRA C standard. These standards recommend the use of a restricted subset of constructs for the C and C++ languages, with the goal being a safer and more maintainable use of the language. The VectorCAST/Lint tool supports MISRA regulations with these features:
An easy-to-use GUI
Support for MISRA C and C++
Support for MISRA C: 2012 is part of Gimpel Software’s ongoing commitment to embedded development and safety critical applications. Support for the standard was originally included in PC-lint and FlexeLint in 2001 and since then has been expanded to include newer versions of MISRA C and support for MISRA C++. The implementation of MISRA C: 2012 allows fine-grained control on a per-rule basis. This allows organisations to not only selectively choose which rules are enforced, but also to easily specify exceptions to individual rules for specific symbols, functions, macros, and arbitrary code regions to reflect the deviations employed on a particular project.
MISRA C: 2012 includes a number of improvements that help reduce the cost and complexity of compliance, while offering enhancements that assist in the consistent and safe use of C in safety-critical systems. MISRA C: 2012 includes support for C99 — a version of the C language that was not widely implemented when MISRA C: 2004 (MISRA C2) was published — and adheres to guidelines for C90. Originally developed for automotive applications, MISRA is now broadly adopted for aerospace, defence, medical and industrial control applications. The latest MISRA C standard includes additional rules, plus a number of improvements that promote the understanding and use of the guidelines. Based on MISRA C2 user experience, they include:
Clarifying ambiguity to ensure consistent interpretation of MISRA rules
Categorising rules as either “mandatory”, “required” or “advisory”
Defining “decidability” more exactly, and explaining the degree to which the enforcement of a rule is guaranteed
“Vector Software is deeply committed to our automotive customers, and furthering the MISRA organisation’s goal of promoting the safe use of the C development language”, said Bill McCaffrey, Chief Operating Officer, Vector Software.
The technical storage or access is strictly necessary for the legitimate purpose of enabling the use of a specific service explicitly requested by the subscriber or user, or for the sole purpose of carrying out the transmission of a communication over an electronic communications network.
The technical storage or access is necessary for the legitimate purpose of storing preferences that are not requested by the subscriber or user.
The technical storage or access that is used exclusively for statistical purposes.The technical storage or access that is used exclusively for anonymous statistical purposes. Without a subpoena, voluntary compliance on the part of your Internet Service Provider, or additional records from a third party, information stored or retrieved for this purpose alone cannot usually be used to identify you.
The technical storage or access is required to create user profiles to send advertising, or to track the user on a website or across several websites for similar marketing purposes.