跳到主要内容
10.1109/ICST.2008.70诉讼指南文章/章节视图摘要出版物页面会议记录acm-pubtype公司
第条

调度定时模块以实现正确的资源共享

出版:2008年4月9日 出版历史
  • 获取引文提醒
  • 摘要

    实时嵌入式系统通常包括不同优先级的并发任务,具有访问公共资源的时间相关操作。在这种情况下,不同步的并行执行可能会导致由竞争条件等引起的危险情况。为了能够在实现之前检测出此类错误的系统行为,我们在Alur和Henzinger的严格的定时反应模块框架中引入了一个资源受限、调度实时系统描述的统一模型。我们采用基于组件的设计观点,通过细化,将实时系统模型构建为实时周期性可抢占任务和固定优先级调度器的组合,所有这些都建模为定时模块。对于模型,我们将竞争条件和冗余锁的概念形式化地表示为不变性,可以通过模型检查进行验证。

    建议

    评论

    信息和贡献者

    问询处

    发布于

    封面图片指南会议记录
    2008年国际软件测试、验证和确认会议记录
    2008年4月
    540页
    国际标准图书编号:9780769531274

    出版商

    IEEE计算机学会

    美国

    出版历史

    出版:2008年4月9日

    作者标记

    1. 基于组件的设计
    2. 实时系统
    3. 资源管理
    4. 定时模块

    限定符

    • 第条

    贡献者

    其他指标

    文献计量学和引文

    文献计量学

    文章指标

    • 0
      引文总数
    • 0
      总下载次数
    • 下载次数(过去12个月)0
    • 下载次数(最近6周)0

    其他指标

    引文

    视图选项

    查看选项

    媒体

    数字

    其他

    桌子

    分享

    分享

    共享此出版物链接

    在社交媒体上分享