收藏本站
《Proceedings of the 2010 IEEE International Conference on Progress in Informatics and Computing》2010年
收藏 | 手机打开
二维码
手机客户端打开本文

Formal Semantics and Verification of AADL Modes in Timed Abstract State Machine

Jean-Paul Bodeveix  
【摘要】:正AADL(Architectural Analysis Design Language) is an architecture description language standard for embedded real-time systems,and it is widely used in aerospace and other safety-critical applications.However,the AADL standard lacks at present a formal semantics.This paper proposes a formal semantics and a verification framework of AADL models with regard to mode change.The precise semantics of AADL mode change protocol is defined by a translation into the TASM (Timed Abstract State Machine) formalism.Then the translational semantics is automated in the AADL2TASM tool, which provides model checking and simulation for AADL models.Finally,the approach is validated with a case study of an automotive cruise control system.

手机知网App
【相似文献】
中国期刊全文数据库 前10条
1 樊波红;;如何在Deltav系统中获得系统时间[J];计量与测试技术;2009年09期
2 Hartley H. King ,宋云露 ,袁显兴;弹道导弹再入散布[J];系统工程与电子技术;1981年06期
3 ;网页转换过度效果的实现技巧[J];电脑知识与技术;2002年11期
4 王亚林;如何增强PowerPoint的功能[J];中小学信息技术教育;2004年06期
5 李焕勤,张金光;Premiere5.1中连续卷页效果的实现[J];电视字幕.特技与动画;2000年06期
6 KING;定制网页过渡功能[J];电脑知识与技术;2003年13期
7 申强;Xtras插件在Authorware中的应用[J];南京晓庄学院学报;2002年04期
8 ;物理[J];吉林大学学报(理学版);1988年03期
9 ;贝哥问答[J];电脑知识与技术;2003年28期
10 吴大焱;神奇的影像特技软件——HOLLYWOOD FX 3.0[J];电视字幕.特技与动画;1998年04期
中国重要会议论文全文数据库 前10条
1 Jean-Paul Bodeveix;;Formal Semantics and Verification of AADL Modes in Timed Abstract State Machine[A];Proceedings of the 2010 IEEE International Conference on Progress in Informatics and Computing[C];2010年
2 Corey Hryc;Wah Chiu;;Structural transition of small heat shock protein AgsA revealed a novel molecular chaperonin mechanism[A];第十七届国际生物物理大会;第十二届中国生物物理大会论文集[C];2011年
3 ;The State Key Laboratory of Laser Interaction with Matter[A];第一届激光与物质相互作用国际会议论文集[C];2010年
4 ;Maximizing the Reliability of Two-state Automaton for Burst Feature Detection in News Streams[A];Proceedings of the 2010 IEEE International Conference on Progress in Informatics and Computing[C];2010年
5 ;Effects of single irrigation on yield and WUE of Siberian wildrye grass in agro-pastoral transition zone of China[A];Proceedings of the XXI International Grassland Congress and the VIII International Rangeland Congress(volumeⅠ)[C];2008年
6 ;Magnetic Lanthanide-Transition-Metal Organic-Inorganic Hybrid Materials:from Discrete Clusters to Extended Frameworks[A];11th Conference on Solid State Chemistry and Inorganic Synthesis Joint with 2th Dalton Transactions International Symposium Abstract Book[C];2011年
7 ;A New 2D Indium Iodate With d~0 -transition metal cations[A];11th Conference on Solid State Chemistry and Inorganic Synthesis Joint with 2th Dalton Transactions International Symposium Abstract Book[C];2011年
8 ;Assembly of Supertetrahedral T4 Clusters by Transition Metal Complexes as Linkages[A];11th Conference on Solid State Chemistry and Inorganic Synthesis Joint with 2th Dalton Transactions International Symposium Abstract Book[C];2011年
9 Simon A.T.Redfern;;High-temperature anelastic behavior of silicathrough the α-β phase transition[A];中国矿物岩石地球化学学会第13届学术年会论文集[C];2011年
10 Jose E.Herrera;Ja Hun Kwak;Charles H.F.Peden;;Preparation and characterization of nanodis-persed early transition metal oxide catalysts[A];第五届中美化学工程学术会议论文集[C];2009年
中国重要报纸全文数据库 前10条
1 武金刚;给你的课件插上3D翅膀[N];电脑报;2003年
2 骆军;我也做编导[N];中国电脑教育报;2004年
3 上海 徐起;巧做动感景中景效果[N];电脑报;2004年
4 头重脚轻 冯小民;找工作也要“包装”[N];电脑报;2002年
5 黑龙江 孟秋君;快速打造个性电子相册[N];电脑报;2003年
6 ;渠道交叉点[N];网络世界;2001年
7 ;网络帮你事半功倍[N];国际商报;2000年
8 保罗·刘易斯;中东欧的民主“外国制造”[N];社会科学报;2005年
9 李晓慧 杨鸿;Error and fraud[N];中国财经报;2002年
10 闫凡蕾;用Authorware 制作汉字笔顺动画[N];电脑报;2003年
中国博士学位论文全文数据库 前10条
1 周陆扬;[D];中国海洋大学;2009年
2 尤瑟夫;Fe,Co,Ni金属在高压下的铁磁性和B掺杂的ZnO磁性的第一原理研究[D];吉林大学;2010年
3 高建召;基于序列的蛋白质折叠速率与膜蛋白功能分类研究[D];南开大学;2010年
4 Muhammad Usman;[D];华中科技大学;2010年
5 黄怀湘;重整化平均场理论研究强关联系统[D];浙江大学;2005年
6 朱国强;量子纠缠及其在强关联系统中的应用[D];浙江大学;2005年
7 张春芝;金属液体强—脆转变特性研究[D];山东大学;2011年
8 刘改云;自动制造系统的Petri网结构分析和控制器设计[D];西安电子科技大学;2011年
9 何超栋;CCS的基本问题研究[D];上海交通大学;2011年
10 尹光明;肝素酶、b-FGF及uPA在膀胱癌中的表达及意义[D];中南大学;2003年
中国硕士学位论文全文数据库 前10条
1 FENDY;[D];华东理工大学;2011年
2 张勤;使用TLA对一个工业级安全协议的建模实现[D];哈尔滨工业大学;2011年
3 籍九洲;基于JBPM的业务流程管理开发与应用[D];北京交通大学;2010年
4 侯卫霞;运用问题解决理论解释语言理解的过程[D];山西大学;2010年
5 苏曼;基于Petri网的数字家庭无线抄表建模与分析[D];华东理工大学;2011年
6 王霖;太阳爆发的射电和极紫外波段联合分析[D];中国科学院研究生院(云南天文台);2004年
7 金甫炫;中国国有商业银行的竞争分析[D];复旦大学;2010年
8 李婷婷;企业应急预案工作流系统的研究与实现[D];华南理工大学;2010年
9 林红昌;基于UML的软件系统的功能性验证和非功能性度量[D];浙江理工大学;2010年
10 阿莱雅(Araya Kebede Araya);东亚发展型国家模式在非洲的复制:博茨瓦纳和埃塞俄比亚[D];吉林大学;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026