Model-Based Design and Automatic Production Code Generation for Safety-Critical Software Development

Dirk Fleischer; Bill Uhl; Asif Iqbal; Michael Beine

doi:10.4271/2009-01-3209

2009-11-10

Model-Based Design and Automatic Production Code Generation for Safety-Critical Software Development 2009-01-3209

Model-based software development and automatic production code generation have become increasingly established in recent years. The aerospace industry and other industries, such as automotive, have widely adopted and successfully deployed these methods in many different series production programs worldwide. This brought various benefits, such as a reduction in development times and improved quality due to more precise specifications, and early verification and validation by means of simulation.

Model-based development is a general purpose development approach which can be applied to a wide variety of applications. Safety-critical systems, like found in aerospace applications to a large extent, but also found increasingly more often in other industries, like automotive or medical devices, pose special additional requirements to this process.

This paper describes how model-based design and automatic production code generation can be applied to the development of safety-critical software.

SAE MOBILUS

Subscribers can view annotate, and download all of SAE's content. Learn More »

Access SAE MOBILUS »

Digital $37.00 Print $37.00

Preview Document

We also recommend:

Standards

SAE Mobilus®

Publications

News

Events

Professional Development

A World in Motion (PreK-12)

Participate with SAE

SAE Membership

Donate

Model-Based Design and Automatic Production Code Generation for Safety-Critical Software Development 2009-01-3209

SAE MOBILUS