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

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