Fixed-Priority Dual-Rate Mixed-Criticality Systems: Schedulability Analysis and Performance Optimization

Author(s):  
Hang Su ◽  
Peng Deng ◽  
Dakai Zhu ◽  
Qi Zhu
Symmetry ◽  
2020 ◽  
Vol 12 (9) ◽  
pp. 1515
Author(s):  
Hyeongboo Baek ◽  
Kilho Lee

Zero-laxity (ZL) and contention-free (CF) policies have received considerable attention owing to their simplicity and applicability to real-time systems equipped with symmetry multiprocessors. Recently, the ZL policy for mixed-criticality (MC) systems has been proposed and studied, but the applicability to and performance of the CF policy for MC systems have not been investigated yet. In this paper, we propose the CF policy (as a scheduling policy) for MC symmetry multiprocessor systems, referred to as the MC systems tailored CF policy (MC-CF), and a schedulability analysis in support thereof. We define the notion of contention-free slots for two different criticalities (of MC systems) of tasks, propose a technique to limit the amount to be utilized for each task by defining an upper bound, and subsequently explain the way in which the contention-free slots are systematically utilized to improve the schedulability of MC symmetry multiprocessor systems. Following this, we develop a deadline analysis (DA) for MC-CF. Using our experimental results under various environmental settings, we demonstrate that MC-CF can significantly improve the schedulability of fixed-priority scheduling.


Author(s):  
Kui Xu ◽  
Ming Zhang ◽  
Jie Liu ◽  
Nan Sha ◽  
Wei Xie ◽  
...  

Abstract In this paper, we design the simultaneous wireless information and power transfer (SWIPT) protocol for massive multi-input multi-output (mMIMO) system with non-linear energy-harvesting (EH) terminals. In this system, the base station (BS) serves a set of uplink fixed half-duplex (HD) terminals with non-linear energy harvester. Considering the non-linearity of practical energy-harvesting circuits, we adopt the realistic non-linear EH model rather than the idealistic linear EH model. The proposed SWIPT protocol can be divided into two phases. The first phase is designed for terminals EH and downlink training. A beam domain energy beamforming method is employed for the wireless power transmission. In the second phase, the BS forms the two-layer receive beamformers for the reception of signals transmitted by terminals. In order to improve the spectral efficiency (SE) of the system, the BS transmit power- and time-switching ratios are optimized. Simulation results show the superiority of the proposed beam-domain SWIPT protocol on SE performance compared with the conventional mMIMO SWIPT protocols.


Sign in / Sign up

Export Citation Format

Share Document