Evaluation and Comparison of Integer Programming Solvers for Hard Real-Time Scheduling

被引:2
作者
Guasque, Ana [1 ]
Balbastre, Patricia [1 ]
机构
[1] Univ Politecn Valencia, Valencia, Spain
关键词
monoprocessor systems; key integer linear programming; hard real-time scheduling; optimization; RESPONSE-TIMES; OPTIMIZATION; ALGORITHMS;
D O I
10.1587/transinf.2022EDP7073
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
In order to obtain a feasible schedule of a hard real-time system, heuristic based techniques are the solution of choice. In the last few years, optimization solvers have gained attention from research communities due to their capability of handling large number of constraints. Recently, some works have used integer linear programming (ILP) for solving mono processor scheduling of real-time systems. In fact, ILP is commonly used for static scheduling of multiprocessor systems. However, two main solvers are used to solve the problem indistinctly. But, which one is the best for obtaining a schedulable system for hard real-time systems? This paper makes a comparison of two well-known optimization software packages (CPLEX and GUROBI) for the problem of finding a feasible schedule on monoprocessor hard real-time systems.
引用
收藏
页码:1726 / 1733
页数:8
相关论文
共 50 条
  • [41] Continuous Approximate Dynamic Programming Algorithm to Promote Multiple Battery Energy Storage Lifespan Benefit in Real-Time Scheduling
    Xue, Xizhen
    Ai, Xiaomeng
    Fang, Jiakun
    Jiang, Yazhou
    Cui, Shichang
    Wang, Jinsong
    Ortmeyer, Thomas H.
    Wen, Jinyu
    IEEE TRANSACTIONS ON SMART GRID, 2024, 15 (06) : 5744 - 5760
  • [42] Q-learning and ACO hybridisation for real-time scheduling on heterogeneous distributed architectures
    Hajoui, Younes
    Bouattane, Omar
    Youssfi, Mohamed
    Illoussamen, El Houssein
    INTERNATIONAL JOURNAL OF COMPUTATIONAL SCIENCE AND ENGINEERING, 2019, 20 (02) : 225 - 239
  • [43] A Real-time Schedule Method for Aircraft Landing Scheduling Problem Based on Cellular Automaton
    Yu, Shenpeng
    Cao, Xianbin
    Hu, Maobin
    Du, Wenbo
    Zhang, Jun
    WORLD SUMMIT ON GENETIC AND EVOLUTIONARY COMPUTATION (GEC 09), 2009, : 717 - 723
  • [44] An Efficient Technique of Application Mapping and Scheduling on Real-Time Multiprocessor Systems for Throughput Optimization
    Liu, Weichen
    Xiao, Chunhua
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2016, 15 (04)
  • [45] A Real-Time Electricity Scheduling for Residential Home Energy Management
    Li, Shenglin
    Yang, Junjie
    Song, Wenzhan
    Chen, An
    IEEE INTERNET OF THINGS JOURNAL, 2019, 6 (02): : 2602 - 2611
  • [46] A Cooperative Coevolutionary Algorithm for Real-Time Underground Mine Scheduling
    Cox, Wesley
    French, Tim
    Reynolds, Mark
    While, Lyndon
    AI 2018: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2018, 11320 : 410 - 418
  • [47] A Real-time Maintenance Scheduling Policy in Serial Production Lines
    Lu, Lingbo
    Liu, Yang
    Li, Jingshan
    Chang, Cindy
    Biller, Stephan
    Xiao, Guoxian
    2011 9TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION (WCICA 2011), 2011, : 36 - 41
  • [48] Real-time recovering strategies on personnel scheduling in the retail industry
    Mac-Vicar, Michael
    Carlos Ferrer, Juan
    Carlos Munoz, Juan
    Augusto Henao, Cesar
    COMPUTERS & INDUSTRIAL ENGINEERING, 2017, 113 : 589 - 601
  • [49] Scheduling in Real-Time Systems Using Hybrid Bees Strategy
    Khadidja, Yahyaoui
    Abdenour, Bouri
    COMPUTATIONAL INTELLIGENCE AND ITS APPLICATIONS, 2018, 522 : 375 - 386
  • [50] Real-Time Task Scheduling With Fairness in Digital Twin Systems
    Kim, Cheonyong
    Saad, Walid
    Han, Jonghun
    Yu, Tao
    Sakaguchi, Kei
    Jung, Minchae
    IEEE INTERNET OF THINGS JOURNAL, 2025, 12 (07): : 7846 - 7862