Performing Safety Analyses with AADL and AltaRica
Performing Safety Analyses with AADL and AltaRica
复制标题
DOI：
10.1007/978-3-319-64119-5_5
复制
发表时间：
2017-09
期刊：
影响因子：
--
通讯作者：
Julien Brunel;P. Feiler;J. Hugues;B. Lewis;T. Prosvirnova;C. Seguin;L. Wrage
中科院分区：
文献类型：
--
作者：
Julien Brunel;P. Feiler;J. Hugues;B. Lewis;T. Prosvirnova;C. Seguin;L. Wrage
AADL和AltaRica语言可用于支持系统架构的安全评估。这些语言被定义为不同的关注点，本文的目的是介绍他们的原则，以及如何将它们联系起来。提出了一种从AADL到AltaRica的翻译器，并将其原型应用于某无人机简化飞控系统。由此产生的AltaRica模型进行了分析与AltaRica的安全工具和实验结果进行了讨论。
AADL and AltaRica languages can be used to support the safety assessments of system architectures. These languages were defined with different concerns and this paper aims at presenting their principles and how they can be related. A translator from AADL to AltaRica is proposed and its prototype is applied to a simplified flight control system of a UAV. The resulting AltaRica model has been analyzed with the AltaRica safety tools and the experimental results are discussed.