一种基于AADL的IMA系统配置信息的正确性检测方法

TP311; 综合模块化航空电子系统(Integrated modular avionics,IMA)中的系统配置信息的正确性是保证IMA系统可靠运行的重要保障.配置信息的重配置给系统的更新和移植提供了方便,同时也给重配置后的系统带来了不安全因素.本文针对满足ARINC653规范的IMA系统重配置信息的正确性检测方法,展开了基于架构分析和设计语言(AADL)模型转换与分析的研究.给出了一系列从ARINC653系统配置信息到AADL模型元素的映射规则,包括模块、分区、进程、健康监控、通信等核心概念,并设计了一个模型转换的方法,然后采用一个第三方的工具对所得到的AADL模型展开配置信息正确性的语义...

Full description

Saved in:
Bibliographic Details
Published in南京航空航天大学学报 Vol. 46; no. 6; pp. 920 - 930
Main Authors 胡军, 马金晶, 袁翔, 刘雪
Format Journal Article
LanguageChinese
Published 南京航空航天大学计算机科学与技术学院,南京,210016 2014
南京大学计算机软件新技术国家重点实验室,南京,210093%南京航空航天大学计算机科学与技术学院,南京,210016
Subjects
OSATE
integrated modular avionics
AADL
综合模块化航电系统
REAL
软件可靠性测试
software reliability testing
ARINC653 configuration information
ARINC653配置信息
Online AccessGet full text
ISSN1005-2615

Cover

Abstract TP311; 综合模块化航空电子系统(Integrated modular avionics,IMA)中的系统配置信息的正确性是保证IMA系统可靠运行的重要保障.配置信息的重配置给系统的更新和移植提供了方便,同时也给重配置后的系统带来了不安全因素.本文针对满足ARINC653规范的IMA系统重配置信息的正确性检测方法,展开了基于架构分析和设计语言(AADL)模型转换与分析的研究.给出了一系列从ARINC653系统配置信息到AADL模型元素的映射规则,包括模块、分区、进程、健康监控、通信等核心概念,并设计了一个模型转换的方法,然后采用一个第三方的工具对所得到的AADL模型展开配置信息正确性的语义验证.最后本文还给出了一个实例分析.
AbstractList TP311; 综合模块化航空电子系统(Integrated modular avionics,IMA)中的系统配置信息的正确性是保证IMA系统可靠运行的重要保障.配置信息的重配置给系统的更新和移植提供了方便,同时也给重配置后的系统带来了不安全因素.本文针对满足ARINC653规范的IMA系统重配置信息的正确性检测方法,展开了基于架构分析和设计语言(AADL)模型转换与分析的研究.给出了一系列从ARINC653系统配置信息到AADL模型元素的映射规则,包括模块、分区、进程、健康监控、通信等核心概念,并设计了一个模型转换的方法,然后采用一个第三方的工具对所得到的AADL模型展开配置信息正确性的语义验证.最后本文还给出了一个实例分析.
Author 刘雪
袁翔
马金晶
胡军
AuthorAffiliation 南京航空航天大学计算机科学与技术学院,南京,210016;南京大学计算机软件新技术国家重点实验室,南京,210093%南京航空航天大学计算机科学与技术学院,南京,210016
AuthorAffiliation_xml – name: 南京航空航天大学计算机科学与技术学院,南京,210016;南京大学计算机软件新技术国家重点实验室,南京,210093%南京航空航天大学计算机科学与技术学院,南京,210016
Author_FL Yuan Xiang
Hu Jun
Liu Xue
Ma Jinjing
Author_FL_xml – sequence: 1
  fullname: Hu Jun
– sequence: 2
  fullname: Ma Jinjing
– sequence: 3
  fullname: Yuan Xiang
– sequence: 4
  fullname: Liu Xue
Author_xml – sequence: 1
  fullname: 胡军
– sequence: 2
  fullname: 马金晶
– sequence: 3
  fullname: 袁翔
– sequence: 4
  fullname: 刘雪
BookMark eNrjYmDJy89LZWHgNDQwMNU1MjM05WDgLS7OTDIwMDQ0sjQyMORkcHiyo-H58t6n83c92dXn6Oji83xWi6ev4_PNu5_vnv-ytff53nVP9i981rgeKP5s7eLnC9c9a1j-bHHDs63dz6btfLZ5Kg8Da1piTnEqL5TmZghxcw1x9tD18Xf3dHb00U02tTTTNUs0sjBKM0tKNTM3S7FINk1MNTQySjIztTBNSk6xTE5LsTBMSTE0Nk8yAKoyMzJNMjFMMjFJM0k2TLK0MDG1NOZmUIcYW56Yl5aYlx6flV9alAe0MD4vKyM7owToGRMDMwNDM2MANhxa2Q
ClassificationCodes TP311
ContentType Journal Article
Copyright Copyright © Wanfang Data Co. Ltd. All Rights Reserved.
Copyright_xml – notice: Copyright © Wanfang Data Co. Ltd. All Rights Reserved.
DBID 2B.
4A8
92I
93N
PSX
TCJ
DatabaseName Wanfang Data Journals - Hong Kong
WANFANG Data Centre
Wanfang Data Journals
万方数据期刊 - 香港版
China Online Journals (COJ)
China Online Journals (COJ)
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
DocumentTitle_FL Correctness Verification for Integrated Modular Avionics System Configuration Based on AADL Model
EndPage 930
ExternalDocumentID njhkht201406016
GrantInformation_xml – fundername: 国家重点基础研究发展计划(“九七三”计划); 回国留学人员科研启动基金; 611航空科研基金; 南京航空航天大学青年科技创新基金
  funderid: (2014CB744904); (2012); (2012); (NS2014098)
GroupedDBID -03
2B.
4A8
92H
92I
93N
ABJNI
ACGFS
ALMA_UNASSIGNED_HOLDINGS
CCEZO
CEKLB
CW9
GROUPED_DOAJ
PSX
TCJ
TGT
TN5
U1G
U5M
ID FETCH-LOGICAL-c596-6a282f6be676d8c5ae122b6585bcd9cfd81dd137b02f6625b41b44f4c1b984593
ISSN 1005-2615
IngestDate Thu May 29 04:00:29 EDT 2025
IsPeerReviewed false
IsScholarly true
Issue 6
Keywords OSATE
integrated modular avionics
AADL
综合模块化航电系统
REAL
软件可靠性测试
software reliability testing
ARINC653 configuration information
ARINC653配置信息
Language Chinese
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-c596-6a282f6be676d8c5ae122b6585bcd9cfd81dd137b02f6625b41b44f4c1b984593
PageCount 11
ParticipantIDs wanfang_journals_njhkht201406016
PublicationCentury 2000
PublicationDate 2014
PublicationDateYYYYMMDD 2014-01-01
PublicationDate_xml – year: 2014
  text: 2014
PublicationDecade 2010
PublicationTitle 南京航空航天大学学报
PublicationTitle_FL Journal of Nanjing University of Aeronautics & Astronautics
PublicationYear 2014
Publisher 南京航空航天大学计算机科学与技术学院,南京,210016
南京大学计算机软件新技术国家重点实验室,南京,210093%南京航空航天大学计算机科学与技术学院,南京,210016
Publisher_xml – name: 南京大学计算机软件新技术国家重点实验室,南京,210093%南京航空航天大学计算机科学与技术学院,南京,210016
– name: 南京航空航天大学计算机科学与技术学院,南京,210016
SSID ssib001129201
ssib051370533
ssib009282312
ssib020892855
ssib023167634
ssj0040328
Score 1.9772068
Snippet TP311; 综合模块化航空电子系统(Integrated modular...
SourceID wanfang
SourceType Aggregation Database
StartPage 920
Title 一种基于AADL的IMA系统配置信息的正确性检测方法
URI https://d.wanfangdata.com.cn/periodical/njhkht201406016
Volume 46
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwrV07bxQxELZCaKBAPMVbKXC56NZrez0d3rs9BZSjIUjpotsXEUiHBJcm1SFBhUIHRZooSpGKUERIkAjxZ8Ke-BfM-Da3C4rEQzSrufHYns-zPo9fs4zdSlQBBvzCS0UhPJmKwEtaRd-TfhrIwMi873bwe_f1_EN5b0ktzZzYaJxaWh0mt9O1Y--V_ItVkYd2pVuyf2HZaaHIQBrti0-0MD7_yMY8ljwydFghDrkNuenwWHHo8si6JMtNbG1ngZIBf8i7PUt0FPAockRE0jFwo1xm5HS4jV3mLrc-jzW6mtx2pyUQx6JM4Kr0nbAmDbB6SgqcNppHWGBEBCANjhPwyYcuj3xh0hUrhbDS1bZ5jGAMt05JCw7GlKO4lcSsiNARqIluEKgJlqOO3iKXO3A4sCrUJapTgMqiKhE8YnNQAavUzcxWEHxqli4HWacoUgoMZYYItWuunfj1qun_Q2iooa1TBQlwbQ1tl91ZHvyG8OSliKvmmNgDhcmKUxkgsAhPtI9RUrQFBc3SjRGLQsniNFg1hzSpG123OT6BaDVcHai2xH4OOD54vPJkZUjN5WL1oHuDTqyZZSdtp7fwoPa1ffrQWT04gKAd5amvLFoGOfWlZ0EhF3Qdi1D5Qdhyc42J2yQpsKM7mlDhcbfoBkV_8Kjh8C2eZWeqmdqcnXS7c2xmbeU8O92I33mB3Tn8NBrvrH_b3D_cf0MdbbzxErvYeO9gfLD5_dX6-Mvu4det8sUH5Jfvt8dbu-Vop9welR9fl-8-l3tvL7LFbrzYnveqT5J4qQLt6T6CLHSSI5TMpKqf-0Ik6MSrJM0gLTKc_WUIDOEWWguVSD-RspCpn4CRCoJLbHbwdJBfZnMhTVTCVgYyyGWmDRTayCQNWzJXWVYEV9hcBX-5-sd5vvyLZa7-XuQaO0X0ZM3wOpsdPlvNb6AXPUxuVvb8AbTEkdQ
linkProvider EBSCOhost
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=%E4%B8%80%E7%A7%8D%E5%9F%BA%E4%BA%8EAADL%E7%9A%84IMA%E7%B3%BB%E7%BB%9F%E9%85%8D%E7%BD%AE%E4%BF%A1%E6%81%AF%E7%9A%84%E6%AD%A3%E7%A1%AE%E6%80%A7%E6%A3%80%E6%B5%8B%E6%96%B9%E6%B3%95&rft.jtitle=%E5%8D%97%E4%BA%AC%E8%88%AA%E7%A9%BA%E8%88%AA%E5%A4%A9%E5%A4%A7%E5%AD%A6%E5%AD%A6%E6%8A%A5&rft.au=%E8%83%A1%E5%86%9B&rft.au=%E9%A9%AC%E9%87%91%E6%99%B6&rft.au=%E8%A2%81%E7%BF%94&rft.au=%E5%88%98%E9%9B%AA&rft.date=2014&rft.pub=%E5%8D%97%E4%BA%AC%E8%88%AA%E7%A9%BA%E8%88%AA%E5%A4%A9%E5%A4%A7%E5%AD%A6%E8%AE%A1%E7%AE%97%E6%9C%BA%E7%A7%91%E5%AD%A6%E4%B8%8E%E6%8A%80%E6%9C%AF%E5%AD%A6%E9%99%A2%2C%E5%8D%97%E4%BA%AC%2C210016&rft.issn=1005-2615&rft.volume=46&rft.issue=6&rft.spage=920&rft.epage=930&rft.externalDocID=njhkht201406016
thumbnail_s http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=http%3A%2F%2Fwww.wanfangdata.com.cn%2Fimages%2FPeriodicalImages%2Fnjhkht%2Fnjhkht.jpg