Study on Real-Time Software Developing Method of Multiprocessor System with OOPN Model
-
摘要: 实时系统的与时间相关性以及与其环境的交互特点造成实时软件的开发十分困难,那么多处理机实时软件的开发就更加困难.为了简化多处理机环境下的并发程序设计、减少程序设计错误和提高编程效率,介绍一种用于多处理机系统的程序设计方法以及在此方法支持下的软件开发与运作环境.该方法以一种直观的图形方式(面向对象Petri网)辅助多处理机系统软件开发,在此环境下可完成高效的软件开发和获取安全可靠的软件结构.Abstract: The time relativity and interactive property with the environment of a real-time system make the real-time software development very difficult. If in the case of multiprocessor environments the development work will be more difficult. In order to simplify the concurrent programming in the multiprocessor environment and reduce errors in the programming, the paper introduces a programming approach for the multi-processor system along with the software developing and enacting environment under this method. The method supports multiprocessor system software developing based on a visible graph mode (i.e. Object Oriented Petri Net) with witch the software can be developed efficiently and the reliable software can be obtained.
-
Key words:
- operating systems /
- multi processor systems /
- software tools /
- high level Petri Net
-
[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.
点击查看大图
计量
- 文章访问数: 2426
- HTML全文浏览量: 115
- PDF下载量: 827
- 被引次数: 0