[1]祝义,黄志球,曹子宁.一种支持实时软件资源建模与分析的方法[J].东南大学学报(自然科学版),2010,40(3):500-505.[doi:10.3969/j.issn.1001-0505.2010.03.013]
 Zhu Yi,Huang Zhiqiu,Cao Zining.Support method for resource modeling and analysis of real-time software[J].Journal of Southeast University (Natural Science Edition),2010,40(3):500-505.[doi:10.3969/j.issn.1001-0505.2010.03.013]
点击复制

一种支持实时软件资源建模与分析的方法()
分享到:

《东南大学学报(自然科学版)》[ISSN:1001-0505/CN:32-1178/N]

卷:
40
期数:
2010年第3期
页码:
500-505
栏目:
计算机科学与工程
出版日期:
2010-05-20

文章信息/Info

Title:
Support method for resource modeling and analysis of real-time software
作者:
祝义12 黄志球1 曹子宁1
1 南京航空航天大学信息科学与技术学院, 南京 210016; 2 徐州师范大学计算机科学与技术学院, 徐州 221116
Author(s):
Zhu Yi12 Huang Zhiqiu1 Cao Zining1
1 College of Information Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China
2 School of Computer Science and Technology, Xuzhou Normal University, Xuzhou 221116, China
关键词:
实时软件 资源 建模 通信顺序进程
Keywords:
real-time software resource modeling communicating sequential process
分类号:
TP311
DOI:
10.3969/j.issn.1001-0505.2010.03.013
摘要:
针对实时系统软件设计难以有效兼顾功能与非功能需求的问题,提出了一种支持实时软件资源建模与分析的方法.首先,通过在通信顺序进程上扩展资源信息,得到资源通信顺序进程,并将实时系统指令使用的资源映射为资源通信顺序进程的资源.利用资源通信顺序进程对实时软件资源建模,并进行量化分析.然后,通过提出一系列资源优化检查算法,对建模结果进行资源可满足性检查,并计算出当前系统所需的最少资源量.最后,对机载防撞告警系统进行建模与分析,以说明该方法的有效性.结果表明,该方法能够分析影响实时系统资源使用的关键软件设计要素,评估软件优化对系统资源使用的影响,从而在很大程度上提高了实时系统资源计算和分析的可信性.该计算结果有助于实时系统资源的量化分析和资源优化设计.
Abstract:
Aiming to solve the problem that the software design of real-time systems is difficult to effectively take into account both functional requirements and non-functional requirements, a support method for resource modeling and analysis of real-time software is proposed. First, a resource communicating sequential process(RCSP)is obtained by extending resource information on a communicating sequential process(CSP), and resource consumption of instructions in real-time systems is mapped into the resource of the RCSP. The resource consumption of real-time software can be modeled and quantitatively analyzed by using the RCSP. Then, resource optimal checking algorithms are proposed to check the resource satisfiability of instructions and calculate the minimum resources of real-time systems. Finally, a traffic alert and collision avoidance system is modeled and analyzed to illustrate the effectiveness of this method. The results show that this method can analyze the key software design elements which influence the resource use of real-time systems, and it can evaluate the effects of optimizing software on the resource use of real-time systems. It can improve the accuracy and efficiency of resource calculations. The calculation results can be used to quantitatively analyze and optimize the resource consumption of real-time systems.

参考文献/References:

[1] 陈火旺,王戟,董威.高可信软件工程技术[J].电子学报,2003,31(z1):1933-1938.
  Chen Huowang,Wang Ji,Dong Wei.High confidence software engineering technologies[J]. Chinese Journal of Electronics,2003,31(z1):1933-1938.(in Chinese)
[2] 贺小川,贾焰.抢占阈值调度的功耗优化 [J].计算机学报,2008,31(11):2060-2071.
  He Xiaochuan,Jia Yan.Leakage-aware energy-efficient scheduling for fixed-priority tasks with preemption thresholds [J].Chinese Journal of Computers,2008,31(11):2060-2071.(in Chinese)
[3] 刘云生,张童,张传富,等.异构分布式实时仿真系统的容错调度算法 [J].软件学报,2006,17(10):2040-2047.
  Liu Yunsheng,Zhang Tong,Zhang Chuanfu,et al.A fault-tolerant scheduling algorithm for heterogeneous distributed real-time simulation systems [J]. Journal of Software,2006,17(10):2040-2047.(in Chinese)
[4] Ledang H,Hung D.Timing and concurrency specification in component-based real-time embedded systems development [C] //Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering.Shanghai,China,2007:293-302.
[5] Niunez M,Rodruguez I.PAMR:a process algebra for the management of resources in concurrent systems[C] //Proceedings of International Conference on Formal Techniques for Networked and Distributed Systems.Cheju Island,South Korea,2001:169-184.
[6] Sokolsky O.Resource modeling for embedded systems design[C] //Proceedings of the Second IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems.Vienna,Austria,2004:99-103.
[7] Hoare C A R.Communicating sequential processes[J]. Communications of the ACM,1978,21(8):666-677.
[8] Schneider S.An operational semantics for timed CSP[J]. Information and Computation,1995,116(2):193-213.
[9] Davies J,Schneider S.A brief history of timed CSP[J]. Theoretical Computer Science,1995,138(2):243-271.
[10] Formal Systems(Europe)Limited.FDR2.83 academic use release[EB/OL].(2007-07-23)[2009-08-02].http://www.fsel.com/fdr2_download.html.

相似文献/References:

[1]王炜.城市交通系统可持续发展规划框架研究[J].东南大学学报(自然科学版),2001,31(3):1.[doi:10.3969/j.issn.1001-0505.2001.03.001]
 Wang Wei.Research on Sustainable Development Planning Theory of Urban Transportation[J].Journal of Southeast University (Natural Science Edition),2001,31(3):1.[doi:10.3969/j.issn.1001-0505.2001.03.001]

备注/Memo

备注/Memo:
作者简介: 祝义(1976—), 男, 博士生, 讲师; 黄志球(联系人), 男, 博士, 教授, 博士生导师, zqhuang@nuaa.edu.cn.
基金项目: 国家高技术研究发展计划(863计划)资助项目(2009AA010307)、国家自然科学基金资助项目(60873025)、江苏省自然科学基金资助项目(BK2008389).
引文格式: 祝义,黄志球,曹子宁.一种支持实时软件资源建模与分析的方法[J].东南大学学报:自然科学版,2010,40(3):500-505. [doi:10.3969/j.issn.1001-0505.2010.03.013]
更新日期/Last Update: 2010-05-20