航空航天科学与工程论文_安全关键系统多范式 - 传播力研究杂志社投稿

一、稿件要求： 1、稿件内容应该是与某一计算机类具体产品紧密相关的新闻评论、购买体验、性能详析等文章。要求稿件论点中立，论述详实，能够对读者的购买起到指导作用。文章体裁不限，字数不限。 2、稿件建议采用纯文本格式(*.txt)。如果是文本文件，请注明插图位置。插图应清晰可辨，可保存为*.jpg、*.gif格式。如使用word等编辑的文本，建议不要将图片直接嵌在word文件中，而将插图另存，并注明插图位置。 3、如果用电子邮件投稿，最好压缩后发送。 4、请使用中文的标点符号。例如句号为。而不是.。 5、来稿请注明作者署名(真实姓名、笔名)、详细地址、邮编、联系电话、E-mail地址等，以便联系。 6、我们保留对稿件的增删权。 7、我们对有一稿多投、剽窃或抄袭行为者，将保留追究由此引起的法律、经济责任的权利。二、投稿方式： 1、请使用电子邮件方式投递稿件。 2、编译的稿件，请注明出处并附带原文。 3、请按稿件内容投递到相关编辑信箱三、稿件著作权： 1、投稿人保证其向我方所投之作品是其本人或与他人合作创作之成果，或对所投作品拥有合法的著作权，无第三人对其作品提出可成立之权利主张。 2、投稿人保证向我方所投之稿件，尚未在任何媒体上发表。 3、投稿人保证其作品不含有违反宪法、法律及损害社会公共利益之内容。 4、投稿人向我方所投之作品不得同时向第三方投送，即不允许一稿多投。若投稿人有违反该款约定的行为，则我方有权不向投稿人支付报酬。但我方在收到投稿人所投作品10日内未作出采用通知的除外。 5、投稿人授予我方享有作品专有使用权的方式包括但不限于：通过网络向公众传播、复制、摘编、表演、播放、展览、发行、摄制电影、电视、录像制品、录制录音制品、制作数字化制品、改编、翻译、注释、编辑，以及出版、许可其他媒体、网站及单位转载、摘编、播放、录制、翻译、注释、编辑、改编、摄制。 6、投稿人委托我方声明，未经我方许可，任何网站、媒体、组织不得转载、摘编其作品。

航空航天科学与工程论文_安全关键系统多范式

作者:

关键词:

摘要：

文章摘要:随着安全关键系统的规模和复杂性不断增长，单一建模语言无法完全覆盖该类异构系统的建模要求.近年来，多范式建模方法逐渐成为表达复杂异构系统的有力手段，而安全性分析则是保证安全关键系统质量的重要步骤.本文提出一种面向安全关键系统的多范式建模及安全性分析方法.首先，使用SysML和AADL两种建模语言对安全关键系统进行多范式建模，SysML定义系统需求和逻辑架构，AADL则用于表达系统实现的物理架构、执行平台和应用软件运行时.其次，面向航空适航安全分析标准ARP4761的要求，对多范式模型进行安全性分析，即，为支持SysML系统定义层的安全性分析，提出安全性扩展附件SafetyProfile用于表达安全性信息，并将安全模型和SysML系统模型进行链接，自动生成功能危害评估报告和故障树;提出SysML系统模型和安全模型到AADL架构模型和错误附件模型的自动转换方法，并对AADL模型进行系统实现层的安全性分析.最后，设计实现了原型工具，并以航空领域的飞机空气增压系统(Airplane Air Compressor System)这一安全关键系统为案例，验证本文所提方法和工具的有效性.

文章关键词:安全关键系统,多范式建模,安全性分析,SysML,AADL,ARP4761,

项目基金:国家自然科学基金项目(62072233)资助,航空科学基金项目(201919052002)资助,中央高校基本科研业务费专项资金项目(NP2017205) 资助,《传播力研究》网址: http://www.cblyjzz.cn/qikandaodu/2021/0908/1699.html