king@grasp.cis.upenn.edu (08/28/89)
Name: Timix Where: University of Pennsylvania Contact: Mr. Robert King Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104-6389 king@grasp.cis.upenn.edu Primary Investigator: Dr. Insup Lee Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104-6389 lee@central.cis.upenn.edu (215) 898-3532 Environment: MicroVAX processors connected via Ethernet and/or ProNET-10 Description: Timix is a real-time kernel being developed to support distributed applications, such as those found in the robotics domain. It supports processes with independent address spaces that execute, communicate and handle devices within timing constraints. The two basic communication paradigms supported are signals and asynchronous port-based message passing. New devices, which are directly controlled by application processes, can be integrated into the system without changing the kernel. Dynamic timing constraints are used for scheduling processes and interprcess communications. References: I. Lee, R. King, and R. Paul. A Predictable Real-Time Kernel for Distributed Multi-Sensor Systems. IEEE Computer (June 1989), 22(6):78 - 83. I. Lee, R. King, and R. Paul. RK: A Real-Time Kernel for Distributed System with Predictable Response. Technical Report MS-CIS-88-78, Department of Computer and Information Science, University of Pennsylvania (October 1988). I. Lee, R. King, and X. Yun. A Real-Time Kernel for Distributed Multi-Robot Systems. Proceedings of the American Control Conference (June 1988), 1083-1088. I. Lee and R. King. Timix: A Distributed Real-Time Kernel for Multi-Sensor Robots. Proceedings of the IEEE International Conference on Robotics and Automation (April 1988), 1587-1589. I. Lee, R. King, and G. Holder. Timix: A Distributed Kernel for Real-Time Applications. Proceedings of the IEEE Workshop on Design Principles for Experimental Distributed Systems (October 1986).