Publications
The following references represent a selection of our publications in the area of dependable computing:
Selected Books:
Advances in Ultra-Dependable Distributed Systems, N. Suri, C. Walter, and M. Hugue, IEEE Computer Society Press.
Selected Journals and Conferences
“Enabling a Systems Engineering Approach to Automotive Cyber-Physical Systems,”, Chris Walter, National Workshop on High-Confidence Automotive Cyber-Physical Systems on April 3-4, 2008.
"Dependable Solutions for Integrated Modular Avionics," Chris J. Walter, ARTIST2 meeting on Integrated Modular Avionics November 12-13, 2007.
"MILS Security Extensions to the EDICT Tool Suite," Chris Walter, Real-time and Embedded System Forum, Open Group, July 2007.
“The Reliable Platform Service: A Property-Based Fault Tolerant Service Architecture”, Chris Walter, Peter Ellis, Brian LaValley, High Assurance Systems Engineering (HASE05), October 12-14, pp. 34-43, 2005
"Environmentally Adaptive Fault Tolerant Computing (EAFTC)," Ramos, J.; Brenner, D.W.; Galica, G.E.; Walter, Chris Aerospace Conference, 2005 IEEE Volume , Issue , 5-12 March 2005 Page(s):1 - 10.
· "The Customizable Fault/Error Model for Dependable Distributed Systems," C.J. Walter, and N. Suri, Journal of Theoretical Computer Science, Volume 290 , Issue 2 (January 2003), Elvisier.
· “Fault-Tolerant Discovery and Formation Protocols for Autonomous Composition of Spacecraft Constellations,” Ellis, P., B. LaValley, and C. Walter, IEEE Aerospace Conference 2003 Proceedings.
· "Issues Related to Fault Tolerance", C. J. Walter, Software Engineering Institute Real Time Systems Engineering Workshop 2000 Agenda.
· "Formally Verified On-Line Diagnosis," C.J. Walter, P. Lincoln, and N. Suri, IEEE Transactions on Software Engineering, Vol. 23, No. 11.
· "Evaluating COTS Standards for Design of Dependable Systems," C.J. Walter, N. Suri , and T. Monaghan, International Conference on Dependable Systems and Networks 2000.
· "Dependability Issues in the Reuse of Standard Components in Open Architectures," C. Walter, N. Suri, and T. Monaghan, AIAA Computing in Aerospace 10.
· "Continual On-Line Diagnosis of Hybrid Faults," C. Walter, M. Hugue, and N. Suri, 4th International Conference on Dependable Computing for Critical Applications.
· "Evaluating Fault Coverage Using an Integrated Inductive and Deductive Approach," C.Walter, M. Hugue, and N. Suri, International Workshop on Fault and Error Models of Failures in Computer Systems.
· "Fault Classification and Distribution Effects on the Reliability Modeling of Large Fault Tolerant Real-Time Systems," N. Suri, M. Hugue, C. Walter, 22th International Symposium on Fault Tolerant Computing.
· "Synchronization Issues in Real-Time Systems," N. Suri, M. Hugue, and C. Walter, Proceeding of IEEE.
· "Evaluation and Design of an Ultra-Reliable Distributed Architecture for Fault Tolerance," C. Walter, Transactions on Reliability, Vol. 39, No. 4.
· "Identifying the Cause of Detected Errors," C. Walter, 20th International Symposium on Fault Tolerant Computing.
· "The MAFT Architecture for Distributed Fault Tolerance," R. Kieckhafer, C. Walter, A. Finn, P. Thambidurai, IEEE Transactions on Computers, Special Issue on Fault Tolerance.
· "MAFT: A Multi-computer Architecture for Fault Tolerance in Real-Time Control Systems," C. J. Walter, et al., Real-Time Systems Symposium.