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/