»Click here to view online I »Forward to a friend I »Sign up for an Embedded Newsletter

Share this Newsletter:

facebook linkedin twitter digg

May 6, 2013

Tech Focus: MISRA C and safety-critical design

The many paths to safe, reliable firmware development

MISRA C 2012 standard bigger and better

MISRA C 2012 takes on automotive and safety-critical software apps

Build secure and reliable embedded systems with MISRA C/C++


Insights

The many paths to safe, reliable firmware development

In addition to standards such as the MISRA C 2012 spec, embedded designers need to make use of a number of other tools and methodologies to ensure safe and reliable operation.

Bug-killing standards for firmware coding

Keep bugs out of your firmware by using coding standards. It's cheaper and easier to prevent bugs than it is to find and kill them later.

MISRA C 2012 standard bigger and better

MISRA C is probably the most popular firmware standard extant. Now there's an upgraded version.

MISRA minimizes mishaps

Program proactively. Write code that's inherently great before some tool reformats it.


Development

Build secure and reliable embedded systems with MISRA C/C++

How to use MISRA C and C++ software programming guidelines to proactively write error free code and then root out bugs which may be introduced during the coding stage.

MISRA C 2012 takes on automotive and safety-critical software apps

Paul Burden of PRQA provides a tutorial on the newest version of MISRA C and the main differences versus the earlier version, especially as software increasingly takes safety-critical decisions in automobiles

Using the MISRA C++ language subset in your application

How the MISRA C++ language subset can mitigate insecurities within the C++ language and how the LDRA tool suite can be used to demonstrate compliance.

Automating Compliance to MISRA C/C++ Standards

While C and C++ has the features a software development team need to write well laid out, structured, and expressive code, in the wrong hands this flexibility can lead to perverse and extremely hard to understand code.


Products

PRQA tools support MISRA C:2012

Programming Research static analysis tools now include support for MISRA C:2012 (MISRA C3), with an updated compliance module for QA·C Version 8.1.

LDRA tool suite integrates MISRA AC for verification of auto-generated code

LDRA's MISRA AC provides independent verification of the auto-generated code, a critical factor in stringent certification requirements.

Coverity unveils industry's first development testing platform

Coverity, Inc. has announced what it claims to be the industry's first developer-friendly and enterprise ready development testing platform, Coverity 5.5.

New 0.6μA 0.8-5.5V Op Amp
Touchstone's new low-power TS1003 is the only 0.8-5.5V single-supply, rail-to-rail op amp. The TS1003
uses only 0.6μA and has 2pA input bias current. The TS1003 is available in SC-70 and SOT-23 packages.
Pricing starts at $0.35/1K. Free demo boards.
Learn more...


News

Atollic IDE integrates code metrics, MISRA-C code analysis

TrueStudio IDE includes professional static source code analysis tools and the ability to check for compliance against the MISRA-C:2004 coding standard and code metrics features such as code complexity analysis.

LDRA releases CERT C Secure Coding programming checker

LDRA has released its (new TBsecure plug-in complete with the Carnegie Mellon Software Engineering Institute (SEI) CERT C secure coding standard.

IAR Embedded Workbench certified for functional safety development

The build chain of IAR Embedded Workbench for ARM has been certified by TÜV SÜD as a qualified tool for development of safety-related applications


Submitting content to Embedded.com

To submit a how-to article to Embedded.com, contact Bernard Cole, site editor. For more info about submissions, go to Editorial contributions.


TechOnline Library

Tech Papers

Designing Reliable Code using MISRA C

Safety Critical Software Implementation Techniques

Safety-Critical Design Techniques for Secure and Reliable Systems

Reliable and Safe: Patterns and Practices for Designing Mission and Safety-Critical Systems

Webinars & Courses

Live Webinar on Safety Critical Applications and High Reliability Products

Focusing on Traceability in Software Development for Safe Medical Devices

ESC SV-528- Guide to Adopting Static Source Analysis

Innovation with Purpose: Optimal MCU Solutions for Safety Critical Applications


Resources

Around the Network Events

Basic C programming

Free MIT online C programming course

C/C++ programming on Android (VIDEO)

A C-language FAQ reference



UBM Tech

This email was sent to: @{Email Name}@

To subscribe to UBM Tech emails or change your email preferences please click here.

Go to Embedded.com
A UBM Tech Newsletter © 2013. All rights reserved.
Privacy Policy I Advertising Information I Unsubscribe
UBM Tech, 303 Second Street, Suite 900 South, San Francisco, CA 94107