Schedulability Analysis of Periodic Tasks Implementing Synchronous Finite State Machines

被引：9
|
作者：
Zeng, Haibo [1 ]
Di Natale, Marco [1 ]
机构：
[1] McGill Univ, Montreal, PQ H3A 2T5, Canada
来源：
PROCEEDINGS OF THE 24TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS 2012) | 2012年
关键词：
MATRIX PERIOD;
D O I：
10.1109/ECRTS.2012.30
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Model-based design of embedded systems using Synchronous Reactive (SR) models is among the best practices for software development in the automotive and aeronautics industry. The correct implementation of an SR model must guarantee the synchronous assumption, that is, all the system reactions complete before the next event. This assumption can be verified using schedulability analysis, but the analysis can be quite challenging when the system also consists of blocks implementing finite state machines, as in modern modeling tools like Simulink and SCADE. In this paper, we discuss the schedulability analysis of such systems, including the applicability of traditional task analysis methods and an algorithmic solution to compute the exact demand and request bound functions. In addition, we define conditions for computing these functions using a periodic recurrent term, even when there is no cyclic recurrent behavior in the model.
引用
收藏
页码：353 / 362
页数：10
相关论文
共 50 条
  • [31] Mutation Analysis for Testing Finite State Machines
    Li, Jin-hua
    Dai, Geng-xin
    Li, Huan-huan
    [J]. PROCEEDINGS OF THE SECOND INTERNATIONAL SYMPOSIUM ON ELECTRONIC COMMERCE AND SECURITY, VOL I, 2009, : 620 - +
  • [32] ANALYSIS OF A CLASS OF COMMUNICATING FINITE STATE MACHINES
    PENG, WX
    PURUSHOTHAMAN, S
    [J]. ACTA INFORMATICA, 1992, 29 (6-7) : 499 - 522
  • [33] An efficient representation for implementing finite state machines based on the double-array
    Mizobuchi, S
    Sumitomo, T
    Fuketa, M
    Aoe, J
    [J]. INFORMATION SCIENCES, 2000, 129 (1-4) : 119 - 139
  • [34] Implementing Wireless Sensor Network Applications using Hierarchical Finite State Machines
    Kramer, Matthias
    Bader, Sebastian
    Oelmann, Bengt
    [J]. 2013 10TH IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL (ICNSC), 2013, : 124 - 129
  • [35] Schedulability Analysis of Malleable Tasks with Arbitrary Parallel Structure
    Korsgaard, Martin
    Hendseth, Sverre
    [J]. 2011 IEEE 17TH INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA 2011), VOL 1, 2011, : 3 - 14
  • [36] A FINITE-ELEMENT BASED STATE MODEL OF SOLID ROTOR SYNCHRONOUS MACHINES
    KREFTA, MP
    WASYNCZUK, O
    [J]. IEEE TRANSACTIONS ON ENERGY CONVERSION, 1987, 2 (01) : 21 - 30
  • [37] Minimal schedulability interval for real-time systems of periodic tasks with offsets
    Choquet-Geniet, A
    Grolleau, E
    [J]. THEORETICAL COMPUTER SCIENCE, 2004, 310 (1-3) : 117 - 134
  • [38] Investigating the Schedulability of Periodic Real-Time Tasks in Virtualized Cloud Environment
    Alhussian, Hitham
    Zakaria, Nordin
    Patel, Ahmed
    Jaradat, Ayman
    Abdulkadir, Said Jadid
    Ahmed, Abdelaziz Y.
    Bahbouh, Hussein T.
    Fageeri, Sallam Osman
    Elsheikh, Asim Abdallah
    Watada, Junzo
    [J]. IEEE ACCESS, 2019, 7 : 29533 - 29542
  • [39] Schedulability analysis of periodic fixed priority systems
    Bini, E
    Buttazzo, GC
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 2004, 53 (11) : 1462 - 1473
  • [40] Necessary and Sufficient Conditions for Thermal Schedulability of Periodic Real-Time Tasks
    Ahmed, Rehan
    Ramanathan, Parameswaran
    Saluja, Kewal K.
    [J]. 2014 26TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS 2014), 2014, : 243 - 252
12345