期刊文献+

任务图模型中实时任务设计 被引量:3

Real-Time Tasks Design in Task Graph Model
下载PDF
导出
摘要 仿真技术的进步推动了实时系统(如核反应堆、军事战场和fly-by-wire系统)的深入研究.用仿真方法解决实时问题,必须首先给出实时系统描述模型.TGM(task graph model)模型是实时系统描述模型之一,其模型最重要的成员是实时任务.使用量化仿真方法定义了实时任务的4种参数,并细分任务为子任务.此方法更易描述实时应用系统,更易构造TGM的执行模型,其层次化的结构更容易进行研究和软件实现.TGM模型及其任务设计已成功地应用于分布式三星实时侦察仿真系统. The advancement of simulation technology promotes the deep research of real-time systems in urgent need such as nuclear reactor, military field and fly-by-wire systems. According to the simulation approaches, the description model of real-time systems must be presented. Task graph model is one of the description models. The real-time task in TGM model is very important. With the use of quantitative simulation method, the task is defined with four kinds of parameters and subtasks combining a task. By using this method, the real-time systems application can be described easily, the execution model of TGM can be constructed quickly, and its software can be researched and implemented quickly. TGM model and tasks design are successfully applied to the real-time simulation system of three surveillance satellites.
出处 《软件学报》 EI CSCD 北大核心 2002年第6期1103-1110,共8页 Journal of Software
基金 国家自然科学基金资助项目(60073003) 国家九五国防预研基金资助项目(Z99-04) 国家十五国防预研资助项目(41320070104)~~
关键词 任务图模型 实时任务 设计 时态参数 功能参数 连接参数 资源需求参数 计算机仿真 real-time tasks temporal parameters functional parameters connection parameters resource requirement parameters
  • 相关文献

参考文献18

  • 1Shin, K.G., Ramanathan, Parameswaran. Real-Time computing: a new discipline of computer science and engineering. Proceedings of the IEEE, 1994,82(1):6~24.
  • 2Stankovic, J.A. Misconception about real-time computing: a serious problemfor next-generation systems. IEEE Computer, 1988, 21(10):10~19.
  • 3Jahanian, F., Mok, A.K. Modechart: a specification language for real-time systems. IEEE Transactions on Software Engineering, 1994,20(12):933~947.
  • 4Rose, A., Perez, M., Clements, P. Modechart toolset user's guide. Technical Report, NML/MRL/5540-94-7427, Austin: University of Texas at Austin, 1994.
  • 5Liu, J.W.S., Liu, C.L., Deng, Z., et al. PERTS: a prototyping environment for real-time systems. International Journal of Software Engineering and Knowledge Engineering, 1996,6(2):111~126.
  • 6Silberman, A., Marlowe, T. A task graph model for design and implementation of real-time system. In: Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'96). New York: IEEE Press, 1996. 432~441.
  • 7Mok, A.k., Sutanthavibul, S. Modeling and scheduling of dataflow real-timesystems. In: Proceedings of the 1985 Real-Time Systems Symposium. New York: IEEE Press, 1985. 178~187.
  • 8Gupta, R., Spezialetti, M. A compact task graph representation for real-time scheduling. Real-Time Systems, 1996,13(7):13~21.
  • 9Grimshaw, A. Mentat: an object-oriented macro data flow system [Ph.D. Thesis]. Urbana: University of Illinois, 1988.
  • 10Gui, Xian-zhou. Design of the model and programming language for complex real-time systems [Ph.D. Thesis]. Changsha: National University of Defence Technology, 1999 (in Chinese).

二级参考文献2

共引文献2

同被引文献18

  • 1张克非.嵌入式实时操作系统分析[J].计算机工程与设计,2005,26(8):2020-2022. 被引量:21
  • 2高立娥,康凤举,刘卫东,同爱丽,路尧.基于时间Petri网的实时多任务调度方法研究[J].系统仿真学报,2006,18(11):3075-3077. 被引量:9
  • 3林崇,王庆国,LEE Tong Heng.一类MIMO继电反馈系统极限环的全局稳定性(英文)[J].控制工程,2007,14(1):66-69. 被引量:1
  • 4Alur R. Timed automata [C]. 11th Intemational Conference on Computer-Aided Verification, LNCS 1633. Trento, Italy: Springer-Verlag, Berlin Heidelberg,1999:8-22.
  • 5Yu Huiqtm,He Xudong,Yi Deng, et al.Formal analysis of realtime systems with SAM[C].ICFEM, 2002:275-286.
  • 6Zhang L, Liu R. Aspect-oriented real-time system modeling method based on UML[C]. 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Application,2005:373 -376.
  • 7Katara M,Mikkonen T.Aspect-oriented specification architectures for distributed real-time systems [C]. Proceedings of the Seventh IEEE International Conference on Engineering of Complex Computer Systems,2001:180-190.
  • 8Ramnivas Laddad. AspectJ in action [M]. Greenwich: Manning Publication Co,2003.
  • 9Sun Qiang,Zhang ZhengHua.Development of real-time system with rhapsody software framework and UML[C].Microcontrollers and Embedded System,2003.22-25.
  • 10Insup Lee,Anna Philipou.A general resource framework for real-time systems[C].Venice,Italy:Radical Innovations of Software and Systems Engineering in the Future:9th International Workshop,RISSEF,2002.234-248.

引证文献3

二级引证文献7

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部