My Publications

Last Updated: Sometime May 2008 
     Distributed Systems ...
     Clock Synchronization, Self-Stabilization, Model Checking ...
     Logos, Cartoons, Etc. ...

Distributed Systems ...

This section is about the SPIDER distributed system.

  • Pictures of ROBUS-1 and ROBUS-2 from the SPIDER lab.
  • Pictures of the first ROBUS prototype.
  • Pictures of the SPIDER Hardware prototype.


    1. Wilfredo Torres-Pomales, Mahyar R. Malekpour, Paul S. Miner, and Sandra V. Koppen: "Design of Test Articles and Monitoring System for the Characterization of HIRF Effects on a Fault-Tolerant Computer Communication System", NASA/TM-2008-215322, July 2008, pp. 59.

    2. Wilfredo Torres-Pomales, Mahyar R. Malekpour, Paul S. Miner, and Sandra V. Koppen: "Plan for the Characterization of HIRF Effects on a Fault-Tolerant Computer Communication System", NASA/TM-2008-215306, May 2008, pp. 43.

    3. Wilfredo Torres-Pomales, Mahyar R. Malekpour, and Paul S. Miner: "Design of the Protocol Processor for the ROBUS-2 Communication System", NASA/TM-2005-213934, Nov 2005, pp. 252.

    4. Wilfredo Torres-Pomales, Mahyar R. Malekpour, and Paul S. Miner: "ROBUS-2: A fault-tolerant broadcast communication system", NASA/TM-2005-213540, March 2005, pp. 201.

    5. Paul S. Miner, Mahyar R. Malekpour, Wilfredo Torres: "A Conceptual Design For a Reliable Optical Bus (ROBUS)", Presented at the 21st Digital Avionics Systems Conference (DASC), Irvine, California, October 27-31, 2002.

    6. Paul S. Miner, Victor A. Carreņo, Mahyar Malekpour, and Wilfredo Torres: "A Case-Study Application of RTCA DO-254: Design Assurance Guidance for Airborne Electronic Hardware"[External Site Icon], 19th Digital Avionics Systems Conference, October 2000.

      7. This section is about Henywell's Recoverable Computer System (RCS).

    7. Richard Hess, Mahyar R. Malekpour: "Rapid Soft Fault Recovery"[External Site Icon], Society of Automotive Engineers (SAE) 2001 Transaction, volume 110, Journal of Aerospace, Document Number: 2001-01-2937, Section 1, pp 474-480, published in 2002.

    8. Richard Hess, Mahyar R. Malekpour: "Rapid Soft Fault Recovery"[External Site Icon], 2001 International Conference on Lightning and Static Electricity, September 2001.

    9. Mahyar R. Malekpour, Wilfredo Torres-Pomales: "Characterization of a Flight Control Computer with Rollback Recovery"[External Site Icon], 19th Digital Avionics Systems Conference, October 2000.

    10. Mahyar R. Malekpour, Wilfredo Torres-Pomales: "Characterization of a Recoverable Flight Control Computer System"[External Site Icon], Conference on Control Applications, August 1999.

    11. Mahyar R. Malekpour: "Evaluation of Honeywell Recoverable Computer System (RCS) in Presence of Electromagnetic Effects"[External Site Icon], 17th Digital Avionics Systems Conference, October 1998.


    Clock Synchronization, Self-Stabilization, Model Checking ...

    1. Mahyar R. Malekpour: "Verification of a Byzantine-Fault-Tolerant Self-Stabilizing Protocol for Clock Synchronization", preceding of the 2008 IEEE Aerospace Conference, March 2008, pp. 13.

    2. Mahyar R. Malekpour: "Model Checking a Byzantine-Fault-Tolerant Self-Stabilizing Protocol for Distributed Clock Synchronization Systems", NASA/TM-2007-215083, November 2007, pp. 36.

    3. Mahyar R. Malekpour: "A Byzantine-Fault Tolerant Self-Stabilizing Protocol for Distributed Clock Synchronization Systems" November 2006, pp. 17.


      4. This paper is based on a NASA-TM with the same title and was prsented at the Eighth International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS06), November 17 thru 20, 2006. This PDF file is the Dog and Pony show version of the paper and 17 pages.
    4. Mahyar R. Malekpour: "A Byzantine-Fault Tolerant Self-Stabilizing Protocol for Distributed Clock Synchronization Systems", NASA/TM-2006-214322, August 2006, pp. 37.


      5. There are a number of typos in this report that I plan to list them here. Most of the typos are corrected for the SSS 2006 conference paper listed above. Visit again for updates.
    5. Mahyar R. Malekpour, Radu Siminiceanu: "Comments on the Byzantine Self-Stabilizing Pulse Synchronization Protocol: Counterexamples", NASA/TM-2006-213951, February 2006, pp. 12.


    Logos, Cartoons, etc. ...

    These are some of my extracurricular activities, a.k.a., artistic creativities.
    All material contained and referenced within this setion are copyright Mahyar R. Malekpour.

    Note: Links with a [External Site Icon] next to them go to sites that are NOT maintained by NASA.
    1. The SPIDER Logo/Poster ...

    2. Having fun with Spider, Danger! Spider X-ing ...

    3. Dog and Pony show ...
    4. Never turned down a creative design challenge. For their work on KB3D, Cesar asked for a logo and here is what we came up with. KB3D Logo ...
    5. In 1999, the Digital Avionics Technical Committee (DATC) needed a logo for their newsletter and announced for a design competition. My design was selected and still is use. DATC ...[External Site Icon]
    6. Open Mind, Open Heart, Open Arms: NASA-LaRC Karate Club ...[External Site Icon]