首页 | 本学科首页   官方微博 | 高级检索  
     检索      

基于OOPN的实时软件开发方法与环境的研究
引用本文:任爱华,金茂忠.基于OOPN的实时软件开发方法与环境的研究[J].北京航空航天大学学报,2001,27(4):425-428.
作者姓名:任爱华  金茂忠
作者单位:北京航空航天大学 计算机科学与工程系
基金项目:国家自然科学基金;69883002;
摘    要:实时系统的与时间相关性以及与其环境的交互特点造成实时软件的开发十分困难,那么多处理机实时软件的开发就更加困难.为了简化多处理机环境下的并发程序设计、减少程序设计错误和提高编程效率,介绍一种用于多处理机系统的程序设计方法以及在此方法支持下的软件开发与运作环境.该方法以一种直观的图形方式(面向对象Petri网)辅助多处理机系统软件开发,在此环境下可完成高效的软件开发和获取安全可靠的软件结构.

关 键 词:操作系统  多处理机系统  软件工具  高级Petri网
文章编号:1001-5965(2001)04-0425-04
收稿时间:2000-09-20
修稿时间:2000年9月20日

Study on Real-Time Software Developing Method of Multiprocessor System with OOPN Model
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.
Authors:REN Ai-hua  JIN Mao-zhong
Institution:Beijing University of Aeronautics and Astronautics, Dept. of Computer Science and Engineering
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.
Keywords:operating systems  multi processor systems  software tools  high level Petri Net
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《北京航空航天大学学报》浏览原始摘要信息
点击此处可从《北京航空航天大学学报》下载免费的PDF全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号