体系结构分析与设计语言AADL基础

这是在研究AADL标准过程中，写的笔记，拿出来与大家共享，也请大家多提意见，多多交流。

2001.11,SAE提出航空标准AS5506,即AADL。支持对性能关键系统属性用可扩展的标记符、工具框架和精确定义的语义进行早期重复性的分析。

AADL可以用于建模和分析正在使用中的系统，可以设计和集成系统。AADL可以用于部分定义模块的分析，也可以用于从源码中提取出来的完整系统的分析。

AADL支持对性能关键系统质量（例如性能、可调度性和稳定性）的早期预测和分析。例如线程构件的属性中有周期性、非周期性、背景和分散事件的选项进行预声明，以此能够进行分析。

Verification & validation检验和确认：软件测试过程中的两个步骤，检验软件是否正确，确认是在检验正确的基础上，确认是否是我们想要的。

从用户角度来看，AADL可以有文本、图形、XML三种表示形式……

因为图片太多，不好插入，上传到doc88了，下面是地址链接：

http://www.doc88.com/p-90294798712.html

转载于:https://www.cnblogs.com/jpcflyer/archive/2011/12/26/2302595.html

体系结构分析与设计语言AADL基础相关推荐

HTML网页设计语言入门基础教学视频-赖国荣-专题视频课程
HTML网页设计语言入门基础教学视频-2858人已学习课程介绍本课程为软件相关专业网页设计入门基础课程,课程共18讲,上课代码及PPT课件已经上传,可以直接下载使用. 课程收益 ...
优酷暗黑模式（二）：如何建立设计语言标准化管理体系
伴随着行业的成熟与竞争加剧,中国互联网产品中心化.平台化的趋势越加明显.越来越多的公司对产品的设计体系与效率提出了更高的要求.为了更高效地服务多样的业务场景,快速应对未来市场竞争的变化,需要我们跳出设 ...
软件设计师：06-程序设计语言与语言处理程序基础
章节章节 01 - 计算机组成原理与体系结构 07 - 法律法规与标准化与多媒体基础 02 - 操作系统基本原理 08 - 设计模式 03 - 数据库系统 09 - 软件工程 04 - 计算机网络 ...
linux中断处理汇编入口,Linux中断处理体系结构分析（一）
中断也是一种异常,之所以把它单独的列出来,是因为中断的处理与具体的开发板密切相关,除一些必须.共用的中断(比如系统时钟中断.片内外设UART中断)外,必须由驱动开发者提供处理函数.内核提炼出中断处理的 ...
欧洲共同语言参考标准等级C1,全体系英语1级语言模块与欧洲共同语言参考标准CEFR...
原标题:全体系英语1级语言模块与欧洲共同语言参考标准CEFR 欧洲共同语言参考标准CEFR全称是CommonEuropean Framework of Reference for Languages, ...
课程设计计算机公共基础,基于混合教学模式计算机公共基础课的SPOC设计与开发...
1. 引言随着现代信息技术和教育技术的不断进步,高等教育教学模式不断推陈出新.MOOC (Massive Open Online Course),指大型开放式网络课程,近年来作为在线教育学习的初始形 ...
Xamarin XAML语言教程基础语法篇大学霸
Xamarin XAML语言教程基础语法篇大学霸前言 Xamarin是一个跨平台开发框架.它可以用来开发iOS.Android.Windows Phone和Mac的应用程序.使用Xamarin框 ...
html语言技术基础,第2章Web编程基础HTML语言技术方案.ppt
通过Internet浏览世界各地的网络资源,或者要把信息通过Internet以Web方式发布到全球,就必须使用网页.网页就是用户在浏览器上看到的一个个画面.通过网页,即便是一个不懂计算机的人,也能借助 ...
c语言职专试题及答案,中等职业学校计算机应用专业c语言编程基础科试卷及答案.doc...
中等职业学校计算机应用专业c语言编程基础科试卷及答案.doc 中等职业学校计算机应用专业C语言编程基础科试卷及答案一.填空(共35分)1.Unix系统诞生于年,是由实验室的K和用汇编语言开发成功的 ...

体系结构分析与设计语言AADL基础

体系结构分析与设计语言AADL基础相关推荐

最新文章

热门文章