In this paper, we develop an exact schedulability test and sufficient infeasibility test for fixed-priority scheduling on multiprocessor platforms. We base our tests on presenting real-time systems as a Kripke model for dynamic real-time systems with...
As a key node in port logistics systems, ship anchorage is often faced with congestion caused by ship flow fluctuations, multi-priority scheduling imbalances and the poor adaptability of scheduling models to complex environments. To solve the above p...
The utilization of a specific priority rule in scheduling operations in flexible job shop systems strongly influences production goals. In a context of production control in real practice, production performance indicators are evaluated always en blo...
Emergency observations are missions executed by Earth observation satellites to support urgent ground operations. Emergency observations become more important for meeting the requirements of highly dynamic and highly time-sensitive observation missio...
Task scheduling algorithms based on reinforce learning (RL) have been important methods with which to improve the performance of cloud platforms; however, due to the dynamics and complexity of the cloud environment, the action space has a very high d...
In cognitive radio networks, channel assembling allows secondary users (SUs) to expand network capacity and improve spectrum utilization. Scheduling strategies only based on heterogeneous service classification cannot guarantee the delivery priority...
This paper presents an improved knowledge-based genetic algorithm for relay satellite task scheduling. It aims to address the issue of ensuring high-priority tasks under complex constraints and resource competition. The algorithm enhances the high-pr...
Resource-constrained project scheduling (RCPS) aims to minimize project duration under limited resource availabilities. The heuristic methods that are often used to solve the RCPS problem make use of different priority rules. The comparative merits o...
In order to effectively allocate processes of Aa single complex product to two workshops with the same equipment, an integrated scheduling algorithm of two workshops based on process end time driven and processing area priority is proposed. To optimi...
Beam-Hopping (BH) dynamically adjusts beam pointing and dwell time to overcome the rigid resource allocation of traditional fixed beam coverage. This paper addresses the BH scheduling problem in low-Earth-orbit (LEO) satellite networks for high-prior...
Currently, wireless body area networks (WBANs) are effectively used for health monitoring services. However, in cases where WBANs are densely deployed, interference among WBANs can cause serious degradation of network performance and reliability. Int...
The optimal scheduling of vehicles at signal-free intersections under the connected and automated vehicle (CAV) environment has become a research hotspot in the intelligent transportation field. However, existing studies often oversimplify the inters...
With the rapid growth of thermostatically controlled loads, active power fluctuation and peak demand growth within an autonomous micro-grid become serious problems. This paper tries to suppress power fluctuation and shave peak demand for a micro-grid...
With the increasing predominance of public cloud computing, managing the cost of usage for end users has become vital in importance. Task scheduling has emerged as an important target of research in this area. The present work considers the problem o...
Symbolic execution is well known as a dynamic vulnerability discovery technique. Its greatest advantage is the capability to analyze the execution information of the program and to explore the path in the program deterministically. This is a more acc...
Emergency material scheduling (EMS) is a core component of post-disaster emergency response, with its efficiency directly impacting rescue effectiveness and the satisfaction of affected populations. However, due to severe road damage, limited availab...
Energy-aware distributed manufacturing has become a key focus in modern production systems due to the growing demand for sustainable and efficient operations. This study investigates the energy-aware distributed flexible job shop scheduling problem w...
Multi-robot disaster-response task allocation requires balancing functional matching, task value, and execution efficiency. This study proposes an execution-aware heterogeneous dynamic-priority scheduling framework (HDPS) that connects interpretable...
The metering verification center of Yunnan Power Grid processes dynamically arriving batches of single-phase and three-phase smart meters, low-voltage current transformers, and collection terminals through multi-operation test chains on six automated...
Task scheduling algorithms are crucial for optimizing the utilization of computing resources. This work proposes a unique approach for improving task execution in real-time systems using an enhanced Round Robin scheduling algorithm variant incorporat...
This paper addresses the flexible job-shop scheduling problem with multiple time factors—namely, transportation time and setup time—as well as job priorities (referred to as FJSP-JPC-TST). An optimization model is established with the obj...
Mission scheduling is an essential function of the management control of remote-sensing satellite application systems. With the continuous development of remote-sensing satellite applications, mission scheduling faces significant challenges. Existing...
The spectral efficiency of wireless networks can be significantly improved by exploiting spatial multiplexing techniques known as multi-user MIMO. These techniques enable the allocation of multiple users to the same time-frequency block, thus reducin...
As advancements in autonomous underwater vehicle (AUV) technology unfold, the role of underwater wireless sensor networks (UWSNs) is becoming increasingly pivotal. However, the high energy consumption in these networks can significantly reduce their...
In recent years, with the support of new information technology and national policies, cloud manufacturing (CMfg) has developed rapidly in China. About CMfg, scholars have conducted extensive and in-depth research, among which multi-objective service...
Quality inspection is a crucial step in ensuring product conformity and avoiding rework waste, while job priority constraints are prevalent in the production of complex products with assembly structures. This paper presents a modeling and solution fr...
Physical resource allocation strategy is a key factor affecting the performance of a mobile ad hoc network (MANET), which serves as a network model widely used in the sensor and detection field. For various perceived service information, it is signif...
The use of real-time systems is growing at an increasing rate. This raises the power efficiency as the main challenge for system designers. Power asymmetric multicore processors provide a power-efficient platform for building complex real-time system...
The problem of multiple DAGs sharing satellite constellation resources has gradually attracted widespread attention. Due to the limited computing resources and energy consumption of satellite networks, it is necessary to formulate a reasonable multi-...
The number of IoT devices has been increasing at a rapid rate, and the advent of information-intensive Internet of Multimedia Things (IoMT) applications has placed serious challenges on computing infrastructure, especially for latency, energy efficie...
As the limitation of energy consumption of real-time embedded systems becomes more and more strict, it has been difficult to ignore the time overhead and energy consumption of context switches for fixed-priority tasks with preemption scheduling (FPP)...
Micro-ROS is widely used to bridge the performance gap between resource-constrained microcontrollers and powerful computing devices in ROS-based robotic applications. After modeling the callback scheduling module and the communication module in micro...
To address the power balance and economic operation issues of microgrids with high-penetration renewable energy, this paper explores the synergistic regulation potential of combined heat and power, carbon capture, and power-to-gas, and proposes a mul...
With the increasing number of space debris, the demand for telescopes to observe space debris is also constantly increasing. The telescope observation scheduling problem requires algorithms to schedule telescopes to maximize observation value within...
Laser weeding offers significant advantages over conventional weed control methods; however, its practical deployment in maize fields remains challenging due to dynamic target variations, imprecise weed localization, and inefficient laser execution....
To address the strong constraints, multiple objectives, and high dynamism of space telemetry, tracking, and command (TT&C) resource scheduling in flight-type launch scenarios, this study proposes a dynamic scheduling approach that integrates prio...
With the development of wireless communication technology, wireless body area networks (WBANs) have become a fundamental support tool in medical applications. In a real hospital scenario, however, the interference between wireless medical devices and...
For the existing multi-product integrated scheduling algorithm considering the delivery date, the inability to fully consider the processing order of multiple products and the potential scheduling conflicts in the processing process causes problems s...
Priority in task scheduling and resource allocation for cloud computing has attracted significant attention from the research community. However, traditional scheduling algorithms often lack the ability to differentiate between tasks with varying lev...
A timing constraint and a high level of reliability are the fundamental requirements for designing hard real-time systems. To support both requirements, the N modular redundancy (NMR) technique as a fault-tolerant real-time scheduling has been propos...
Multi-runway sequencing of unmanned aerial vehicles (UAVs) at temporary disaster relief aerodromes presents a priority-heterogeneous scheduling problem under class-asymmetric wake turbulence constraints. We formulate this as a priority-weighted Marko...
Fixed-priority schedulability analysis for uniprocessor real-time systems is computationally difficult, and exact Rate Monotonic (RM) analysis is weakly NP-complete. This paper develops an exact lattice-theoretic formulation for the family of weighte...
A challenge in the design of cyber-physical systems is to integrate the scheduling of tasks of different criticality, while still providing service guarantees for the higher critical tasks in the case of resource-shortages caused by faults. While sta...
This paper presents a novel approach for providing a mobile battery swapping service for electric vehicles (EVs) that is provided by a mobile battery swapping van. This battery swapping van can carry many fully charged batteries and drive up to an EV...
Nowadays the utilization of Electric Vehicles (EVs) has greatly increased. They are attaining greater attention due to their impacts on the grid at the distribution level. However, due to the increased need for electricity, EVs are also used to serve...
Target tracking is an essential issue in wireless sensor networks (WSNs). Compared with single-target tracking, how to guarantee the performance of multi-target tracking is more challenging because the system needs to balance the tracking resource fo...
Time-Sensitive Networking (TSN) with Cyclic Queuing and Forwarding (CQF) is a critical mechanism for ensuring deterministic forwarding. However, existing incremental schedulers typically rely on single-dimensional heuristics, which fail to address th...
Under the guidance of carbon peaking and carbon neutrality goals, the power industry is transitioning toward environmentally friendly practices. With the increasing integration of intermittent renewable energy sources (RES) and the enhanced self-regu...
The time resource management of phased-array radars is the key to fulfilling their performance, such as how phased-array radar can efficiently and reasonably schedule tasks under limited resources. Therefore, this paper proposes a task scheduling alg...
The paper explores an advanced single-server M/G/1 retrial queueing model that employs a push-out service with two unique classes of customers, i.e., transient (priority) customers and recurrent customers. The arrivals of customers are Poisson proces...
of 13