WEBINAR ON-DEMAND
Don’t Be the Developer Whose Rocket Crashes on Lift-off

Software development teams are facing conflicting demands for higher developer productivity along with quality and certification of safety- and security-critical software. The high overhead and challenge of meeting certification is critical. Even if your customer’s rocket doesn’t crash and burn, if you don’t meet the challenge, your customers, suppliers, and sub-contractors all suffer, and you may find your reputation tarnished and your bottom line bruised due to support and recall costs.

To achieve the twin goals of productivity and quality, best practices in these environments have evolved to focus on bi-directional traceability from requirements through verification. This linkage drives development environments towards automated approaches to requirements engineering, model-based design, automated code generation, and system and software verification. These approaches are key to ensuring productivity and quality in environments that enforce both overall safety- and security-related processes as well as compliance to standards such as DO-178B/C in aerospace, IEC 61508 in industrial applications, ISO 26262 in automotive, IEC 62304 for medical device software and EN 50128 for rail transportation. 

In this presentation, we will cover:

• Target verification techniques for languages ranging from C/C++, Java, Ada, and Assembler that ensure embedded code matches the design and satisfies requirements, even in highly iterative or Agile development environments.
• Techniques that can streamline the development process to enhance both developer productivity and the quality of the resultant code.

Login or register to view