Optimal priority assignment for real-time systems: a coevolution-based approach

被引:2
作者
Lee, Jaekwon [1 ,2 ]
Shin, Seung Yeob [1 ]
Nejati, Shiva [1 ,3 ]
Briand, Lionel C. [1 ,4 ]
机构
[1] Univ Luxembourg, SnT, Kirchberg, Luxembourg
[2] Univ Ottawa, Ottawa, ON, Canada
[3] Univ Ottawa, Sch Elect Engn & Comp Sci, Ottawa, ON, Canada
[4] Univ Ottawa, Software Engn, Ottawa, ON, Canada
基金
欧洲研究理事会; 加拿大自然科学与工程研究理事会;
关键词
Priority assignment; Schedulability analysis; Real-time systems; Coevolutionary search; Search-based software engineering; MULTIOBJECTIVE TECHNIQUE; ALGORITHMS; OPTIMIZATION; TESTS;
D O I
10.1007/s10664-022-10170-1
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
In real-time systems, priorities assigned to real-time tasks determine the order of task executions, by relying on an underlying task scheduling policy. Assigning optimal priority values to tasks is critical to allow the tasks to complete their executions while maximizing safety margins from their specified deadlines. This enables real-time systems to tolerate unexpected overheads in task executions and still meet their deadlines. In practice, priority assignments result from an interactive process between the development and testing teams. In this article, we propose an automated method that aims to identify the best possible priority assignments in real-time systems, accounting for multiple objectives regarding safety margins and engineering constraints. Our approach is based on a multi-objective, competitive coevolutionary algorithm mimicking the interactive priority assignment process between the development and testing teams. We evaluate our approach by applying it to six industrial systems from different domains and several synthetic systems. The results indicate that our approach significantly outperforms both our baselines, i.e., random search and sequential search, and solutions defined by practitioners. Our approach scales to complex industrial systems as an offline analysis method that attempts to find near-optimal solutions within acceptable time, i.e., less than 16 hours.
引用
收藏
页数:49
相关论文
共 50 条
[21]   A Novel Task-to-Processor Assignment Approach for Optimal Multiprocessor Real-time Scheduling [J].
Duy, Doan ;
Tanaka, Kiyofumi .
2018 IEEE 12TH INTERNATIONAL SYMPOSIUM ON EMBEDDED MULTICORE/MANY-CORE SYSTEMS-ON-CHIP (MCSOC 2018), 2018, :101-108
[22]   PRIORITY INHERITANCE PROTOCOLS - AN APPROACH TO REAL-TIME SYNCHRONIZATION [J].
SHA, L ;
RAJKUMAR, R ;
LEHOCZKY, JP .
IEEE TRANSACTIONS ON COMPUTERS, 1990, 39 (09) :1175-1185
[23]   Estimating Probabilistic SafeWCET Ranges of Real-Time Systems at Design Stages [J].
Lee, Jaekwon ;
Shin, Seung Yeob ;
Nejati, Shiva ;
Briand, Lionel ;
Parache, Yago Isasi .
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2023, 32 (02)
[24]   Ceiling Priority for Synchronous Communication in Real-Time Systems [J].
Lee, Junghwan ;
Kim, Myungjun .
PROCEEDINGS OF 2020 IEEE 4TH INFORMATION TECHNOLOGY, NETWORKING, ELECTRONIC AND AUTOMATION CONTROL CONFERENCE (ITNEC 2020), 2020, :617-622
[25]   Response time analysis for fixed priority real-time systems with energy-harvesting [J].
Abdeddaim, Yasmina ;
Chandarli, Younes ;
Davis, Robert I. ;
Masson, Damien .
REAL-TIME SYSTEMS, 2016, 52 (02) :125-160
[26]   Response time analysis for fixed priority real-time systems with energy-harvesting [J].
Yasmina Abdeddaïm ;
Younès Chandarli ;
Robert I. Davis ;
Damien Masson .
Real-Time Systems, 2016, 52 :125-160
[27]   Execution allowance based fixed priority scheduling for probabilistic real-time systems [J].
Ren, Jiankang ;
Xu, Zichuan ;
Yu, Chao ;
Lin, Chi ;
Wu, Guowei ;
Tan, Guozhen .
JOURNAL OF SYSTEMS AND SOFTWARE, 2019, 152 :120-133
[28]   On traffic burstiness and priority assignment for the real-time connections in a regulated ATM network [J].
Ng, J .
IEICE TRANSACTIONS ON COMMUNICATIONS, 1999, E82B (06) :841-850
[29]   Real-Time Analysis and Message Priority Assignment for TSN-CAN Gateway [J].
Wu, Wufei ;
Huang, Huijuan ;
Li, Wenhao ;
Liu, Ruihua ;
Xie, Yong ;
Long, Saiqin .
IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2024, 25 (11) :16133-16144
[30]   Priority assignment in distributed real-time databases using optimistic concurrency control [J].
Lam, KY ;
Lee, VCS ;
Hung, SL ;
Kao, BCM .
IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1997, 144 (05) :324-330