A conceptual design for a Reliable Optical Bus (ROBUS)

AIAA/IEEE Digital Avionics Systems Conference - Proceedings

Volumn 2, Issue , 2002, Pages

  Miner, Paul S ^a   Malekpour, Mahyar ^a   Torres, Wilfredo ^a  

^a NASA LANGLEY RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AIRCRAFT; COMPUTATIONAL METHODS; EMBEDDED SYSTEMS; FAULT TOLERANT COMPUTER SYSTEMS; NETWORK PROTOCOLS;

RELIABLE OPTICAL BUS (ROBUS);

COMPUTER ARCHITECTURE;

EID: 0036448273     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. Rushby, J., 2001, A Comparison of Bus Architectures for Safety-Critical Embedded Systems, www.csl.sri.com/̃rushby/abstracts/buscompare.
2. Kieckhafer, R.M., C.J. Walter, A.M. Finn, and P.M. Thambidurai, 1988, The MAFT Architecture for Distributed Fault Tolerance, IEEE Transactions on Computers, 37 (4), 398-405.
3. Pease, M., R. Shostak, and L. Lamport, 1980, Reaching Agreement in the Presence of Faults, Journal of the ACM, 27 (2), 228-234.
4. Shin K., and P. Ramanathan, 1987, Diagnosis of Processors with Byzantine Faults in a Distributed Computing System. In 17th Fault-Tolerant Computing Symposium, 55-60.
5. Kopetz, H., 1997, Real-Time Systems: Design Principles for Distributed Embedded Applications, Kluwer Academic Publishers, Boston.
6. Butler, R.W., and A.L. White, 1988, SURE Reliability Analysis: Program and Mathematics, NASA Technical Paper, 2764.
7. Walter, C.J., P. Lincoln, and N. Suri, 1997, Formally Verified On-Line Diagnosis, IEEE Transactions on Software Engineering, 23 (11), 684-721.
8. Geser A., and P.S. Miner, 2002, A Formal Correctness Proof of the SPIDER Diagnosis Protocol. In: Carreno V., Munoz C., and Tahar S., eds. Track B Proceedings of the 15th International Conference on Theorem Proving and Higher Order Logics, 71-86.
9. Miner, P.S., M. Malekpour, and W. Torres-Pomales, 2002, ROBUS Conceptual Design, NASA Technical Memorandum (To Appear), Hampton, VA.