Rate My Professor Aloysius Mok

Mok's research centers on cyber-physical systems, fault-tolerant hard real-time systems, system architecture, computer-aided design tools, and software engineering for distributed real-time environments. His work addresses specification techniques for real-time systems, algorithms to guarantee stringent timing constraints, and the trade-offs between robustness and response times in time-critical systems. The objective is to establish a formal framework for automating the analysis and synthesis of robust real-time systems. Application domains include robot control systems, avionics software, and industrial process control systems, with funding from the Office of Naval Research. Key contributions involve developing tools such as Real-Time Logic (RTL), Modechart Toolset, Timetool, and Ged for specification, modeling, analysis, verification, and synthesis. Prominent publications include "Fundamental design problems of distributed systems for the hard-real-time environment" (1983), "Multiprocessor online scheduling of hard-real-time tasks" (1989), "Preemptively scheduling hard-real-time sporadic tasks on one processor" (1990), "A multiframe model for real-time tasks" (2002), "Real time scheduling theory: A historical perspective" (2004), "WirelessHART: Applying wireless technology in real-time industrial process control" (2008), "Why WirelessHART" (2010), and "Safety analysis of timing properties in real-time systems" (2012). More recent papers cover schedule adaptation in RT-WiFi networks (2018) and cyber-physical designs for autonomous pick-and-place robots and selective laser sintering (2018).