Page 107 - 《软件学报》2021年第6期

陆寅 等:面向 AADL 模型的存储资源约束可调度性分析 1681

[8] Jerad C, Barkaoui K, Grissa-Touzi A. On the use of real-time Maude for architecture description and verification: A case study. In:
Proc. of the Visions of Computer Science-bcs Int’l Academic Conf. DBLP, 2015.
[9] Hu K, Duan ZB, Wang JY, Ga LC, Shang LH. Template-Based AADL automatic code generation. Frontiers of Computer Science
in China, 2019,13(4):698−714.
[10] Singhoff F, Legrand J, Nana L, et al. Scheduling and memory requirements analysis with AADL. In: Proc. of the ACM Sigada Int’l
Conf. on Ada: The Engineering of Correct & Reliable Software for Real-time & Distributed Systems Using Ada & Related
Technologies. ACM, 2005. 1−10.
[11] Zhen-Song LI. Research on verification method of AADL behavior model based on UPPAAL. Computer Science, 2012.
[12] Ma BZ. The worst response time analysis considering the impact of cache replacement [Ph.D. Thesis]. Changsha: Hu’nan
University, 2013 (in Chinese with English abstract).
[13] Tran HN, Singhoff F. Instruction cache in hard real-time systems: Modeling and integration in scheduling analysistools with AADL.
In: Proc. of the Embedded and Ubiquitous Computing. IEEE, 2014. 104-111.
[14] Lee CG, Hahn H, Seo YM. Analysis of cache-related preemption delay in fixed-priority preemptive scheduling. In: Proc. of the
IEEE Computer Society. 1998. 700−713.
[15] Delange J, Pautet L, Plantec A, et al. Validate, simulate, and implement ARINC653 systems using the AADL. ACM SIGAda Ada
Letters, 2009,29(3):31−44.
[16] Dimpsey RT, Iyer RK. Modeling and measuring multiprogramming and system overheads on a shared-memory multiprocessor:
Case study. Journal of Parallel and Distributed Computing, 1991,12(4):402−414.
[17] Tran HN, Singhoff F, Rubini S. Cache-Aware real-time scheduling simulator: Implementation and return of experience. ACM
SIGBED Review, 2016,13(1):22−28.
[18] Li C, Ding C, Shen K. Quantifying the cost of context switch. In: Proc. of the Workshop on Experimental Computer Science, Part
of ACM FCRC. San Diego: ACM, 2007. 1−4.
[19] Bastoni A, Brandenburg B, Anderson JH. Is semi-partitioned scheduling practical. In: Proc. of the Euromicro Conf. on Real-time
Systems. IEEE Computer Society, 2011. 1−11.
[20] Bini E, Buttazzo GC. Measuring the performance of schedulability tests. Real-time Systems, 2005,30(1-2):129−154.

附中文参考文献:
[1] 刘育芳,张立臣.实时系统最坏执行时间分析.计算机应用研究,2005,22(11):16−18.
[2] 周国昌,郭宝龙, 高翔等. 基于分布函数的 WCET 快速估计.计算机科学,2016,43:157−161.
[4] 杨志斌,皮磊,胡凯,等.复杂嵌入式实时系统体系结构设计与分析语言:AADL.软件学报,2010,21(5):899−915. http://www.jos.org.
cn/1000-9825/3700.htm [doi: 10.3724/SP.J.1001.2010.03700]
[5] 张杰.最早截止期优先实时调度算法研究[博士学位论文].武汉:华中科技大学,2009.
[12] 马炳周.考虑缓存替换影响的最坏响应时间分析研究[博士学位论文].长沙:湖南大学,2013.

陆寅(1975－),男,博士,讲师,CCF 专业会 习乐琪(1996－),男,硕士,主要研究领域为
员,主要研究领域为嵌入式系统架构,嵌入 嵌入式系统资源调度,嵌入式可信属性
式系统可靠性工程. 分析.

秦树东(1995－),男,硕士,CCF 学生会员, 董云卫(1968－),男,博士,教授,博士生导
主要研究领域为嵌入式系统分功能属性 师,CCF 杰出会员,主要研究领域为嵌入式
分析,嵌入式系统可靠性工程. 软件设计与验证,信息物理融合,系统建模
与分析.