A post on the Capability-Talk [cap-talk] discussion list today pointed out an opportunity for multiple NASA/NSF contracts. See: http://www.nsf.gov/pubs/2003/nsf03557/nsf03557.htm An extract from the introduction: The overall goal of this solicitation is to develop a scientific basis for measurable and predictable dependability in software-based computing and communication systems, and a scientific basis - comparable to those in physics-based engineering disciplines - for technologies or methodologies to improve dependability in these systems. Perhaps someone has an idea to propose .... Thomas A. Panfil Treasurer -- Baltimore SIGAda http://www.jhuapl.edu/sigada/ Registration Chair -- SIGAda 2003 http://www.acm.org/sigada/conf/sigada2003/ P.S. See the EROS Web Site to learn cap-talk's focus. http://www.eros-os.org/