Browse Publications Technical Papers 2007-01-1493
2007-04-16

Safety-Critical Software Development Using Automatic Production Code Generation 2007-01-1493

When developing software it is important to consider process, methods, and tools. For safety-critical software, standards such as IEC 61508 are often used to impose additional constraints on the development process and require the production of verification evidence and other artifacts. These constraints and artifacts are needed whether or not the design and code were produced manually or via tool automation. This paper discusses the usage of Production Code Generation for safety-critical software development.

SAE MOBILUS

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

Access SAE MOBILUS »

Preview Document Add to Cart
Members save up to 16% off list price.
Login to see discount.
Special Offer: Download multiple Technical Papers each year? TechSelect is a cost-effective subscription option to select and download 12-100 full-text Technical Papers per year. Find more information here.
We also recommend:
TECHNICAL PAPER

Defect Identification With Model-Based Test Automation

2003-01-1031

View Details

TECHNICAL PAPER

A New Development Environment for Embedded Control Systems Design: F.I.R.E.

2007-01-0508

View Details

TECHNICAL PAPER

An Architecture Based Design Process for Deploying Control Software on Production Hardware Using RapidHawk

2003-01-0853

View Details

X