首页> 外文OA文献 >From AADL Model to LNT Specification
【2h】

From AADL Model to LNT Specification

机译:从AADL模型到LNT规范

代理获取
本网站仅为用户提供外文OA文献查询和代理获取服务,本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文,但由于OA文献来源多样且变更频繁,仍可能出现获取不到、文献不完整或与标题不符等情况,如果获取不到我们将提供退款服务。请知悉。

摘要

The verification of distributed real-time systems designed by architectural languages such as AADL (Architecture Analysis and Design Language) is a research challenge. These systems are often used in safety- critical domains where one mistake can result in physical damages and even life loss. In such domains, formal methods are a suitable solution for rigorous analysis. This paper studies the formal verification of distributed real-time systems modelled with AADL. We transform AADL model to another specification formalism enabling the verification. We choose LNT language which is an input to CADP toolbox for formal analysis. Then, we illustrate our approach with the ”Flight Control System” case study.
机译:由诸如AADL(架构分析和设计语言)之类的建筑语言设计的分布式实时系统的验证是一项研究挑战。这些系统通常用于对安全要求严格的领域,其中一个错误可能导致人身伤害甚至生命损失。在此类领域,形式化方法是进行严格分析的合适解决方案。本文研究了使用AADL建模的分布式实时系统的形式验证。我们将AADL模型转换为支持验证的另一种规范形式。我们选择LNT语言,这是CADP工具箱的输入,用于形式分析。然后,我们通过“飞行控制系统”案例研究来说明我们的方法。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号