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/