留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

基于OOPN的实时软件开发方法与环境的研究

任爱华 金茂忠

任爱华, 金茂忠. 基于OOPN的实时软件开发方法与环境的研究[J]. 北京航空航天大学学报, 2001, 27(4): 425-428.
引用本文: 任爱华, 金茂忠. 基于OOPN的实时软件开发方法与环境的研究[J]. 北京航空航天大学学报, 2001, 27(4): 425-428.
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)
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)

基于OOPN的实时软件开发方法与环境的研究

基金项目: 国家自然科学基金资助项目(69883002)
详细信息
    作者简介:

    任爱华(1957-),女,辽宁盖县人,副教授,100083,北京.

  • 中图分类号: TP 311.5

Study on Real-Time Software Developing Method of Multiprocessor System with OOPN Model

  • 摘要: 实时系统的与时间相关性以及与其环境的交互特点造成实时软件的开发十分困难,那么多处理机实时软件的开发就更加困难.为了简化多处理机环境下的并发程序设计、减少程序设计错误和提高编程效率,介绍一种用于多处理机系统的程序设计方法以及在此方法支持下的软件开发与运作环境.该方法以一种直观的图形方式(面向对象Petri网)辅助多处理机系统软件开发,在此环境下可完成高效的软件开发和获取安全可靠的软件结构.

     

  • [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
出版历程
  • 收稿日期:  2000-09-20
  • 网络出版日期:  2001-04-30

目录

    /

    返回文章
    返回
    常见问答