saharbaugh%roo.dnet@WINNIE.BERKELEY.EDU (03/20/91)
The Ada 9X Requirements, December 1990, section 9.3, pg 47 mentions "safe subset" for safety-critical and trusted software, as examples. My question is: Does there exist a definition(s) of "safe subset(s)" of Ada for any or various domains? If such exist then I would appreciate pointer(s) to them. If they don't exist WE could postulate some definitions on this BB. sam harbaugh saharbaugh%ROO.DNET@WINNIE.FIT.EDU ---------------------
ryer@inmet.inmet.com (03/22/91)
A "safe subset" of Ada is any subset that the verification contractor has adequate technology to handle. Some have told me that generics result in unverifiable code, though this seems strange since compilers are able to translate them to non-generic machine code. It is unsafe to use any class of storage unless you are able to prove that you won't run out at a critical time. Mike (flaming slightly) Ryer