Automatic Code Generation for Safety

Nov. 1, 2011
LDRA integrates MISRA Autocode for use in safety standards compliance in the automotive, aerospace, rail, military and medical industries.
Originally created as a way to promote best practices in developing safety-related electronic systems in the automotive industry, MISRA (Motor Industry Software Reliability Association) has since become a standard adopted for the use of embedded systems in multiple industries, including aerospace, medical and rail. To help manufacturers, component suppliers and engineering consultancies collaborate on the development of these safety-related embedded systems, MISRA publishes documents that provide information for engineers and manufacturing management.

MISRA Autocode (AC) is a set of guidelines for users of modeling tools. The guidelines are said to encourage good modeling practices and avoid poorly defined features of the modeling language. MISRA AC rules (which provide a framework for following the guidelines of MISRA-C:2004) are specific to the use of automatic code generators in the development of safety-related systems.

As part of the LDRA tool suite (offered by LDRA, a provider of software that automates code analysis and software testing for safety-, mission-, security- and business-critical markets), developers can decide which individual MISRA AC rules apply to their project code generator and whether additional rules are required at the model level to address deviations from any given MISRA C rule. This ability allows for the creation of either a superset or subset of the standard managed by the LDRA tool suite.

"With companies such as General Motors, NASA, and Lear generating large quantities of code from model-driven design, there’s a need for software testing and verification suites that integrate the model and its generated code into the overall testing process," said Ian Hennell, LDRA operations director. "Within the LDRA tool suite, all aspects of the model, automatically generated code, test cases and requirements are verified and independently shown to meet compliance standards. MISRA AC assists in that overall verification process."

Building on the requirements traceability supported within the LDRA tool suite, all model and autocode artifacts become part of the overall requirements traceability matrix, enabling developers to trace the fulfillment of requirements through model, code, and tests in the overall software development process. This means that developers can pinpoint unfulfilled requirements and failed tests and drill down to the relevant code, thereby speeding the overall testing process.

Hennell adds, "The MISRA standard draws together programming guidelines that help reduce the number of defects found in code. Once the model is proven to generate code correctly, the percentage of errors drops even more."

LDRA Software Technology
www.ldra.com/misraac.asp

Sponsored Recommendations

Wireless Data Acquisition System Case Studies

Wireless data acquisition systems are vital elements of connected factories, collecting data that allows operators to remotely access and visualize equipment and process information...

Strategizing for sustainable success in material handling and packaging

Download our visual factory brochure to explore how, together, we can fully optimize your industrial operations for ongoing success in material handling and packaging. As your...

A closer look at modern design considerations for food and beverage

With new and changing safety and hygiene regulations at top of mind, its easy to understand how other crucial aspects of machine design can get pushed aside. Our whitepaper explores...

Fueling the Future of Commercial EV Charging Infrastructure

Miguel Gudino, an Associate Application Engineer at RS, addresses various EV charging challenges and opportunities, ranging from charging station design strategies to the advanced...