
AADL
文章平均质量分 90
weixin_45396500
这个作者很懒,什么都没留下…
展开
-
【形式化验证latency】4.运行及结果分析
解读完代码之后,需要进行运行分析,来验证latency是否符合要求。通信方式如同步或者异步也会产生影响:在 integration.software_distributed 的总线中,数据可能因为队列等待而延迟。原创 2024-12-27 15:17:46 · 747 阅读 · 0 评论 -
【形式化验证latency】3.AADL项目结构及语法(二)
从生成的diagram可以看到,这里定义了两种处理器,分别是generic_cpu和ima_cpu,generic_cpu 是一个非常抽象的处理器类型,定义了它的特性(需要总线连接),但没有进一步定义其内部结构或特定行为。这里需要用到funtional.aadl的内容,回忆一下,functional.aadl首先定义了三个抽象的对象,sensing,processing和actuating,然后定义了一个系统integration,并实例化了它。现在开始解释integration.aadl的代码。原创 2024-12-27 10:39:07 · 785 阅读 · 0 评论 -
【形式化验证latency】2.AADL项目结构及语法(一)
接着上一篇的内容,继续分析latency-case-study的项目结构以及语法。AADL定义了12种组件类型,分别是process(进程),thread group(进程组),thread(线程),data(数据),abstract(抽象)。硬件有:processor,memory,bus,device,virtual processor,virtual bus。系统组件有: system。原创 2024-12-26 21:40:19 · 766 阅读 · 0 评论 -
【形式化验证latency】1.安装OSATE
AADL(架构分析与设计语言)是一种用于嵌入式系统建模、分析和设计的标准化语言,特别适用于实时系统和安全关键系统的建模。AADL 提供了一种方式来描述系统的架构,包括硬件、软件组件、线程、进程、数据通信等。其设计目的是帮助开发人员对系统架构进行详细建模,以便在系统开发的早期阶段进行分析,预测性能、可靠性和可调度性等方面的行为。使用 AADL 进行建模和分析,需要一个支持 AADL 的开发环境。最常用的工具是。原创 2024-12-26 18:00:55 · 742 阅读 · 0 评论