【摘 要】
：
DO-178C是对机载软件适航认证标准DO-178B的改进和补充,用于对民用飞机机载系统和设备软件质量控制提供指导。SCR(Software Cost Reduction)方法作为一种形式化方法,基于四变
【机 构】
：
南京航空航天大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金项目(61170043);国家重点基础研究发展计划(973)项目(2014CB744904);航空科学基金项目(20155552047)资助
论文部分内容阅读
DO-178C是对机载软件适航认证标准DO-178B的改进和补充,用于对民用飞机机载系统和设备软件质量控制提供指导。SCR(Software Cost Reduction)方法作为一种形式化方法,基于四变量模型,可以对复杂和大型的嵌入式系统进行需求描述。文中基于DO-178C,使用SCR方法对原飞机系统中的襟缝翼控制系统的需求文档进行形式化的需求描述,针对襟缝翼控制系统中的襟翼电机转速控制模块进行详细的案例分析,判断其是否满足DO-178C的相关验证指标。通过分析和验证,提出了SCR方法中的一些应用技巧。
其他文献
今年二月初，人力资源和社会保障部等五部委联合发文，暂停各类高校毕业生就业现场招聘活动，充分利用国家、地方、高校毕业生就业网开展就业服务，完善高校毕业生就业信息共享发布机
关于鼠疫在近代早期西欧消退的原因,学界观点纷呈,众说不一。从传染病流行规律看,鼠疫的消退与其滋生环境、传播途径被改变有很大关系,而这些非疾病本身所能为,只能是人类活
即使在现代艺术独占天下之时，巴尔杜斯仍有自己的一席之地，即使被现代艺术所包围，他仍然走出了一条属于自己的道路。巴尔杜斯在其艺术探索中重新明确了传统的价值，在对传统的传承
制造业的发展给社会提供了各种各样的产品,保证了人们日常工作和生活需要。而在制造业之中,机械装配是不可或缺的重要一环,装配工艺的水平直接影响着我国制造业的整体水平。
沉睡于地下３２０年的古泗州城，与意大利的庞贝城一样，同样遭受了地质灾害的侵袭，一个被洪水与泥沙掩埋，一个被火山灰堆盖，两者异曲同工。介绍了古泗州城地区的地质地貌背景，分析了淮河Ｕ形
使用双颗粒流化床反应装置，对松木生物质进行了连续催化反应，选用CoMo-B和硅砂这2种流化介质，调查了氦气、氢气以及甲烷不同反应气体分别在不同流化介质作用下以及混合气体中氢
针对风、光资源的分布特点,结合发电系统设备的运行状态,建立含风力、光伏、储能的发电系统可靠性数学模型。定义风光储冗余容量比和出力偏移度两个指标来衡量含风光储发电系
目前我国学校灾难教育令人堪忧，接二连三发生的校园安全事故让我们不得不思考：学校加强灾难教育，捍卫生命尊严，迫在眉睫。
急腹痛见于内外科多种疾病中, 具有病因复杂、病种多、起病急、变化快等特点. 临床诊治虽应按常规辨证施治, 但在痛甚标急的情况下须先治标, 以防发生休克等严重情况. 因此笔
在菲律宾和泰国,关于民主存在着两种截然不同的语境:一种是在国家精英层面上痛斥"买选票"式的选举腐败;一种则是在地方实践中,对政客的评价主要是基于其在多大程度上使选民社