David Gluch

David P. Gluch
Visiting Scientist
Research, Technology, and System Solutions Program

Pittsburgh, Pennsylvania, USA

Key responsibilities

Within the Performance-Critical Systems Initiative, Dave Gluch is working on model-based software engineering practices for dependable real-time systems. His current focus is the application of the Society of Automotive Engineers (SAE) Architecture Analysis & Design Language (AADL) in system and software engineering practices. (http://www.aadl.info)

Professional Background

Gluch was a senior member of the technical staff at the SEI for nine years before his appointment as a professor in the Department of Computer and Software Engineering at Embry-Riddle Aeronautical University. Before joining the SEI, he held key engineering and technical management positions with various high technology corporations. His work focused on the development of real-time software-intensive systems including fault-tolerant computers, commercial fly-by-wire aircraft control, automated process control, and simulation systems for the Space Shuttle.

In addition to engineering and management responsibility for major projects, he has authored numerous professional articles and corporate technical reports and has co-authored a book on real-time UNIX systems. Prior to his work in industrial research and development, Dave held academic research and teaching positions. He is a Senior Member of the Institute of Electrical and Electronics Engineers.

Publications (recent or significant)

  • Feiler, P.; Gluch, D.; Hudak, J.; Lewis, B. Embedded Systems Architecture Analysis Using SAE AADL, Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, Technical Note: CMU/SEI-2004-TN-005, June, 2004.
  • Hong Liu, David P. Gluch, "Query Generation Guidelines for Statecharts within Object-Oriented Designs, Proceedings of The IASTED International Conference on Advances in Computer Science and Technology ~ ACST 2004 ~ November 22 24, 2004, pp. 209-214.
  • Gluch, D. P. & Weinstock, C. B. Model-Based Verification: A Technology for Dependable System Upgrade (CMU/SEI-98-TR-009). Pittsburgh, Pa.: Software Engineering Institute, Carnegie Mellon University, September 1998.
  • Garlan, D.; Gluch, D. & Tomayko, J. "Agents of Change: Educating Software Engineering Leaders," IEEE Computer, Vol. 30, No. 11, November, 1997, pp. 59-65.
  • Real-Time UNIX Systems: Design and Applications Guide, Furht, Grostick, Gluch, Rabbat, Parker, and McRoberts, Kluwer Academic Publishers, 1991.

Education

  • Ph.D., Physics, Florida State University

Professional Memberships and Activities

For more information

Contact Us

info@sei.cmu.edu

412-268-5800