On-Board Maintenance for Affordable, Evolvable and
Dependable Spaceborne Systems

Publications

  1. A. T. Tai, W. H. Sanders, L. Alkalai, S. N. Chau, and K. S. Tso, ``Performability analysis of guarded-operation duration: A translation approach for reward model solutions,'' Performance Evaluation, vol. 56, pp. 249-276, Mar. 2004. (download PDF file)
  2. A. T. Tai, K. S. Tso, and W. H. Sanders, ``Protecting distributed software upgrades that involve message-passing interface changes,'' in Proceedings of the 27th Annual International Computer Software & Application Conference (COMPSAC 2003), (Dallas, TX), pp. 385-390, Nov. 2003. (download PDF file)
  3. A. T. Tai, W. H. Sanders, L. Alkalai, S. N. Chau, and K. S. Tso, "Performability analysis of guarded-operation duration: A successive model-translation approach," in Proceedings of the International Conference on Dependable Systems and Networks (DSN-2002), (Washington, DC), pp. 561-570, June 2002. (download PDF file)
  4. A. T. Tai, S. N. Chau, and L. Alkalai, "COTS-based fault tolerance in deep space: A case study on IEEE 1394 application," International Journal of Reliability, Quality and Safety Engineering, vol. 9, pp. 17-40, Mar. 2002. (download PDF file)
  5. A. T. Tai, K. S. Tso, L. Alkalai, S. N. Chau, and W. H. Sanders, "Low-cost error containment and recovery for onboard guarded software upgrading and beyond," IEEE Trans. Computers, vol. 51, pp. 121-137, Feb. 2002. (download PDF file)
  6. T. M. Khoshgoftaar and A. T. Tai, "Guest editors' prolog for the special issue on high-assurance embedded systems," International Journal of Reliability, Quality and Safety Engineering, vol. 8, p. 273, Dec. 2001.
  7. S. N. Chau, J. Smith, and A. T. Tai, "A design-diversity based fault-tolerant COTS avionics bus network," in Proceedings of the Pacific Rim International Symposium of Dependable Computing (PRDC 2001), (Seoul, Korea), pp. 35-42, Dec. 2001.
  8. A. T. Tai, K. S. Tso, W. H. Sanders, L. Alkalai, and S. N. Chau, "Low-cost flexible software fault tolerance for distributed computing," in Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), (Hong Kong, China), pp. 148-157, Nov. 2001. (download PDF file)
  9. A. T. Tai and W. H. Sanders, "Product-in-process performability modeling for guarded software upgrading," in Proceedings of the Fifth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 5), (Erlangen, Germany), pp. 121-125, Sept. 2001.
  10. A. T. Tai, K. S. Tso, L. Alkalai, S. N. Chau, and W. H. Sanders, "Synergistic coordination between software and hardware fault tolerance techniques," Proceedings of the International Conference on Dependable Systems and Networks (DSN 2001), (Göteborg, Sweden), pp. 369-378, July 2001. (download PDF file)
  11. A. T. Tai, K. S. Tso, L. Alkalai, S. N. Chau, and W. H. Sanders, "On the effectiveness of a message-driven confidence-driven protocol for guarded software upgrading," Performance Evaluation, vol. 44, pp. 211-236, Apr. 2001. (Extended version of the IPDS 2000 conference paper.) (download PDF file)
  12. A. T. Tai, L. Alkalai, and S. N. Chau, "Onboard guarded software upgrading: Motivation and framework," in Proceedings of the IEEE Aerospace Conference, (Big Sky, MT), Mar. 2001. (download PDF file)
  13. K. S. Tso, A. T. Tai, L. Alkalai, S. N. Chau, and W. H. Sanders, "GSU middleware architecture design," in Proceedings of the 5th IEEE International Symposium on High Assurance Systems Engineering, (Albuquerque, NM), pp. 212-215, Nov. 2000. (download PDF file)
  14. A. T. Tai, K. S. Tso, L. Alkalai, S. N. Chau, and W. H. Sanders, "On low-cost error containment and recovery methods for guarded software upgrading," in Proceedings of the 20th International Conference on Distributed Computing Systems (ICDCS 2000), (Taipei, Taiwan), pp. 548-555, Apr. 2000. (download PDF file)
  15. A. T. Tai, K. S. Tso, L. Alkalai, S. N. Chau, and W. H. Sanders, "On the effectiveness of a message-driven confidence-driven protocol for guarded software upgrading," in Proceedings of the 4th IEEE International Computer Performance and Dependability Symposium (IPDS 2000), (Chicago, IL), pp. 59-68, Mar. 2000. (download PDF file)
  16. S. N. Chau, L. Alkalai, and A. T. Tai, "A multi-layer methodology for applying COTS in mission-critical systems," in Proceedings of the IEEE Workshop on Application-Specific Software Engineering and Technology (ASSET 2000), (Dallas, TX), pp. 70-76, Mar. 2000. (download PDF file)
  17. S. N. Chau, L. Alkalai, A. T. Tai, and J. B. Burt, "Design of a fault-tolerant COTS-based bus architecture," IEEE Trans. Reliability, vol. 48, pp. 351-359, Dec. 1999. (download PDF file)
  18. A. T. Tai, S. N. Chau, and L. Alkalai, "COTS-based fault tolerance in deep space: Qualitative and quantitative analyses of a bus network architecture," in Proceedings of the 4th IEEE International Symposium on High Assurance Systems Engineering, (Washington, DC), pp. 97-104, Nov. 1999. (download PDF file)
  19. A. T. Tai, K. S. Tso, L. Alkalai, S. N. Chau, and W. H. Sanders, "On-board guarded software upgrading for space missions," in Proceedings of the 18th Digital Avionics Systems Conference, vol. 2, (St. Louis, MO), pp. 7.B.4.1-7.B.4.8, Oct. 1999. (download PDF file)
  20. A. T. Tai, L. Alkalai, and S. N. Chau, "On-board preventive maintenance: A design-oriented analytic study for long-life applications," Performance Evaluation, vol. 35, pp. 215-232, June 1999. (download PDF file)
  21. A. T. Tai, L. Alkalai, and S. N. Chau, "On-board preventive maintenance for long-life deep-space missions: A model-based evaluation," in Proceedings of the 3rd IEEE International Computer Performance and Dependability Symposium, (Durham, NC), pp. 196-205, Sept. 1998. (download PDF file)
  22. A. T. Tai and L. Alkalai, "On-board maintenance for long-life systems," in Proceedings of the IEEE Workshop on Application-Specific Software Engineering and Technology (ASSET'98), (Richardson, TX), pp. 69-74, Apr. 1998. (download PDF file)
  23. L. Alkalai and A. T. Tai, "Long-life deep-space applications," IEEE Computer, vol. 31, pp. 37-38, Apr. 1998.