|
Gem #45: Safe and Secure Software : Chapter 8, Safe Startup
Author: John Barnes
Abstract:
Gem #45 is the eighth chapter of John Barnes’ new booklet:
Safe and Secure Software: An Introduction to Ada 2005.
Over the coming months, we will be publishing all thirteen chapters of the booklet. In the attachment at the bottom of Gem #30 you can access the contents and bibliography for the entire booklet.
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.
 657.8Kb |
Posted
in Ada / Ada 2005, Development Log, Devt log - Gem of the Week
Have your own idea for a Gem?
If you have an idea for a Gem you would like to contribute please feel free to contact us at: gems@adacore.com
Raoul Duke said:
I have so say, reading such Ada Gems is so very refreshing after being lashed with the Java mindset for too darned long. Many thanks for the public service!
Now if only there were a nice s-expr front-end for Ada… :-)