Gem #45: Safe and Secure Software : Chapter 8, Safe Startup

by John Barnes

Let's get started…

We can carefully write a program so that it behaves properly when running, but it is all to no avail if it will not start properly.

The motor car that will not start is no good even if when going it behaves like a Rolls-Royce.

In the case of a computer program, the key things are to ensure that data is initialized properly and this often means that its various components are initialized in the correct order.

Read Chapter 8 in full

Note: All chapters of this booklet will, in time, be available on the Ada 2005 home page.