OSATE 插件 Cheddar 的安装与简单使用

已于 2023-10-25 21:43:36 修改
阅读量412 收藏 3
点赞数
分类专栏： AADL 文章标签： AADL OSATE插件 Cheddar 任务调度
于 2023-10-25 21:40:12 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_44667259/article/details/134040747
版权

一、Cheddar简介

Cheddar是一个开源的实时系统任务调度模拟器/分析仪，可以使用Cheddar进行任务的可调度性分析以及相关的性能分析。对于Cheddar的详细信息可以参考其官网：

Cheddar - open-source real-time scheduling simulator/analyzer (univ-brest.fr)

二、Cheddar的安装与使用

1. 下载

从官网链接下载Cheddar程序。

Download and Install - Cheddar 3.3 User Guide (univ-brest.fr)

（我将资源在这里发布，也可以选择从此处下载：[免费] Cheddar-任务调度分析工具）。

下载完成后，解压压缩包到某文件夹 （我将其解压到E盘的OSATE文件夹下并重命名为Cheddar_bin）

注：Cheddar插件默认的位置为桌面下的Cheddar_bin文件夹，如果想在后续的AADL代码中免去Cheddar路径的配置，可以将其解压到当前用户的Desktop文件夹下并重命名为Cheddar_bin。

2.  安装Cheddar插件

打开 OSATE “帮助”菜单，选择“安装其他 OSATE 组件”。

选择Cheddar Plugin，并安装。

 3.  配置Cheddar安装路径

这一步是对Cheddar的安装路径进行配置（没有将压缩包解压到桌面上并重命名的用户需要进行此步操作）。

首先需要引用Cheddar_Parameters_Properties

with Cheddar_Parameters_Properties;

然后需要在最顶层的组件（一般为system组件）的属性中，声明Cheddar的安装位置

properties
    Cheddar_Parameters_Properties::Cheddar_Install_Folder => "E://OSATE//Cheddar_bin//";
    Cheddar_Parameters_Properties::Cheddar_Working_Folder => "E://OSATE//Cheddar_bin//";

配置完成后：

注意，需要对Cheddar_Install_Folder和Cheddar_Working_Folder进行配置，并且这两个文件路径需要一致。

补充：在Cheddar插件的源码（......\OSATE\plugins\cheddar-osate2_1.0.0.202011071011.jar）中可以看到（如下图所示），Cheddar的默认引用路径是“C:\Users\用户名/Desktop/Cheddar_Bin/”，所以在上一步需要声明Chedder的安装路径。

4. 实例化模型并使用Cheddar进行分析

实例化模型（选中要实例化的组件并实例化），这会生成.aaxl2文件。

选中刚刚生成的.aaxl2文件，Cheddar会提供三个按钮，从左到右分别是：

左：生成切达 XML 模型

中：生成 XML 切达模型并启动切达

右：生成切达 ADL 模型并启动切达工具以计算线程响应时间

比如点击中间的按钮，可以看到Cheddar被成功启动。

即可在Tools菜单中进行相关分析。

 三、参考资料

本文主要参考以下资料：

Cheddar - open-source real-time scheduling simulator/analyzer

Download and Compile - Cheddar 3.3 User Guide

Cheddar Release 3.x user's guide

如有不当或错误之处，恳请您的指正，谢谢！！！

时栈
关注
  • 0
    点赞
  • 踩
  • 3
    收藏
    觉得还不错? 一键收藏
  • 9
    评论
专栏目录
OSATE安装及使用教程
06-07
OSATE是一个完整的建模环境，包括AADL和EMFTA，为描述AADL模型提供了支持。它由许多功能组成，用于建模和分析系统。此外，用户可以基于OSATE构建自己的工具，并扩展其初始功能。
Cheddar-任务调度分析工具（可作为OSATE插件）
最新发布
10-25
Cheddar是一个实时系统任务调度工具，可用于任务的可调度性分析以及相关的性能指标分析。本资源是Cheddar的Windows版，里面包含了所有必须的DLL。该资源为一个压缩包，无需安装，解压压缩包后即可使用。 除此之外，Cheddar可作为AADL开源工具环境OSATE的一个插件，进行任务调度分析的相关工作。 注意：本资源是从Cheddar官方网站下载而来，未经任何修改。本资源的官方下载链接为http://beru.univ-brest.fr/cheddar/ug/ug_v3_3/pages/download_install/ 。为方便国内用户下载，将该资源上传至CSDN。 最后，特别感谢Cheddar团队！
OSATE工具文档
12-21
OSATE是由CMU开发的AADL开源集成开发环境，是在eclipse平台上的一套插件，用于AADL建模编译和分析。
aadl工具——osate使用
04-08
原创，使用时自己的总结，希望对大家有用！1
AADL eclipse工程文件 osate-topcased
06-13
某次课程作业要求，使用osate-topcased（基于eclipse的插件），使用AADL语言模拟了GPS的工作机制。
【OSATE学习笔记】新手入门
qq_37400312的博客
12-26 1905
本文介绍了osate的基本用法：打开软件自带样例、官方更多样例、打开本地项目、实例化AADL文件、检查流延迟、根据AADL文件自动生成可视化的Diagram图、打开官方帮助文档，同时提供了下载地址
AADL开发工具OSATE的使用与语法
果乐果香
01-14 7097
第一章：软件介绍 1.OSATE:一个完整的建模工具，目前已经到3.xx的版本，但是各个版本的使用方法（拖图）还是有挺大差别的，在本次教程中选用OSATE2-2.2（也许你使用的的是3.xx但是他们的拖图方式可能不一样，但是语法还是差不多的） 2.OSATE:建模只要有两个部分通过图形界面建模、另外一个是用过编程语法进行建模。其实你要是想将语法和图形界面中的部件联系起来也挺容易，你可以先拖一个...
cheddar-mac, Cheddar.zip
09-18
cheddar-mac, Cheddar 的重要：苹果的 Cheddar不再被任何神奇的东西维持。 它已经被出售了。 to不再是开放，因为新的所有者已经经选择了保持它的private 。 这将保留为先前版本的开放源代码存档。 所有的一切仍然...
cheddar:Cheddar GLSL超集语言
04-24
装箱文档中有，该将为您提供足够的详细信息，以了解Cheddar的用途以及应如何使用它。 贡献 您可以通过分叉项目并提供合并请求来做出贡献。 当前需要特别注意的大多数作品是： 核心类型和构造。 例子。 语义分析...
cheddar:基于拖放块的实体建模
06-26
"Cheddar:基于拖放块的实体建模"是一个项目，它使用JavaScript语言来实现一种直观的、用户友好的建模工具。在这个项目中，“Cheddar”可能是一个自定义的框架或者库，专注于提供可视化实体建模的功能。下面将详细...
Eclipse开发的Osate插件项目入门样例
03-06
Eclipse开发的Osate插件项目入门样例
aadl编程指南
12-04
学习AADL的朋友可以下哦。
cheddar调度性模拟器-附件资源
03-05
cheddar调度性模拟器-附件资源
sharpy:Cheddar Getter API（https的python客户端
04-29
Cheddar Getter是一项出色的服务，可用于处理重复性和基于使用情况的账单。 有一些现有的python Cheddar Getter客户端，但是它们存在严重的许可问题，打包问题，错误，并且仅是Cheddar Getter API的部分实现。 ...
【OSATE学习笔记】AADL语法介绍（一）组件的基本介绍
qq_37400312的博客
01-01 2600
本文介绍了AADL语法组件的基本信息，同时推荐了一些学习教材。
【OSATE学习笔记】插件开发入门
qq_37400312的博客
03-14 8656
本章介绍了OSATE工具的插件开发基本方法。因为OSATE是基于eclipse平台开发的，他具有eclipse的基本特性，所以我们可以借助eclipse来进行插件的开发
【OSATE学习笔记】AADL 样例 ARP4761 介绍
qq_37400312的博客
01-08 2119
本文介绍了ARP4761项目的基本内容和部分aadl
【OSATE学习笔记】失效模式与影响分析，FMEA（failure mode and effects analysis）
qq_37400312的博客
07-15 7663
失效模式与影响分析，简称FMEA (failure modes and effects analysis)，由失效模式(FM)和影响分析(EA)两部分组成。
不使用LINQ查询和操作集合 改进代码 namespace SandwichCalories { class Program { static void Main(string[] args) { // sandwich ingredients and their associated calories Dictionary<string, int> ingredients = new Dictionary<string, int>() { { "Bread", 66 }, { "Ham", 72 }, { "Bologna", 57 }, { "Chicken", 17 }, { "Corned Beef", 53 }, { "Salami", 40 }, { "Cheese, American", 104 }, { "Cheese, Cheddar", 113 }, { "Cheese, Havarti", 105 }, { "Mayonnaise", 94 }, { "Mustard", 10 }, { "Butter", 102 }, { "Garlic Aioli", 100 }, { "Sriracha", 15 }, { "Dressing, Ranch", 73 }, { "Dressing, 1000 Island", 59 }, { "Lettuce", 5 }, { "Tomato", 4 }, { "Cucumber", 4 }, { "Banana Pepper", 10 }, { "Green Pepper", 3 }, { "Red Onion", 6 }, { "Spinach", 7 }, { "Avocado", 64 } }; // prompt user for calorie range Console.Write("Enter minimum calories: "); int min_calories = int.Parse(Console.ReadLine()); Console.Write("Enter maximum calories: "); int max_calories = int.Parse(Console.ReadLine()); // calculate the minimum and maximum calories for the sandwich int min_sandwich_calories = 2 * ingredients["Bread"] + ingredients.Values.Min() * 2; int max_sandwich_calories = 2 * ingredients["Bread"] + ingredients.Values.Max() * 2; // check if the calorie range is valid if (max_calories < min_sandwich_calories) { Console.WriteLine("Sorry, it is impossible to create a sandwich within the given calorie range."); } else { // create the sandwich List<string> sandwich = new List<string> { "Bread" }; int sandwich_calories = 1 * ingredients["Bread"]; while (sandwich_calories < min_calories) { // add random ingredient string ingredient = ingredients.Keys.ElementAt(new Random().Next(ingredients.Count)); sandwich.Add(ingredient); sandwich_calories += ingredients[ingredient]; } while (sandwich_calories <= max_calories) { // add random ingredient string ingredient = ingredients.Keys.ElementAt(new Random().Next(ingredients.Count)); // check if the ingredient is the same as the previous one if (sandwich.Count >= 3 && ingredient == sandwich[sandwich.Count - 2]) { continue; } sandwich.Add(ingredient); sandwich_calories += ingredients[ingredient]; // check if the sandwich is already at the maximum calorie limit if (sandwich_calories == max_sandwich_calories) { break; } } // add the last slice of bread sandwich.Add("Bread"); // print the sandwich and its total calories Console.WriteLine("Your sandwich: " + string.Join(", ", sandwich)); Console.WriteLine("Total calories: " + sandwich_calories); } } } }
06-10
以下是不使用LINQ查询和操作集合改进的代码，这里使用了foreach循环和if条件语句来实现相同的功能： ```csharp using System; using System.Collections.Generic; namespace SandwichCalories { class Program { static void Main(string[] args) { // sandwich ingredients and their associated calories Dictionary<string, int> ingredients = new Dictionary<string, int>() { { "Bread", 66 }, { "Ham", 72 }, { "Bologna", 57 }, { "Chicken", 17 }, { "Corned Beef", 53 }, { "Salami", 40 }, { "Cheese, American", 104 }, { "Cheese, Cheddar", 113 }, { "Cheese, Havarti", 105 }, { "Mayonnaise", 94 }, { "Mustard", 10 }, { "Butter", 102 }, { "Garlic Aioli", 100 }, { "Sriracha", 15 }, { "Dressing, Ranch", 73 }, { "Dressing, 1000 Island", 59 }, { "Lettuce", 5 }, { "Tomato", 4 }, { "Cucumber", 4 }, { "Banana Pepper", 10 }, { "Green Pepper", 3 }, { "Red Onion", 6 }, { "Spinach", 7 }, { "Avocado", 64 } }; // prompt user for calorie range Console.Write("Enter minimum calories: "); int min_calories = int.Parse(Console.ReadLine()); Console.Write("Enter maximum calories: "); int max_calories = int.Parse(Console.ReadLine()); // calculate the minimum and maximum calories for the sandwich int min_sandwich_calories = 2 * ingredients["Bread"] + GetMinValue(ingredients.Values) * 2; int max_sandwich_calories = 2 * ingredients["Bread"] + GetMaxValue(ingredients.Values) * 2; // check if the calorie range is valid if (max_calories < min_sandwich_calories) { Console.WriteLine("Sorry, it is impossible to create a sandwich within the given calorie range."); } else { // create the sandwich List<string> sandwich = new List<string> { "Bread" }; int sandwich_calories = 1 * ingredients["Bread"]; while (sandwich_calories < min_calories) { // add random ingredient string ingredient = GetRandomIngredient(ingredients); sandwich.Add(ingredient); sandwich_calories += ingredients[ingredient]; } while (sandwich_calories <= max_calories) { // add random ingredient string ingredient = GetRandomIngredient(ingredients); // check if the ingredient is the same as the previous one if (sandwich.Count >= 3 && ingredient == sandwich[sandwich.Count - 2]) { continue; } sandwich.Add(ingredient); sandwich_calories += ingredients[ingredient]; // check if the sandwich is already at the maximum calorie limit if (sandwich_calories == max_sandwich_calories) { break; } } // add the last slice of bread sandwich.Add("Bread"); // print the sandwich and its total calories Console.WriteLine("Your sandwich: " + string.Join(", ", sandwich)); Console.WriteLine("Total calories: " + sandwich_calories); } } // helper methods static int GetMinValue(IEnumerable<int> values) { int minValue = int.MaxValue; foreach (int value in values) { if (value < minValue) { minValue = value; } } return minValue; } static int GetMaxValue(IEnumerable<int> values) { int maxValue = int.MinValue; foreach (int value in values) { if (value > maxValue) { maxValue = value; } } return maxValue; } static string GetRandomIngredient(Dictionary<string, int> ingredients) { int index = new Random().Next(ingredients.Count); int i = 0; foreach (string key in ingredients.Keys) { if (i == index) { return key; } i++; } return null; } } } ``` 在这个改进的代码中，我们使用了GetMinValue和GetMaxValue方法来获取字典中值的最小值和最大值，使用GetRandomIngredient方法来获取随机的食材名称。虽然这种方式代码量增加了，但是这种方式可以更好地理解代码的每个步骤，也可以更好地掌控代码的细节。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 9
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值