文件名称:
AADL:嵌入式实时系统体系结构设计与分析语言综述
开发工具:
文件大小: 152kb
下载次数: 0
上传时间: 2021-02-24
详细说明：：结构分析和设计语言(architectureanalysisanddesignlanguage)是嵌入式实时系统的一种体系结构描述语言标准，广泛应用于航空宇航工业中对安全关键应用系统模型的建模。本文首先归纳了AADL的发展历程及其主要建模元素。其次，介绍了模型检测方法的研究和应用，并就航电系统与模型检测方法做了研究和分析。最后，探讨了AADL模型转化为形式化模型，并用模型检测方法进行验证和分析的方法和可行性。嵌入式实时系统AADL建模形式化方法模型验证嵌入式实时系统广泛应用于航空航天、汽车控制、机器人、等安全关键系统领域。由于计算精度、实时响应的要求的提高，系统变得越来越复杂，如何设计与实现
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
