John Hudak is a member of the Performance-Critical Systems (PCS) initiative. He is responsible for developing and applying model-based engineering methodologies based on the AADL for real-time embedded system development.
John is a senior member of the technical staff member at the Software Engineering Institute (SEI). He has been with the SEI for eight years. His interests include dependable real-time systems, computer hardware and software architecture, model-based verification, and control engineering. Before joining the SEI, he was a member of Carnegie Mellon Research Institute, an applied R&D division within Carnegie Mellon University. He served in various technical and managerial capacities in projects addressing the needs of industry. Projects included: automation of newspaper distribution, steel making control systems, applied artificial intelligence techniques in power generation and distribution facilities, process modeling, and automated robotic inspection of jet aircraft.
Publications (recent or significant)
Hudak, John J. and Feiler, Peter H, "Developing AADL Models for Control Systems: A Practitioners Guide", SEI Technical Note CMU/SEI-2007-TR-014, Software Engineering Institute, 2007.
Feiler, Peter H., David P. Gluch, John J. Hudak., "The Architecture Analysis & Design Language (AADL): An Introduction", SEI Technical Note CMU/SEI-2006-TN-011, Software Engineering Institute, 2006.
Weinstock, Charles B., J. Goodenough, and J. Hudak, "Dependability Cases," SEI Technical Note CMU/SEI-2004-TN-016, Software Engineering Institute, 2004.
Feiler, Peter H., David P. Gluch, John J. Hudak. Bruce A. Lewis, "Embedded Systems Architecture Analysis Using the SAE AADL", SEI Technical Note CMU/SEI-2004-TN-005, Software Engineering Institute, 2004.
Wallnau, K., S. Hissam, John J. Hudak, et al., "Predictable Assembly of Substation Automation Systems: An Experiment Report, Second Edition", SEI Technical Note CMU/SEI-2002-TR-031, Software Engineering Institute, 2002.