[1] Yang Zhibin, Hu Kai, Ma Dianfu, et al. From AADL to timed abstract state machines: A verified model transformation[J]. Journal of Systems & Software, 2014,93(2):42-68.
[2] Franca R B, Bodeveix J P, Filali M, et al. The AADL behavior annex - experiments and roadmap[C]// Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems. 2007:377-382.
[3] Olveczky P C, Boronat A, Meseguer J. Formal semantics and analysis of behavioral AADL models in real-time maude[C]// Proceedings of the 12th IFIP WG 6.1 International Conference and 30th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Systems. 2010:47-62.
[4] 杨进,张小彬,严博,等. 基于进程代数的系统性能评价方法综述[J]. 软件导刊, 2015,14(2):25-27.
[5] 袁崇义. Petri网原理与应用[M]. 北京:电子工业出版社, 2005.
[6] 任洪敏,钱乐秋. 构件组装及其形式化推导研究[J]. 软件学报, 2003,14(6):1066-1074.
[7] Xu Ruzhi, Wu Quansheng, Gong Hongquan, et al. Research on component composition with formal semantics[C]// International Symposium on Intelligent Information Technology and Security Informatics. 2010:118-124.
[8] 杨志斌,胡凯,赵永望,等. 基于时间抽象状态机的AADL模型验证[J]. 软件学报, 2015,26(2):202-222.
[9] [英]费勒. 使用AADL的模型基工程:SAE体系结构分析和设计语言入门[M]. 北京:航空工业出版社, 2014.
[10]李振松,顾斌. 基于UPPAAL的AADL行为模型验证方法研究[J]. 计算机科学, 2012,39(2):159-161.
[11]陈永红. 基于DeltaOS的AADL行为附件模型到C转换及其应用[D]. 成都:西南交通大学, 2010.
[12]刘倩,桂盛霖,李允,等. 基于UPPAAL的AADL模型可调度性验证[J]. 计算机应用, 2009,29(7):1820-1824.
[13]蒋昌俊,郑应平,疏松桂. 并发系统建模与分析研究[J]. 高技术通讯, 1996(6):21-25.
[14]何超栋. CCS的基本问题研究[D]. 上海:上海交通大学, 2011.
[15]吴育春. 基于AADL的嵌入式软件形式化验证研究[D]. 西安:陕西师范大学, 2014.
[16]林闯,魏丫丫. 随机进程代数与随机Petri网[J]. 软件学报, 2002,13(2):203-213.
[17] 马川,王涛,申利民. 基于进程代数的并发行为检测模型[J]. 四川大学学报(工程科学版), 2014,46(1):35-40. |