期刊在线咨询服务,发表咨询:400-888-9411 订阅咨询:400-888-1571股权代码(211862)
关键词:aadl z语言 可靠性 模型转换 xslt
摘要:AADL已经广泛应用于嵌入式软件体系结构的建模与分析,并且已有开源平台OSATE为AADL提供建模、验证与分析工具。但AADL作为一种半形式化建模语言,不能满足严格分析评估软件可靠性、安全性等非功能属性的要求。因此需要将AADL可靠性模型转换为形式化模型。Z语言是一种严格的形式化建模语言,在进行严格可靠性评估时具有很好的支持能力,并且已有工具提供Z模型的检测功能。为实现AADL可靠性模型到Z形式化模型的自动转换,文中设计了AADL到形式化语言Z的模型转换规则,并基于XSLT实现了AADL到Z的自动转换工具。最后通过一个自动驾驶子系统的实例,证明了所提出的自动转换方法的有效性,并且通过将AADL模型与转换结果进行对比,说明了转换方法的正确性。
计算机技术与发展杂志要求:
{1}参考文献著录格式请参照国家标准《文后参考文献著录规则》(GB7714-87)。
{2}鼓励首发,反对抄袭、剽窃等侵犯他人著作权的行为。由此给本刊造成不良后果的,本刊将追究责任。
{3}本刊稿件从发表之日起,如无电子版、网络版、有声版等方面特殊说明,即视作投稿者同意授权本刊电子版、网络版、有声版等的复制权、汇编权、发行权、翻译权、信息网络传播权及其转授权等专著权。
{4}中文题名一般不超过20个汉字,一般不使用副题名,中英文题名含义一致。
{5}投稿请填写真实有效的详细地址、邮政编码、联系电话及E-mail,以便联系。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社