积分商城

最新搜索： 比较器PWM电路 icm20948 装备可靠性工作通用要求 stm32f767 原理图 ARM assembly STLinkV2
您现在的位置是：首页 > 技术资料 > 基于时间自动机的嵌入式系统AADL模型可调度性验证
推荐星级：
  • 1
  • 2
  • 3
  • 4
  • 5

基于时间自动机的嵌入式系统AADL模型可调度性验证

更新时间：2020-01-11 17:17:29 大小：1M 上传用户：守着阳光1985查看TA发布的资源 标签：嵌入式系统 下载积分：1分 评价赚积分 （如何评价?） 打赏 收藏 评论(0) 举报

资料介绍

采用时间自动机形式化模型检验方法建立了结构分析与设计语言(AADL)调度模型的自动机,实现了从AADL模型到时间自动机模型的自动转换与验证.首先,设计了周期、非周期的线程时间自动机模板及抢占、非可抢占的调度器时间自动机模板,建立了AADL调度模型到时间自动机模型的语义映射法则.然后,设计了自动化模型转换插件,并将其集成到OSATE建模工具中,实现了建模、转换、验证的集成开发环境.最后,利用UPPAAL工具对时间自动机模型进行模拟与验证.仿真实验结果表明,所建立的模型转换方法能够有效、实时地将AADL模型转换为时间自动机模型,并可在UPPAAL中分析原模型的可调度性.


部分文件列表

文件名 大小
基于时间自动机的嵌入式系统AADL模型可调度性验证.pdf 1M

【关注B站账户领20积分】

相关下载

全部评论(0)

暂无评论
评论赚积分>>

上传资源 上传优质资源有赏金

热门标签

更多>>

最新上传

  • 打赏
  • 30日榜单

  • 21ic下载 打赏310.00元   3天前

    用户：w178191520

  • 21ic下载 打赏310.00元   3天前

    用户：小猫做电路

  • 21ic下载 打赏310.00元   3天前

    用户：zhengdai

  • 21ic下载 打赏220.00元   3天前

    用户：gsy幸运

  • 21ic下载 打赏220.00元   3天前

    用户：jh0355

  • 21ic下载 打赏210.00元   3天前

    用户：jh03551

  • 21ic下载 打赏60.00元   3天前

    用户：sun2152

  • 21ic下载 打赏60.00元   3天前

    用户：xuzhen1

  • 21ic下载 打赏80.00元   3天前

    用户：xzxbybd

  • 21ic下载 打赏60.00元   3天前

    用户：铁蛋锅

  • 21ic下载 打赏60.00元   3天前

    用户：liqiang9090

  • 21ic下载 打赏20.00元   3天前

    用户：方中禾

  • 21ic下载 打赏20.00元   3天前

    用户：w1966891335

  • 21ic下载 打赏30.00元   3天前

    用户：玉落彼岸

  • 21ic下载 打赏15.00元   3天前

    用户：kk1957135547

  • 21ic下载 打赏15.00元   3天前

    用户：w993263495

  • 21ic下载 打赏15.00元   3天前

    用户：x15580286248

  • 21ic下载 打赏20.00元   3天前

    用户：WK520077778

  • 21ic下载 打赏25.00元   3天前

    用户：hp860629

  • 21ic下载 打赏15.00元   3天前

    用户：sbfd010

  • 21ic下载 打赏10.00元   3天前

    用户：严光辉

热门下载

推荐下载

本站上的所有资源均为源于网上收集或者由用户自行上传，仅供学习和研究使用，无任何商业目的，版权归原作如有侵权，请 来信指出，本站将立即改正。

ICP许可证号：京ICP证070360号     21IC电子网 2000- 版权所有

京ICP备11013301号

京公网安备 11010802024343号