Citation: | REN Ai-hua, JIN Mao-zhong. Study on Real-Time Software Developing Method of Multiprocessor System with OOPN Model[J]. Journal of Beijing University of Aeronautics and Astronautics, 2001, 27(4): 425-428. (in Chinese) |
[1] Vallejo F, Gregorio J A, Harbour M G,et al. Shared memory multimicroprocessor operating system with an extended Petri Net model[J]. IEEE Transactions on Parallel and Distributed Systems, 1994,5(7):749~762. [2] 任爱华,牛锦中,张永鸣.一种基于面向对象Petri网的并发程序建模方法[J].北京航空航天大学学报,1998,24(4):491~494. [3] Lee Y K, Park S J.OPNets:an Object-Oriented high-level Petri Net model for real-time system modeling[J]. J Systems Software, 1993,20:69~86. [4] Michael Barabanov. A linux based operating system , http://www.rtlinux.org. [5] 牛锦中.基于面向对象Petri网的并发软件集成开发环境的研究与实现 .北京:北京航空航天大学计算机科学与工程系,1999. [6] 任爱华.基于面向对象Petri网的并发软件开发方法研究 .北京:北京航空航天大学计算机科学与工程系,2001. [7] 任爱华,杜悦冬.一种实时多处理机操作系统开发方法[J].计算机工程与应用,2001,37(3):98~103. [8] 任爱华,牛锦中,孙自安,等.OOPN集成开发环境[J].计算机科学,1999,26(6):126~131.
|