【摘 要】
：
在嵌入式软件开发早期,为其建立可靠性模型能够尽早发现软件设计中存在的问题,从而节约嵌入式软件开发成本。AADL从软件结构和故障传播两个角度来建立软件可靠性模型,但是AAD
【机 构】
：
南京航空航天大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金面上项目(61572253);航空基金XXX专项(2016ZC52030);“十三五”装备预研领域基金(61402420101HK02001)资助
论文部分内容阅读
在嵌入式软件开发早期,为其建立可靠性模型能够尽早发现软件设计中存在的问题,从而节约嵌入式软件开发成本。AADL从软件结构和故障传播两个角度来建立软件可靠性模型,但是AADL的半形式化性质使得基于AADL建立的可靠性模型难以对可靠性、安全性等非功能属性进行严格的分析与验证。形式规格说明语言Z语言具有很强的逻辑描述能力,能够精确表达软件中的各种约束,这使得基于Z语言建立的可靠性模型能够很好地进行严格的分析和验证。因此,考虑到AADL和Z的特征,文中提出了一种将AADL与Z相结合的形式化可靠性模型(embedd
其他文献
<正>国会议员嫖娼被抓,联邦调查局局长胡佛总会安慰:“小事一桩。你放心,这些材料只会放在我的保险柜里,别人谁也看不到。”11月8日,联邦调查局(FBI)局长科米在调查结束后向
目的分析坦索罗辛联合罗红霉素治疗Ⅲ型前列腺炎的效果及对前列腺液中血管细胞黏附分子-1(VCAM-1)、巨噬细胞炎性蛋白-1α(MIP-1α)、基质金属蛋白酶-9(MMP-9)的影响。方法将
目的了解北京市部分社区经皮冠状动脉介入治疗(PCI)术后患者生活质量,探讨其影响因素,为全科医生慢病管理提供理论依据并指导临床。方法采用分层方便整群抽样方法,选择2018
感染后咳嗽主要病位在肺,与肝、脾关系密切,久病可病及心、肾。这可能与脏腑间的五行生克乘侮关系及脏腑间的病理生理相互影响有关。本文从脏腑辨证对感染后咳嗽的病因病机与
【目的】紧跟中科院四类机构分类改革态势,促进中科院主办期刊更加及时地进行结构优化和布局调整,使其尽可能全面地覆盖四类机构改革中的重要前沿领域和新兴交叉学科增长点,
通过对列车在不同状态下运行时钧舌受力的简要分析,对钩舌裂纹形成因素的详细剖析,指出钩舌报废过多的原因,并提出减少钩舌裂纹发生的改进建议。
Based on the brief analys
<正>一、济南知识产权刑事审判模式的探索与实践2015年全年共受理知识产权刑事案件4件,涉及三种罪名,其中假冒注册商标案2件、销售假冒注册商标的商品案1件、侵犯著作权案1件
对高校教育课程进行分析,总结在线开放课程教学的价值性,认识到该种教学方法的必要性,发现高校在线课程教学中存在的限制性问题,核心目的是在教学方法整合以及教学体系创新中
目的观察以全反式维甲酸（ATRA）、亚砷酸（As2O3）联合蒽环类（ATC）抗生素为主的方案治疗初治急性早幼粒细胞白血病（APL）的疗效与不良反应。方法对初治APL患者以ATRA和As2O3双诱导,白细胞
针对近年来李家峡拱坝坝肩及坝基不同廊道渗水析出物较多、大坝廊道底板混凝土表层存在明显的腐蚀破坏现象和地下水硫酸盐侵蚀等问题,在现场探查的基础上,开展坝基混凝土局部