Real-time scheduling algorithm for safety-critical systems on faulty multicore environments

详细信息    查看全文

• 作者：Risat Mahmud Pathan
• 关键词：Real ; time systems ; Fault ; tolerant systems ; Global multiprocessor scheduling ; Schedulability tests ; Probabilistic analysis
• 刊名：Real-Time Systems
• 出版年：2017
• 出版时间：January 2017
• 年：2017
• 卷：53
• 期：1
• 页码：45-81
• 全文大小：826KB
• 刊物类别：Computer Science
• 刊物主题：Computer Systems Organization and Communication Networks; Communications Engineering, Networks; Special Purpose and Application-Based Systems; Performance and Reliability; Control, Robotics, Mechatron
• 出版者：Springer US
• ISSN：1573-1383
• 卷排序：53

文摘

An algorithm (called FTM) for scheduling of real-time sporadic tasks on a multicore platform is proposed. Each task has a deadline by which it must complete its non-erroneous execution. The FTM algorithm executes backups in order to recover from errors caused by non-permanent and permanent hardware faults. The worst-case schedulability analysis of FTM algorithm is presented considering an application-level error model, which is independent of the stochastic behavior of the underlying hardware-level fault model. Then, the stochastic behavior of hardware-level fault model is plugged in to the analysis to derive the probability of meeting all the deadlines. Such probabilistic guarantee is the level of assurance (i.e., reliability) regarding the correct functional and timing behaviors of the system. One of the salient features of FTM algorithm is that it executes some backups in active redundancy to exploit the parallel multicore architecture while other backups passively to avoid unnecessary execution of too many active backups. This paper also proposes a scheme to determine for each task the number of backups that should run in active redundancy in order to increase the probability of meeting all the deadlines. The effectiveness of the proposed approach is demonstrated using an example application.