The National Science Foundation awarded a $499,752 Project Grant to The Washington University under the Computer and Information Science and Engineering program. The grant will support research into developing more efficient schedulability analysis algorithms for safety-critical real-time systems. The Principal Investigator will investigate using integer linear program solvers to represent common schedulability analysis problems in a manner that can be solved efficiently. A methodology will be developed to determine what types of schedulability analysis problems are well-suited for this approach. Integer linear program-based algorithms will then be designed and evaluated for problems deemed representable efficiently through this method. Successful completion of this research from July 2022 to June 2025 could significantly expand the class of real-time systems for which schedulability analysis is computationally feasible.
Generated 1/6/24, 11:56 AM