Staff Page for David P. Gluch
Contents: Contact Background Publications Education Memberships
Job titleVisiting Scientist
Administrative home
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
- Association for Computing Machinery (ACM)
- The Institute of Electrical and Electronics Engineers (IEEE)
- IEEE Computer Society
Contact Information
Electronic mail address: dpg@sei.cmu.edu