Publications

The following  references represent a selection of our publications:

Selected Books:

 Advances in Ultra-Dependable Distributed Systems, N. Suri, C. Walter, and M. Hugue, IEEE Computer Society Press.

Selected Journals and Conferences

J. Goetz, C. Walter, "Architectural Security Analysis for Mixed Hardware and Software Systems,"  Safe & Secure Systems and Software Symposium (S5), Dayton, OH, June 9-11, 2015.

 A. Tai, C. Walter, "Fault Tree Generation and Augmentation," Safe & Secure Systems and Software Symposium (S5), Dayton, OH, June 10-14, 2014.

A. T. Tai, C. J. Walter, L. M. Fesq, and J. C. Day, "Fault-Class-Aware Fault Tree Generation and Analysis", 24th International Symposium on Software Reliability Engineering (ISSRE 2013), Pasadena, CA, November 2013.

B. LaValley,”Model-Based Architecture Analysis for Information Assurance,” OMG Technical Meeting, March 18-22, 2013.

C. Walter, B. LaValley,” Analysis Of Mixed Critical Avionics and Systems,” AHS Vertical Flight Forum 69, May 21-23, 2013. Best paper award for System Engineering and Tools.

C. Walter, B. LaValley, and P. Ellis, “The EDICT Tool Platform for Model Based Architecture Modeling and Analysis,” 31st Digital Avionics Systems Conference (DASC), Oct. 14-18, 2012.

J. C. Goetz and K. Matouš, “Shock analysis and optimization of two-layered cellular materials subject to pulse loading,” International Journal of Impact Engineering, vol. 57, pp. 55–69, Jul. 2013

D. Cofer, A. Gracek, M. Whalen, B. LaValley, et al., “Compositional Verification of Architectural Models,” NASA Formal Methods Symposium (NFM 2012), Lecture Notes in Computer Science (LNCS) 7226, pp. 126 -140, 2012.

Don Ohi, Chris Walter, James Dabney, “Independent Verification and Validation of Large System Architectures,” Workshop on Spacecraft Flight Software (FSW-10), December 8-10, 2010. 

J. Goetz, H. Tan, J. Renaud, and A. Tovar, “Two-material optimization of plate armour for blast mitigation using hybrid cellular automata,” Engineering Optimization, pp. 1–21, 2011.

A. T. Tai, K. S. Tso, and W. H. Sanders, "Diversity-Inspired Clustering for Self-Healing MANETs: Motivation, Protocol, and Performability Evaluation", Proceedings of the International Conference on Dependable Systems and Networks (DSN-2010), Chicago, IL, June 2010, pp.547-556.

Y. Zhang, I-L. Yen, F. Bastani, A. T. Tai, and S. Chau, "Optimal Adaptive System Health Monitoring and Diagnosis for Resource Constrained Cyber-Physical Systems", Proceedings of the 20th International Symposium on Software Reliability Engineering (ISSRE 2009), Mysuru, India, November 2009

A. T. Tai, K. S. Tso, and W. H. Sanders, "On Exploiting Diversity for Cluster Formation in Self-Healing MANETs", Proceedings of the Ninth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS-9), Eger, Hungary, September 2009.

Ann T. Tai, Kam S. Tso, William H. Sanders: A recurrence-relation-based reward model for performability evaluation of embedded systems. DSN 2008: 532-541.

C. Walter,“Enabling a Systems Engineering Approach to Automotive Cyber-Physical Systems,” 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.

J. Liu, J. Fu, Y. Zhang, F. Bastani, I-L. Yen, A. Tai, and S. Chau, "Deductive Glue Code Synthesis for Embedded Software Systems Based on Code Patterns Integrity", Proceedings of the Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06), Gyeongju, Korea, April 2006, pp.109-116.

“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

A. T. Tai, K. S. Tso, W. H. Sanders, and Savio N. Chau, "A Performability-Oriented Software Rejuvenation Framework for Distributed Applications", Proceedings of the International Conference on Dependable Systems and Networks (DSN-2005), Yokohama, Japan, June 2005, pp.570-579.

"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.

K. S. Tso, A. T. Tai, S. N. Chau, and L. Alkalai, "On Automating Failure Mode Analysis and Enhancing its Integrity", Proceedings of the IEEE 11th Pacific Rim International Symposium on Dependable Computing (PRDC 2005), Changsha, China, December 2005, pp.287-292.

A. T. Tai, K. S. Tso, and W. H. Sanders, “Cluster-based failure detection service for large-scale ad hoc wireless network applications,” in 2004 International Conference on Dependable Systems and Networks, 2004, pp. 805–814.

· "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.

 

Home | Contact | Information Links  |  Products | Publications

Copyright © 2015 WW Technology Group. All Rights Reserved.