Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
An efficient schedulability analysis for optimizing systems with adaptive mixed-criticality scheduling
Zhao Y., Zeng H. Real-Time Systems53 (4):467-525,2017.Type:Article
Date Reviewed: Oct 16 2017

Mixed-criticality (MC) systems are of particular interest today. The adaptive scheduling of tasks on such systems attracts a lot of attention because of the complexity of the activity due to the high number of parameters and constraints and the need to find solutions as the scale of the problem increases.

In this long paper, the authors propose an adaptive MC scheduling analysis and optimization able to fulfill the designers’ constraints and optimize the adopted objective function, while keeping the complexity of the design space exploration under control. The adopted solution trades off accuracy (in a moderate way) in order to manage problems that are almost twice the size of the problems that can be handled by existing solutions. To do so, the authors formally introduce the elements of the problem and demonstrate, through a series of theorems, how it is possible to work on a smaller problem.

The experimental validation is presented with an in-depth analysis of the quality of the proposed approach against the reference work performed by Baruah et al. in 2011 [1], used as a baseline for both accuracy and scalability; results well support the authors’ claims.

The problem is a complex one, and its formulation and solution require a formal approach that makes the paper particularly “heavy” to read, consisting mainly of theorems, lemmas, and proofs. The application to two case studies allows the reader to qualitatively and quantitatively appreciate, at the end of the long formalization, the presented work.

Reviewer:  C. Bolchini Review #: CR145592 (1712-0816)
1) Baruah, S.; Burns, A.; Davis, R. Response-time analysis for mixed criticality systems. In Proc. of the 32nd IEEE Real-Time Systems Symposium (RTSS) IEEE, 2011, 0–.
Bookmark and Share
 
Optimization (G.1.6 )
 
 
Scheduling (D.4.1 ... )
 
 
Scheduling (I.2.8 ... )
 
Would you recommend this review?
yes
no
Other reviews under "Optimization": Date
A general-purpose global optimizer: implementation and applications
Pronzato L., Walter E., Venot A., Lebruchec J. Mathematics and Computers in Simulation XXVI(5): 412-422, 1984. Type: Article
Jul 1 1985
Minkowski matrices.
Cryer C. ACM Transactions on Mathematical Software 9(2): 199-214, 1983. Type: Article
Feb 1 1985
Numerical optimization techniques
Evtushenko Y., Springer-Verlag New York, Inc., New York, NY, 1985. Type: Book (9789780387909493)
Jun 1 1986
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy