【摘 要】
:
为了实现AADL(体系结构分析与设计语言)行为模型的分析验证,基于行为附件的文法结构以及行为描述方式,提出了AADL行为模型与UPPAAL下时间自动机模型之间的模型转换规则。在转换
【基金项目】
:
国家自然科学基金重大研究计划项目(90818024)资助
论文部分内容阅读
为了实现AADL(体系结构分析与设计语言)行为模型的分析验证,基于行为附件的文法结构以及行为描述方式,提出了AADL行为模型与UPPAAL下时间自动机模型之间的模型转换规则。在转换规则的基础上,设计和实现了自动转换的原型工具。最后以航天器控制系统中制导、导航与控制计算机从陀螺取数的AADL模型为例,经自动转换得到时间自动机模型,并在UPPAAL下仿真、验证其行为正确性,同时证明了模型转换的有效性。
其他文献
胰腺内分泌肿瘤是相对少见的一类胰腺肿瘤。本文系统阐述了胰腺内分泌肿瘤的病理组织学发生、影像学检查方法以及常见的功能性胰腺内分泌肿瘤和无功能性胰腺内分泌肿瘤的临床
目的探讨应用LARS人工韧带重建治疗前交叉韧带损伤的临床疗效及可行性。方法前交叉韧带损伤患者11例,应用LARS人工韧带在关节镜下重建前交叉韧带。结果术后随访7~18个月,平均
目的 探讨胫骨平台骨折内固定治疗的临床效果。方法 回顾性总结用单侧钢板、双侧钢板及单纯螺钉、克氏针对不同类型的胫骨平台骨折作内固定疗效。同时分析伤后手术时机、术
随着汽车的普及,更多的人知道了双闪、雾灯等汽车灯光,但是人们对汽车灯光效果有没有正确的认识以及在日常的行车中能不能正确的使用汽车灯光有待于调查研究。据统计雨天交通
马克思哲学的目的不仅仅是要认识世界,更是要改变世界。以感性活动为基础的"感性世界",不是建立在认识论基础之上的,它是人的实践活动的产物,是不断变化和生成的。通过"感性世界
在中国社会全面转型的历史时期,饱受利益和价值多元化的干扰,导致价值取向的混乱。中国传统人文精神称道于世界,把人文关怀渗透在社会生活的各个方面和每个人的行为之中,以提
专业建设是人才培养的基础。坚持服务地方,优化学科专业结构,建立适应和促进地方经济发展的学科专业体系,是地方高校教育改革的方向。近年来,广西普通高校的本科专业建设虽然
<正>《核岛电气设备的设计和建造规则》(RCC-E),由法国核岛设备设计建造规则协会出版,适用于电气设备及软件。这些设备及软件发生故障,都可能影响人员的安全或核电厂的安全。
多向锻造技术能强烈细化晶粒,大幅改善材料力学性能,是一种极具工业应用前景的大塑性变形工艺。综述了目前国内外多向锻造技术研究进展,阐述了多向锻造技术的原理和特点、材
目的:探讨DISASPECT在评价心肌梗死患者骨髓干细胞移植后心肌血流灌注和细胞代谢改变的价值。材料和方法:18例心肌梗死行骨髓干细胞移植治疗的患者在术前2周、术后3个月行DIS