When I was a PhD student at CMU around 1983, I was lucky to join a real time computing project led by Andre. His idea of developing theoretical understandings for high impact recurring technological problems encountered by industry has had a deep influence on me.
Indeed, DoD systems often push the envelope of existing technologies. Some serious development problems are not caused by the lack of exercising best practices. Rather, they are caused by the lack of adequate scientific and technological foundation. At that time, the practice of real time system engineering was rather ad hoc. Andre had the vision of creating a comprehensive real time computing theory and supporting infrastructure.
Andre went to ONR and created the ONR Real Time Computing Initiative which fostered the formation of the real time computing community. To help ensure the impact of ONR 6.1 research on DoD systems, he also funded IBM FSD to create a generic avionics model problem and a generic submarine model problem published in RTSS. His leadership to form academic and industry partnership in the Initiative not only created a real time computing theory widely used in practice but also transformed the real time computing infrastructure - IEEE standards on real time computing.
Andre also played a key role in the success of model checking. He recognized the importance of this then new research and wanted to ensure its impact on industry. He asked me to introduce IEEE Futurebbus+ cache coherent protocol to model checkering researchers in an ONR workshop. At the end, Andre asked, “Who is interested to verify this protocol?” Ed Clarke raised his hand. His tool did find bugs in the early design. Ed later became a Turing Award winner. I would say that Andre also helped shape the culture of model checking community.
When F22 was threatened to be canceled by Congress due to persistent avionics instability, Andre created an industry - academic team, OSD Avionics Advisory Team, who helped raise F22 lead jet's avionics stability by an order of magnitude in 9 months, and the lessons learned were passed to F35 design team.
I was in Italy when he got sick. I planned to visit him when I came back in late August. But it was too late. I regret that I could not visit him when he was hospitalized.
Andre was a visionary, a leader and a friend since I was a PhD student. We all miss him deeply.
Lui Sha