Technical Papers

Safe and Secure Software - An Invitation to Ada 2012

The aim of this booklet is to show how the study of Ada in general, and the features introduced by Ada 2005 and Ada 2012 in particular, can help anyone designing safe and secure software regardless of the programming language in which the software is eventually written. After all, successful implementers of safe and secure software write in the spirit of Ada in any language!

Written by John Barnes with contributions by Ben Brosgol

Attached Files

posted in Ada, Ada 2012, High Security Development, Safety-Critical Development