OTP style supervision trees for spacecraft

[Michael Leonhard]

Hello Erlang Experts and Users,

Some of you may be interested in a research proposal that has been
accepted by NASA for funding.  The proposal is for the development of
reliable software systems for spacecraft.  Information in the abstract
indicates that it will use a method similar to OTP's supervision
trees.  In addition, it will try to correct single bit errors caused
by radiation and manage computer resources.  Memory management was a
problem for NASA's Spirit rover, on Mars last year.

How does Erlang handle the situation where all virtual memory has been
exhausted?

Can Erlang's bytecode format be extended to facilitate detection of
single bit errors?

Mitigating Software Failures with Distributed and Recovery-Oriented
Flight System Architectures:
http://tinyurl.com/a4w8v
http://sbir.gsfc.nasa.gov/SBIR/abstracts/05/sttr/phase1/STTR-05-1-T1.01-9797.html?solicitationId=STTR_05_P1

The listing of all accepted proposals,
NASA Small Business Technology Transfer (STTR) Program:
http://tinyurl.com/adl45
http://sbir.gsfc.nasa.gov/SBIR/sttr2005/phase1/awards/2005ri.html

-Michael

Michael Leonhard
michael206@REDACTED
http://tamale.net/