Optimal Configuration for Multiversion Real-Time Systems Using Slack Based Schedulability
スポンサーリンク
概要
- 論文の詳細を見る
In an embedded control system, control performances of each job depend on its latency and a control algorithm implemented in it. In order to adapt a job set to optimize control performances subject to schedulability, we design several types of control software for each job, which will be called versions, and select one version from them when the job is released. A real-time system where each job has several versions is called a multiversion real-time system. A benefit and a CPU utilization of a job depend on the versions. So, it is an important problem to select a version of each job so as to maximize the total benefit of the system subject to a schedulability condition. Such a problem will be called an optimal configuration problem. In this paper, we assume that each version is specified by the relative deadline, the execution time, and the benefit. We show that the optimal configuration problem is transformed to a maximum path length problem. We propose an optimal algorithm based on the forward dynamic programming. Moreover, we propose sub-optimal algorithms to reduce computation times. The efficiencies of the proposed algorithms are illustrated by simulations.
- (社)電子情報通信学会の論文
- 2010-12-01
著者
-
Ushio Toshimitsu
Graduate School Of Engineering Science At Osaka University
-
TERADA Sayuri
Graduate School of Engineering Science, Osaka University
-
Terada Sayuri
Graduate School Of Engineering Science Osaka University
関連論文
- Adaptive Fair Resource Allocation for Energy and QoS Trade-Off Management
- Adaptive Fair Sharing Control in Real-Time Systems Using Nonlinear Elastic Task Models(Nonlinear Problems)
- Synthesis of Nonautonomous Systems with Specified Limit Cycles(Oscillation, Dynamics and Chaos,Nonlinear Theory and its Applications)
- Analysis of Automation Surprises in Human-Machine Systems with Time Information(Selected Papers from the 18th Workshop on Circuits and Systems in Karuizawa)
- Special Section on Nonlinear Theory and its Applications
- Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicate
- Scheduling of Periodic Tasks on a Dynamically Reconfigurable Device Using Timed Discrete Event Systems(Concurrent Systems,Concurrent/Hybrid Systems: Theory and Applications)
- Optimal Configuration for Multiversion Real-Time Systems Using Slack Based Schedulability
- Automatic Generation of User Manuals without Automation Surprises for Human-Machine Systems Modeled by Discrete Event Systems
- Synthesis of Hybrid Systems with Limit Cycles Satisfying Piecewise Smooth Constraint Equations(Selected Papers from the 16th Workshop on Circuits and Systems in Karuizawa)
- PID Congestion Control in ATM with Propagation Delay
- Control-Invariance of Sampled-Data Hybrid Systems with Clocked Events and Jitters(Selected Papers from the 19th Workshop on Circuits and Systems in Karuizawa)
- On-Line Control of Discrete Event Systems with a Maximally Controllable and Observable Sublanguage
- Controlling Chaos in a Hogg-Huberman Model of a Manufacturing System
- Decentralized Supervisory Control of Discrete Event Systems Based on Reinforcement Learning(Concurrent/Hybrid Systems : Theory and Applications)
- Co-scheduling of Communication and Control of Multi-Hop Control Networks
- An Application of Game Automaton to Quantitative Supervisory Control
- An Application of Game Automaton to Quantitative Supervisory Control
- A-12-2 An Approximate Method for Solving Optimal Control Problems of MLD systems