An Object-Oriented Software Design Method for Real-Time Muhitask Systems
面向对象的实时多任务系统设计方法

In this paper,we present an object-oriented design method for real-time muhitask systems using formal languages. We describe the whole development process of real-time muhitask software from requirement analysis to system designing,targeting and testing. Finally, we illustrate the method by means of an example.