industry news
Subscribe Now

Vector Software Announces Support for MISRA C: 2012

Providence, RI – 7/21/2014 – Vector Software, the world’s leading provider of innovative software solutions for testing safety and mission critical embedded applications, announced today that the VectorCAST™ software test solution now supports the MISRA C: 2012 (MISRA C3) standard. The new benchmark offers improvements to earlier versions, and extends support for the MISRA C: 2012 C99 version of the C language (ISO/IEC 9899:1999).

The VectorCAST software test environment is widely deployed in safety-critical applications that utilize the MISRA C standard, and the regulation is the most widely used set of coding guidelines for C language development. VectorCAST/Lint utilizes 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++
  • Customizable reporting

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 organizations 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, defense, 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
  • Categorizing rules as either “mandatory”, “required” or “advisory”
  • Defining “decidability” better, 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 organization’s goal of promoting the safe use of the C development language”, said Bill McCaffrey, Chief Operating Officer, Vector Software. “The VectorCAST test environment is now MISRA C: 2012 compliant, enabling developers to use an automated tool to analyze their code to ensure that it meets the standard, thereby improving their overall software quality.”   

About Vector Software, Inc.

Vector Software is the world’s leading provider of software testing solutions for safety and business critical embedded applications. Companies worldwide in automotive, aerospace, medical devices, industrial controls, rail, and other business critical sectors rely on Vector Software’s VectorCAST™. By automating and managing the complex tasks associated with unit, integration, and system-level testing, VectorCAST helps organizations accelerate development and ensure the reliability of their embedded software applications. Founded in 1989 by embedded software engineers, Vector Software is headquartered in East Greenwich, Rhode Island USA with offices worldwide and a world-class team of support and technology partners. To learn more, visit: www.vectorcast.com. Follow Vector Software on Facebook, Google+, LinkedIn, Twitter, and YouTube

About Gimpel Software

With 30 years of experience serving the C and C++ communities, Gimpel Software is a globally recognized leader in static analysis.  Gimpel’s innovative and award-winning PC-lint and FlexeLint products are trusted by companies worldwide to improve productivity and lower costs by finding bugs, inconsistencies, and coding standard deviations, and providing deep insight into projects early in the development life-cycle.  PC-lint and FlexeLint are used across numerous industries, providing support for hundreds of diverse compilers and environments.  Gimpel Software is headquartered in Collegeville, PA USA.  To learn more, including specific features provided by our products or to try out FlexeLint on our interactive demo, please visit www.gimpel.com.

 

Leave a Reply

featured blogs
May 2, 2024
I'm envisioning what one of these pieces would look like on the wall of my office. It would look awesome!...
Apr 30, 2024
Analog IC design engineers need breakthrough technologies & chip design tools to solve modern challenges; learn more from our analog design panel at SNUG 2024.The post Why Analog Design Challenges Need Breakthrough Technologies appeared first on Chip Design....

featured video

MaxLinear Integrates Analog & Digital Design in One Chip with Cadence 3D Solvers

Sponsored by Cadence Design Systems

MaxLinear has the unique capability of integrating analog and digital design on the same chip. Because of this, the team developed some interesting technology in the communication space. In the optical infrastructure domain, they created the first fully integrated 5nm CMOS PAM4 DSP. All their products solve critical communication and high-frequency analysis challenges.

Learn more about how MaxLinear is using Cadence’s Clarity 3D Solver and EMX Planar 3D Solver in their design process.

featured paper

Altera® FPGAs and SoCs with FPGA AI Suite and OpenVINO™ Toolkit Drive Embedded/Edge AI/Machine Learning Applications

Sponsored by Intel

Describes the emerging use cases of FPGA-based AI inference in edge and custom AI applications, and software and hardware solutions for edge FPGA AI.

Click here to read more

featured chalk talk

Advancements in Motor Efficiency Enables More Sustainable Manufacturing
Climate change is encouraging the acceleration of sustainable and renewable manufacturing processes and practices and one way we can encourage sustainability in manufacturing is with the use of variable speed drive motor control. In this episode of Chalk Talk, Amelia Dalton chats with Maurizio Gavardoni and Naveen Dhull from Analog Devices about the wide ranging benefits of variable speed motors, the role that current feedback plays in variable speed motor control, and how precision measurement solutions for current feedback can lead to higher motor efficiency, energy saving and enhanced sustainability.
Oct 19, 2023
25,015 views