Top Navigation:

Primary Navigation:

Photo of Tim  Shimeall

Tim Shimeall

Adjunct Faculty

Voice: n/a
Email: tjs@cert.org

Biography

Before joining the Software Engineering Institute, Dr. Shimeall was an Associate Professor at the Naval Postgraduate School in Monterey, California. He taught a variety of topics in software engineering, systems and security and supervised numerous masters and Ph.D. theses. He has authored over 20 reviewed technical articles and has taught courses for a variety of educational institutions and private corporations, in both local and distance learning formats.

Dr. Shimeall is a senior member of the technical staff with the Networked Systems Survivability Program at the Software Engineering Institute. He is responsible for overseeing and participating in the development of analysis methods in the area of network systems security and survivability. The Networked Systems Survivability Program includes the CERT Coordination Center, and Dr. Shimeall's work draws heavily on data from this Center.

Dr. Shimeall's research interests are in computer survivability, analysis of software behavior and improvement of software safety. His work has included theoretical studies of the behavior of software faults, evaluation of testing methods, development and implementation of tool sets for safety-critical software analysis, development of security, development of strategic frameworks for information warfare and development in security evaluation methods for military systems.

Publications

T. J. Shimeall and J. J. McDermott, "Software Security in an Internet World: An Executive Summary", IEEE Software, July 1999.

D. Fisher and T. J. Shimeall, "EASEL: Emergent Algorithm Simulation Environment Language", Information Survivability Workshop, Orlando, FL, (November 1998).

S. C. Shimeall and T. J. Shimeall, "Don't Waste Your Bugs", Software Development, March 1997.

J. Arquilla and T. J. Shimeall, "A Matrix Model of Information Infrastructure in Expeditionary Warfare", Asilomar Conference in Advanced Technology, Pacific Grove CA, December 1996.

T. J. Shimeall and T. J. Kelly, "Examination of a Software Test Cost Model", Proceedings of the Annual Reliability and Maintainability Symposium, Anaheim, CA, January 1994.

S. S. Cha, N. G. Leveson and T. J. Shimeall, "Safety Verification of Ada Using Fault Tree Analysis", IEEE Computer, July 1991.

T. J. Shimeall and N. G. Leveson, "An Empirical Comparison of Software Fault Tolerance and Fault Elimination", IEEE Transactions on Software Engineering, February 1991.

T. J. Shimeall, R. J. McGraw, J. A. Gill, "Software-Safety Analysis in Heterogeneous Multiprocessor Control Systems", Proceedings of the Annual Reliability and Maintainability Symposium, Orlando, FL, January 1991.

Education

Ph.D from the University of California, Irvine
B.S., M.S. from the University of California, Irvine