期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

实时软件设计方法的发展趋势 被引量：2

Development Trend of Real Time Software Design Method
下载PDF
导出
摘要 介绍实时程序设计方法学的两个基本方面:实时程序设计语言和实时程序的规范说明及形式化验证,讨论实时程序设计的基本特点和与一般程序设计的不同之处,程序层次的实时性包括静态的时间限制表达和动态的时间限制维护,程序规范层次的实时性包括建立规范说明模型和形式化证明。 Introduces two basic aspect of real time program design methodology, canonical explanation of real time program language and real time program and formulation verify, discusses the basic characteristic of real time program design, real time program layer comprise static time limit expression and dynamic time limit protect, real time program canonical layer comprises building up the model of canonical explanation and proof of formulation.
作者 吴文兴
机构地区 广东商学院信息学院
出处 《现代计算机》 2007年第6期141-144,共4页 Modern Computer
关键词 实时语言 实时程序设计方法学 实时系统分析 Real Time Language Real Time Program Design Methodology Real Time System Analysis
分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献5

二级参考文献20

  • 1王洪,文开章,邢继娟,张彤,杨晓科.实时控制中的中断技术[J].电子计算机外部设备,1996,20(1):54-58. 被引量：3
  • 2Ghosh S, Melhem R, Mosse D. Enhancing real-time scheduled to tolerate transient faults. In: Proc. of the 16th IEEE Real-Time Systems Symup. Pisa: IEEE Computer Society Press, 1995. 120-129.
  • 3Kandasmy N, Hayes JP, Murray BT. Tolerating transient faults in statically scheduled safety-critical embedded systems. In: Proc.of the 18th IEEE Symp. on Reliable Distributed Systems. Lausanne: IEEE Computer Society Press, 1999. 212-221.
  • 4Burns A, Davis R, Punnekkat S. Feasibility analysis of fault-tolerant real-time task sets. In: Proc. of the 8th Euromicro Workshop on Real-Time Systems. L'Aquila: IEEE Computer Society Press, 1996. 29-33.
  • 5Punnekkat S. Scheduling analysis for fault tolerant real-time systems [Ph.D. Thesis]. University of York, 1997.
  • 6Burns A, Punnekkat S, Strigini L, Wright DR. Probabilistic scheduling guarantees for fault-tolerant real-time systems. In: Proc. of the 7th Int'l Working Conf. on Dependable Computing for Critical Application. IEEE Computer Society Press, 1999. 339-356.
  • 7De A Lima GM, Burns A. An effective schedulability analysis for fault-tolerant hard real-time systems. In: Proc. of the 13th Euromicro Conf. on Real-Time Systems. Delft: IEEE Computer Society Press, 2001. 209-216.
  • 8De A Lima GM, Burns A. An optimal fixed-priority assignment algorithm for supporting fault-tolerant hard real-time systems.IEEE Trans. on Computers, 2003,52(10): 1332-1346.
  • 9Liu CL, Layland JW. Scheduling algorithms for multiprogramming in a hard real-time environment. Journal of the ACM,1973,20(1): 46-61.
  • 10Audsley NC, Burns A, Richardson M, Wellings AJ. Hard real-time scheduling: the deadline monotonic approach. In: Proc. of the 8th IEEE Workshop on Real-Time Operating Systems and Software. Atlanta: IEEE Computer Society Press, 1991. 133-137.

共引文献13

同被引文献4

  • 1Hassan Gomaa.Designing Concurrent, Distributed, and Real- Time Applications with UML, Addison-Wesley Professional, 2000
  • 2Bruce Powel Douglass, Real Time UML Workshop for Embed- ded Systems, Newnes, 2006, 65-67
  • 3Phillip A. Laplante, Real-Time Systems Design and Analysis (Third Edition), Institute of Electrical and Electronics Engineers, Inc.2004
  • 4于镭,郭瑛,段利亚.基于UML的嵌入式绗缝测试系统研究[J].微计算机信息,2007,23(02Z):14-15. 被引量：8

引证文献2

现代计算机
2007年 第6期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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