Right. If you are asked to develop a safety-critical system, please go and learn from the literature about the field of software and system safety, the software tools you'll be using to do the job, and the general system and environment you'll be a part of.

Ada provides some useful mechanisms to help, but they're only a small part of the total solution; to develop successful systems you'll need to understand software safety much more deeply.

You may go to the next section.

You may also:

PREVIOUS Go back to the question

OUTLINE  Go up to the outline of lesson 17

David A. Wheeler (dwheeler@dwheeler.com)

The master copy of this file is at "http://www.adahome.com/Tutorials/Lovelace/s17s4r4.htm".