|
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 / Ada 2012, 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… :-)
Alexis Muller said:
Many thanks Ada Gems and these booklets !
There is a ref at the last line of this one :
“A good example of how dynamic linking can be added within this framework is given in [2]”
I am very interesting by it, but I can’t find the bibliography. Did someone can help me to find it ?
Thanks,
Gary Dismukes said:
Alexis Muller wrote:
> Many thanks Ada Gems and these booklets !
You’re most welcome!
As for the bibliographic reference you inquired about,
the citation is:
[2] Cyrille Comar and Pat Rogers. On Dynamic Plug-in Loading with ADa 95 and Ada 2005. AdaCore (2005). http://www.adacore.com/.
If you go to:
http://www.adacore.com/2005/04/05/dynamic-plug-in-loading-with-ada/
then you can download the pdf for the paper from that web page.