×

兹马思-数学第一资源

促进事务级系统程序容错设计。(英语) 兹布1294.68044
摘要:由于其日益复杂,当今的片上系统(system-on-chip,system-on-chip,system-on-chip)系统面临着各种各样的故障(例如,单事件干扰、组件崩溃等),因此容错是此类系统的一个非常重要的特性。然而,由于SoC系统的大规模集成以及现代系统设计语言(如SystemC)提供的抽象层次不同,容错设计是一项复杂的任务。大多数现有的方法使故障注入和影响分析成为提高设计可靠性的手段。然而,这些方法对容错设计的支持很少。为了方便SoC系统的容错设计,提出了一种在SystemC事务级建模(TLM)程序中设计容错组件间通信协议的方法。该方法包括四个主要步骤,即模型提取、故障建模、添加容错和对SystemC代码进行容错细化。我们使用一个简单的SystemC事务级程序来演示所提出的方法,该程序会受到通信故障的影响。此外,我们还说明了如何将容错添加到使用TLM互操作层的基本协议的SystemC程序中。我们还将说明如何将容错功能划分为软件和硬件组件。最后,提出了容错与软硬件协同设计交叉点的未来研究方向。
理学硕士:
68米15 网络和计算机系统的可靠性、测试和容错
68米14 分布式系统
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] 托马斯,D。E、 。;拉格内塞,E。D、 。;内斯特,J。A、 。;拉詹,J。五、 。;布莱克本,R。五十、 。;沃克,R。A、 ,算法和寄存器传输级综合:系统架构师的工作台,(1989),Kluwer学术出版社,美国马萨诸塞州诺威尔·Zbl 0900.68088
[2] Y、 是的。陈,C.-H。徐国利。Leu,在系统设计中使用FMEA方法进行SoC级风险评估,载:工业嵌入式系统国际研讨会,2009年,第82-89页。
[3] 开放系统C计划(OSCI):定义和推进系统C标准IEEE 1666-2005。http://www.systemc.org/。
[4] 事务级建模(TLM)2.0参考手册。http://www.systemc.org/downloads/standards/。
[5] A。鳍,F。福米,M。马尔蒂纳诺,M。Signoretto,SystemC:测试嵌入式系统的同质环境,载:第九届软硬件协同设计国际研讨会论文集,2001年,第17-22页。
[6] 哈里斯,我。G、 《软硬件协同验证的故障模型和测试生成》,IEEE计算机设计与测试,20,4,40-47,(2003)
[7] 美国。昆都,M。加奈,R。Gupta,SystemC TLM设计可伸缩性测试的部分降阶,载:第45届设计自动化年会论文集,设计自动化会议,2008年,第936-941页。
[8] A。森,并发系统设计的变异算子,in:微处理器测试与验证国际研讨会,2000年。
[9] 布兰克,N。;Kroneing,D.,使用模型检查的systemc的竞争分析,电子系统设计自动化的ACM交易,15,3,21:1-21:32,(2010)
[10] K。马奎特,M。Moy,PinaVM:基于可执行中间表示的SystemC前端,in:国际嵌入式软件会议(EMSOFT),2010年,第79-88页。
[11] 美国。米塞拉,H.T.维埃豪斯,A。Sieber,故障注入技术及其在SystemC中的加速模拟,载:第10届欧洲微型会议数字系统设计架构、方法和工具会议论文集,2007年,第587-595页。
[12] R、 A.沙菲克,P。Rosinger,B.M.Al-Hashimi,基于SystemC的最小侵入性故障注入技术与改进的故障表示,载:2008年第14届IEEE国际在线测试研讨会论文集,2008年,第99-104页。
[13] A。da Silva Farina,S.S.Prieto,关于在事务级模型中使用动态二进制仪器执行故障注入,载:2009年第四届计算机系统可靠性国际会议论文集,2009年,第237-244页。
[14] J。佩雷斯,M。阿兹空手道阿斯卡苏亚。Perez,使用SystemC对安全关键嵌入式系统进行协同设计和模拟故障注入,载:2010年欧洲可靠计算会议论文集,2010年,第221-229页。
[15] B。乔瓦尼,C。博奇尼,A。Miele,《事务级规范的多级故障建模》,载:第19届ACM大湖区VLSI研讨会论文集,2009年,第87-92页。
[16] 自旋语言参考
[17] 霍尔兹曼,G。J、 ,模型检查器自旋,IEEE软件工程学报,23,5,279-295,(1997)
[18] C。特劳森,J。科内特,M。莫伊,F。Maraninchi,Promela中的SystemC/TLM语义及其可能的应用,载:SPIN Workshop,2007,第204-222页。
[19] K。马奎特,B。珍妮特,M。Moy,《Promela系统C/TLM的高效编码》,技术代表TR-2010-7,法国Verimag(2010年)。
[20] D。坎帕纳,A。西马蒂,I。Narasamdya,M。Roveri,Promela中systemc编码的分析评估,in:国际SPIN模型检查软件研讨会(SPIN),2011年,第90-107页。
[21] 库尔卡尼S。S、 。;Arora,A.,自动添加容错功能,(实时和容错系统中的正式技术,(2000年),Springer Verlag London,UK),82-93·Zbl 0986.68584
[22] A。Ebnenasir,容错自动综合,博士。论文,密歇根州立大学,2005年·Zbl 1134.68348
[23] 埃布内纳斯,A。;库尔卡尼S。S、 。;Arora,A.,Ftsyn:自动综合容错的框架,技术转移软件工具国际期刊,10,5,455-471,(2008)
[24] B。尼曼,C。Haubelt,用通信统计机器形式化TLM,载:规范与设计语言论坛论文集2006,FDL 2006,2006,第285-292页。
[25] tlm-2.0入门
[26] 埃布内纳斯,A。;库尔卡尼S。S、 《多语言程序逐步设计的可行性》,《软件工程与方法论学术论文集》,21,1,1:1-1:49,(2011)
[27] 帕特尔,H。D、 。;克拉舒。K、 ,系统设计的模型驱动验证,异构嵌入式系统的基于C的设计2008,EURASIP嵌入式系统期刊,4:1-4:14,(2008)
[28] D。克洛宁,N。Sharygina,通过自动硬件/软件划分对systemc的形式化验证,载:ACM和IEEE国际协同设计方法和模型会议(MEMOCODE),2005年,第101-110页。
[29] M。莫伊,F。马拉尼奇,L。Maillet Contoz,Lussy:事务级片上系统分析的工具箱,载:系统设计中并发应用国际会议(ACSD),2005年,第26-35页。
[30] C。Lattner,V.S.Adve,LLVM:终身程序分析与转换的编译框架,载:IEEE/ACM国际代码生成与优化研讨会(CGO),2004年,第75-88页。
[31] A。西马蒂,A。格里吉奥,A。米其莉,我。Narasamdya,M。KRATOS Roveri:A software model checker for SystemC,in:第23届计算机辅助验证国际会议论文集,2011年,第310-316页。
[32] A。Ebnenasir,UPC-SPIN:UPC程序模型检查框架,载:第五届分区全球地址空间会议(PGAS),2011年。
[33] B。Bonakdarpour,S.S.Kulkarni,利用符号技术自动合成分布式程序,载:EEE国际分布式计算系统会议(ICDCS),2007年,第3-10页。
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。