At 11:06 AM 11/8/01 +0000, Simon Wright wrote: . . . >Basically, the subset of Ada that you[1 >pretty much have to use to get independent certification for >high-criticality software doesn't include exceptions, or tasking, or >. (name other interesting feature!). You need to check into recent developments with SPARK. I don't remember the details, but this year at SIGAda 2001 they announced some substantial increases in the size of the SPARK subset. I don't think the include tasking, yet, but they indicated they are moving in that direction. sro S. Ron Oliver, semi-retired professor of Computer Science and Computer Engineering. www.csc.calpoly.edu/~sroliver caress Corporation is proud to be the U.S. representative for Top Graph'X, developers of high quality software components, using Ada. For more information, check out www.topgraphx.com.