• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

计算机工程与科学 ›› 2020, Vol. 42 ›› Issue (09): 1544-1555.

• 高性能计算 • 上一篇    下一篇

移动系统的实时调度与可调度性分析

陈聪1,洪中1,陈杨杨1,张仕1,蒋建民1,2   

  1. (1. 福建师范大学数学与信息学院,福建 福州 350117;2. 成都信息工程大学软件工程学院,四川 成都 610103)


  • 收稿日期:2019-12-30 修回日期:2020-06-03 接受日期:2020-09-25 出版日期:2020-09-25 发布日期:2020-09-24
  • 基金资助:
    国家自然科学基金(61772004,61175123);福建省自然科学基金(2018J01777)

Real-time scheduling and schedulability analysis for mobile system

CHEN Cong1,HONG Zhong1,CHEN Yang-yang1,ZHANG Shi1,JIANG Jian-min1,2#br#   

  1. (1. College of Mathematics and Informatics,Fujian Normal University,Fuzhou 350117;

    2. College of Software Engineering,Chengdu University of Information Technology,Chengdu 610103,China)
  • Received:2019-12-30 Revised:2020-06-03 Accepted:2020-09-25 Online:2020-09-25 Published:2020-09-24

摘要: 对于一个复杂的实时移动系统,为了确保其在运行过程中的安全性,需要通过形式化方法对其行为进行建模和分析。其中,判断各个移动对象在正常运行时是否互相碰撞是验证实时移动系统安全性的一个重要指标。为此,有必要对各个移动对象进行隔离分析,而隔离分析离不开调度理论的支持。然而,传统的调度理论是基于粗粒度的任务调度,不能直接用于细粒度的隔离分析。为了解决这一问题,可通过时间依赖结构TDS模型来建模移动系统。该模型是基于事件的更细粒度的形式化模型,通过在时间依赖结构的基础上定义实时调度的方法,进而讨论实时调度的性质并进行隔离的可调度性分析,能够判断系统在运行过程中的安全性。

关键词: 移动性, 隔离, 调度策略, 界程

Abstract: In order to ensure the safety of a complex real-time mobile system, the behavior of the mobile system needs to be modeled and analyzed by formal method. It is an important goal to judge whether the moving objects collide with each other during normal operation so as to verify the safety of a real-time mobile system. For achieving this goal, it is necessary to isolate and analyze each moving object within the system, which needs the supports from scheduling theory. However, traditional scheduling theory is based on coarse-grained task scheduling and cannot be directly used in fine-grained isolation analysis. To solve this problem, a mobile system can be modeled through Time Dependency Structure (TDS), which is a more fine-grained formal model based on events. The real-time scheduling method is defined on the basis of TDS, and the safety of the system can be judged by investigating the nature of real-time scheduling and analyzing the schedulability of isolation.

Key words: mobility, isolation, scheduling policy, ambient

中图分类号: