面向适航认证的模型驱动机载软件构件的安全性验证-中国学术期刊网络出版总库

中国学术期刊网络出版总库

面向适航认证的模型驱动机载软件构件的安全性验证

推荐 CAJ下载

【英文篇名】	Model-driven Safety Dependence Verification for Component-based Airborne Software Supporting Airworthiness Certification
【下载频次】	★★★★★
【作者】	徐丙凤; 黄志球; 胡军; 于笑丰;
【英文作者】	XU Bingfeng1; HUANG Zhiqiu1; HU Jun1; 3; YU Xiaofeng2; 3 1.College of Computer Science and Technology; Nanjing University of Aeronautics and Astronautics; Nanjing 210016; China 2.School of Business; Nanjing University; Nanjing 210093; China 3.State Key Laboratory for Novel Software Technology; China;
【作者单位】	南京航空航天大学计算机科学与技术学院; 南京大学计算机软件新技术国家重点实验室; 南京大学商学院;
【文献出处】	航空学报 , Acta Aeronautica et Astronautica Sinica, 编辑部邮箱 2012年 05期期刊荣誉：中文核心期刊要目总览 ASPT来源刊 CJFD收录刊
【中文关键词】	适航认证; 安全性验证; 机载软件; 模型驱动; 形式化方法; SysML;
【英文关键词】	airworthiness certification; safety verification; airborne software; model-driven; formal method; SysML;
【摘要】	在软件开发的过程中为适航认证提供证据,已成为机载软件开发的研究热点。现代复杂机载软件多为构件化分布式架构,如何有效验证构件之间安全性依赖关系与适航认证标准当中规定目标的一致性,是机载软件设计阶段的一个重要问题。首先,使用系统建模语言(SysML)块图建立带有安全性特征的系统静态结构模型,将其转换为块依赖图以便进行精确的形式化描述。在此基础上给出形式验证方法,检验系统静态结构模型中的安全性依赖关系与适航认证标准中所规定目标之间是否一致。最后,通过一个飞机导航系统的例子说明如何将该方法应用于机载软件开发的过程中。利用这种方法对系统静态结构模型的安全性依赖关系进行验证,能够提高系统整体的安全性,并为适航认证提供证据。
【英文摘要】	Current research of airborne software focuses on providing airworthiness certification evidence in software develop-ment process.As modern complex airborne software architecture is component-based and distributed,this paper considers the issue of checking the safety dependence relationship of software components against objectives that the airworthiness certification standard stipulates,which is one of the key problems of airborne software development in the design phase.Firstly,the static structure of a sy...
【基金】	江苏省研究生培养创新工程(CXZZ11_0218); 国家自然科学基金(61100034,61170043); 江苏省博士后科研资助计划项目(1101092C); 中国博士后科学基金(20110491411); 南京航空航天大学科技创新基金(NS2010095)~~
【更新日期】	2012-05-31
【分类号】	TP311.52
【正文快照】	随着计算机系统在航空航天领域的广泛应用,现代飞机几乎所有重要的功能系统都和计算机软件相关。但是由于软件的质量和可靠性水平远低于硬件,对机载系统的使用安全和保障产生了很大的负面影响。近年来由于软件故障引起的事故屡见不鲜,例如:2007年前往日本的F-22型“猛禽”隐形?

xxx

【读者推荐文章】

中国期刊全文数据库中国重要报纸全文数据库中国博士学位论文全文数据库中国优秀硕士学位论文全文数据库中国重要会议论文全文数据库

【相似文献】

中国期刊全文数据库

中国优秀硕士学位论文全文数据库

中国博士学位论文全文数据库

中国重要会议论文全文数据库

中国重要报纸全文数据库

中国学术期刊网络出版总库

点击下列相关研究机构和相关文献作者，可以直接查到这些机构和作者被《中国知识资源总库》收录的其它文献，使您全面了解该机构和该作者的研究动态和历史。

【文献分类导航】从导航的最底层可以看到与本文研究领域相同的文献，从上层导航可以浏览更多相关领域的文献。

工业技术
　

自动化技术、计算机技术
　　

计算技术、计算机技术
　　　

计算机软件
　　　　

程序设计、软件工程
　　　　　

软件工程
　　　　　　


	CNKI系列数据库编辑出版及版权所有：中国学术期刊(光盘版)电子杂志社中国知网技术服务及网站系统软件版权所有：清华同方知网(北京)技术有限公司其它数据库版权所有：各数据库编辑出版单位（见各库版权信息）京ICP证040431号互联网出版许可证新出网证（京）字008号

文献分类导航