MIME-Version: 1.0
Server: CERN/3.0
Date: Tuesday, 07-Jan-97 15:17:23 GMT
Content-Type: text/html
Content-Length: 3098
Last-Modified: Wednesday, 21-Feb-96 15:51:41 GMT
Aloysius K. Mok
Aloysius K. Mok
Associate Professor
Faculty Fellow in Computer Sciences
B.S. in Electrical Engineering (1977), M.S. (1977), Ph.D. (1983)
Massachusetts Institute of Technology
Professional Service
- Associate Editor, Real Time Systems: The International Journal of
Time-Critical Computing Systems, present
- Editorial Board, International Journal of Formal Methods in System
Design, present
- Program Committee, International Computer Symposium, Taiwan, 1992
- Vice-Chair, IEEE Technical Committee on Real-Time Systems, 1993
- Chair, IEEE Technical Committee on Real-Time Systems, present
- Working Group on Real-Time Programming, International Federation
of Automatic Control, present
Areas of Interest
Fault-tolerant hard-real-time systems, system architecture,
computer-aided system design tools, and software engineering
Summary of Research
I am currently conducting fundamental research in the area of
distributed real-time systems. My primary concerns include
specification techniques for real-time systems, algorithms for
guaranteeing stringent timing constraints and understanding the
trade-off between the robustness and response times of time-critical
systems. The goal is to develop a formal framework for automating the
analysis and synthesis of robust real-time systems. Application areas
include robot control systems, avionics software and industrial
process control systems. Funding is being provided by the Office of
Naval Research to develop a highly automated design environment for
real-time systems.
Selected Recent Publications
A. K. Mok, "Towards mechanization of real-time system design," Foundations of Real-Time Computing, Formal Specifications and Methods, A. van Tilborg et al., Eds. Kluwer Academic Publishers, 1992.
C. Heitmeyer, B. Labaw, P. Clements, and A. K. Mok, "Engineering CASE tools to support formal methods for real-time software development," in Proceedings of the Fifth International Workshop on Computer-Aided Software Engineering, Montreal, July 1992.
F. Wang, A. K. Mok, and E. A. Emerson, "Formal specification of asynchronous, distributed real-time systems in APTL," in Proceedings 14th International Conference on Software Engineering, Melbourne, May 1992.
T. W. Kuo and A. K. Mok, "Load adjustment in adaptive real-time systems," in Proceedings of Real-Time Systems Symposium, San Antonio, December 1991.
C. K. Wang, D. C. Tsou, R. H. Wang, Aloysius K. Mok, and J. C. Browne, "Automated analysis of bounded response time for two NASA expert systems," in Proceedings of IEEE SIGSOFT'91 Conference, New Orleans, December 1991.
Additional information can be obtained from
individual faculty members'
home pages.
Back to List of Faculty Profiles