[1]李 蜜,庄 毅.基于 XSLT 的可靠性模型的自动转换方法[J].计算机技术与发展,2019,29(12):21-26.[doi:10. 3969 / j. issn. 1673-629X. 2019. 12. 004]
　LI Mi,ZHUANG Yi.Automatic Transformation Method of Reliability Model Based on XSLT[J].,2019,29(12):21-26.[doi:10. 3969 / j. issn. 1673-629X. 2019. 12. 004]
点击复制

基于 XSLT 的可靠性模型的自动转换方法()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
29
期数:
2019年12期
页码:
21-26
栏目:
智能、算法、系统工程
出版日期:
2019-12-10

文章信息/Info

Title:
Automatic Transformation Method of Reliability Model Based on XSLT
文章编号:
1673-629X(2019)12-0021-06
作者:
李 蜜; 庄 毅
南京航空航天大学 计算机科学与技术学院,江苏 南京 211106
Author(s):
LI Mi; ZHUANG Yi
School of Information Science and Technology,Nanjing University of Aeronautics and Astronautics, Nanjing 211106,China
关键词:
AADL; Z 语言; 可靠性; 模型转换; XSLT
Keywords:
AADL; Z language; reliability; model transformation; XSLT
分类号:
TP301
DOI:
10. 3969 / j. issn. 1673-629X. 2019. 12. 004
摘要:
AADL 已经广泛应用于嵌入式软件体系结构的建模与分析,并且已有开源平台 OSATE 为 AADL 提供建模、验证与分析工具。 但 AADL 作为一种半形式化建模语言,不能满足严格分析评估软件可靠性、安全性等非功能属性的要求。 因此需要将 AADL 可靠性模型转换为形式化模型。 Z 语言是一种严格的形式化建模语言,在进行严格可靠性评估时具有很好的支持能力,并且已有工具提供 Z 模型的检测功能。 为实现 AADL 可靠性模型到 Z 形式化模型的自动转换,文中设计了AADL 到形式化语言 Z 的模型转换规则,并基于 XSLT 实现了 AADL 到 Z 的自动转换工具。 最后通过一个自动驾驶子系统的实例,证明了所提出的自动转换方法的有效性,并且通过将 AADL 模型与转换结果进行对比,说明了转换方法的正确性。
Abstract:
AADL has been widely used in the modeling and analysis of embedded software architectures,and the open source platform OSATE has provided modeling,verification and analysis tools for AADL. However,AADL,as a semi-formal modeling language,cannot meet the requirements of rigorous analysis and evaluation of non-functional attributes such as software reliability and security. Therefore, it is necessary to convert the AADL reliability model into a formal model. The Z language is a rigorous formal modeling language that has excellent support for rigorous reliability assessments and tools that provide Z-model detection capabilities. In order to realize the automatic conversion of AADL reliability model to Z formal model,we design the model conversion rules of AADL to formal language Z, and implement the automatic conversion tool of AADL to Z based on XSLT. Finally,an example of an automatic driving subsystem is used to prove the effectiveness of the proposed automatic conversion method. By comparing the AADL model with the conversion results,the correctness of the conversion method is illustrated.

相似文献/References:

[1]吴育春,李蜀瑜.基于时间Petri网的AADL模型[J].计算机技术与发展,2014,24(02):88.
　WU Yu-chun,LI Shu-yu.AADL Model Based on TPN[J].,2014,24(12):88.
[2]杨莉[][],李楠[],席隆[]. 基于AADL的嵌入式系统可靠性建模方法的探讨[J].计算机技术与发展,2015,25(08):234.
　YANG Li[][],LI Nan[],XI Long[]. Discussion on Reliability Modeling for Embedded System Based on AADL[J].,2015,25(12):234.
[3]曹雪岳,曹子宁,卜星晨.面向 CPS 的混成 AADL 建模与模型转换[J].计算机技术与发展,2019,29(10):35.[doi:10. 3969 / j. issn. 1673-629X. 2019. 10. 008]
　CAO Xue-yue,CAO Zi-ning,BU Xing-chen.Hybrid AADL Modeling and Model Transformation for Cyber Physical System[J].,2019,29(12):35.[doi:10. 3969 / j. issn. 1673-629X. 2019. 10. 008]
[4]卜星晨,曹子宁,胡名光.带有数据约束的信息物理融合系统的建模方法[J].计算机技术与发展,2020,30(10):79.[doi:10. 3969 / j. issn. 1673-629X. 2020. 10. 015]
　BU Xing-chen,CAO Zi-ning,HU Ming-guang.A Modeling Method of Cyber-physical System with Data Constraints[J].,2020,30(12):79.[doi:10. 3969 / j. issn. 1673-629X. 2020. 10. 015]
[5]刘歆宁*,康 玲.基于 AADL 模型航空安全软件可信性度量方法[J].计算机技术与发展,2023,33(08):81.[doi:10. 3969 / j. issn. 1673-629X. 2023. 08. 012]
　LIU Xin-ning*,KANG Ling.Trustworthiness Measurement Method of Aviation Software Based on AADL Model[J].,2023,33(12):81.[doi:10. 3969 / j. issn. 1673-629X. 2023. 08. 012]

更新日期/Last Update: 2019-12-10