Scheduling Periodic Task Graphs for Safety-Critical Time-Triggered Avionic Systems

被引:21
|
作者
Hu, Menglan [1 ]
Luo, Jun [2 ]
Wang, Yang [3 ]
Veeravalli, Bharadwaj [4 ]
机构
[1] Huazhong Univ Sci & Technol, Sch Elect Informat & Commun, Wuhan 430074, Peoples R China
[2] Nanyang Technol Univ, Sch Comp Engn, Singapore 639798, Singapore
[3] Univ New Brunswick, Fac Comp Sci, Fredericton, NB E3B 5A3, Canada
[4] Natl Univ Singapore, Dept Elect & Comp Engn, Singapore 117576, Singapore
关键词
ASSIGNMENT; ALGORITHM; LOAD;
D O I
10.1109/TAES.2015.140063
中图分类号
V [航空、航天];
学科分类号
08 ; 0825 ;
摘要
Time-triggered communication protocols, such as time-triggered protocol (TTP) and FlexRay, have the potential to solve many system integration and concurrent engineering issues in the aerospace industry. This paper investigates the scheduling of periodic applications on time-triggered systems. A novel scheduling problem is formulated to capture a unique feature commonly existing in the safety-critical time-triggered systems, i.e., in task graphs running in such systems, some nodes (i.e., tasks and messages) are strictly periodic while others are not. To address the problem, a novel scheduling algorithm called synchronized highest level first (SHLF) algorithm is presented. Moreover, to further improve schedulability, this paper also proposes two rescheduling and backtracking approaches, namely release time deferment (RTD) procedure and backtracking and priority promotion (BPP) procedure. Performance evaluation results are presented to demonstrate the effectiveness and competitiveness of our approaches when compared with existing algorithms.
引用
收藏
页码:2294 / 2304
页数:11
相关论文
共 50 条
  • [1] Energy-Efficient Scheduling of Periodic Applications on Safety-Critical Time-Triggered Multiprocessor Systems
    Jiang, Xiaowen
    Huang, Kai
    Zhang, Xiaomeng
    Yan, Rongjie
    Wang, Ke
    Xiong, Dongliang
    Yan, Xiaolang
    ELECTRONICS, 2018, 7 (06):
  • [2] A novel modeling framework for time-triggered safety-critical embedded systems
    Ayestaran, Iban
    Nicolas, Carlos F.
    Perez, Jon
    Larrucea, Asier
    Puschner, Peter
    PROCEEDINGS OF THE 2014 FORUM ON SPECIFICATION & DESIGN LANGUAGES (FDL), 2014,
  • [3] Modeling and Simulated Fault Injection for Time-Triggered Safety-Critical Embedded Systems
    Ayestaran, Iban
    Nicolas, Carlos F.
    Perez, Jon
    Larrucea, Asier
    Puschner, Peter
    2014 IEEE 17TH INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC), 2014, : 180 - 187
  • [4] A Simulated Fault Injection Framework for Time-Triggered Safety-Critical Embedded Systems
    Ayestaran, Iban
    Nicolas, Carlos F.
    Perez, Jon
    Larrucea, Asier
    Puschner, Peter
    COMPUTER SAFETY, RELIABILITY, AND SECURITY (SAFECOMP 2014), 2014, 8666 : 1 - 16
  • [5] Fault-Tolerant Scheduler with Genetic Algorithm for Safety-Critical Time-Triggered Systems of Systems
    Majidi, Setareh
    Obermaisser, Roman
    Wasala, Sudam
    Qosja, Mario
    2020 IEEE 18TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), VOL 1, 2020, : 259 - 264
  • [6] Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
    Sakurai, Kohei
    Bokor, Peter
    Suri, Neeraj
    11TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 2008, : 261 - 270
  • [7] Survey on Periodic Scheduling for Time-triggered Hard Real-time Systems
    Minaeva, Anna
    Hanzalek, Zdenek
    ACM COMPUTING SURVEYS, 2021, 54 (01)
  • [8] A Time-Triggered Constraint-Based Calculus for Avionic Systems
    Hamadou, Sardaouna
    Mullins, John
    Gherbi, Abdelouahed
    Beji, Sofiene
    2015 IEEE 18TH INTERNATIONAL SYMPOSIUM ON REAL-TIME DISTRIBUTED COMPUTING WORKSHOPS, 2015, : 58 - 65
  • [9] Multi-Core Time-Triggered OCBP-Based Scheduling for Mixed Criticality Periodic Task Systems
    Baciu, Marian D.
    Capota, Eugenia A.
    Stangaciu, Cristina S.
    Curiac, Daniel-Ioan
    Micea, Mihai V.
    SENSORS, 2023, 23 (04)
  • [10] Time-triggered scheduling of mixed-critical flows at end-system in asynchronous AFDX avionic network
    Hotescu, Oana
    Jaffres-Runser, Katia
    Scharbarg, Jean-Luc
    COMPUTER NETWORKS, 2024, 246