• USA-2005

      For contributions to real-time systems.

    Lui Sha graduated with Phd. from CMU in 1985. He worked at the Software Engineering Institute from 1986 to 1998. He joined UIUC in 1998. Currently, he is Donald B. Gillies Chair Professor of Computer Science, the University of Illinois at Urbana-Champaign. He was named Tau Beta Pi Daniel C. Drucker Eminent Faculty in 2017. He is a Fellow of ACM and IEEE and a recipient of IEEE’s Simon Ramo medal, which honors exceptional achievement in systems engineering and systems science. IEEE Medals are the highest distinctions that the IEEE presents.

    Sha has led the creation of a comprehensive system engineering approach to design and build complex real-time systems, advancing the field from one using hand-crafted, trial-by-error processes into one that is a scientific engineering discipline. The approach, called Generalized Rate Monotonic Scheduling (GRMS) theory, developed with John Lehoczky and Raj Rajkumar, provides predictability, efficiency, and flexibility for scheduling complex concurrent real-time tasks. GRMS has become the best practice of the real-time computing industry, and is regularly taught in real time computing classes. Sha’s IEEE Fellow citation states, “for technical leadership and research contributions which enabled the transformation of real-time computing practice from an ad hoc process to an engineering process based on analytic methods.”

    From 2015-2017, Sha was appointed by Administrator of NASA, Charles Bolden, to the Aeronautics Committee of the NASA Advisory Council. He was selected for this council based largely his contribution to real-time computing and to complexity reduction and control architectures. The Simplex architecture allows the safe use of difficult or unverifiable complex control software. Its principles have been successfully used to improve the stability advanced avionics systems. Sha and his team invented the Physically Asynchronous Logically Synchronous (PALS) architecture. Steven P. Miller of Rockwell Collins Inc. demonstrated that, using PALS architecture, the model checking time of a dual redundant flight control system dropped from over 35 hours to less than 30 seconds. Sha and Miller’s team received the 2009 David Lubkowski Award for the Advancement of Digital Avionics from American Institute of Aeronautics and Astronautics.