Scheduling Algorithms for Time Triggered Systems
Abstract
A general goal of this research is to cover the lack of flexibility in time?triggered scheduling. We will derive fundamental properties of resource?allocation problems in large?scale distributed embedded systems, and we will develop algorithms for the automated synthesis of provably correct applications. These problems will be systematically modelled (to cover composability) and solved by fast algorithms (to provide scalability) while formulating time requirements as problem constraints and efficiency as optimization criterion. The approach will be evaluated on standardized communication protocols or on models of their extensions suggested in the project. The innovation of the project is in the flexibility and mixed?criticality that are new aspects in the scheduling theory
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Feb 03, 2017
- Source ID
- N62909151N094
Entities
People
- Zdenek Hanzalek
Organizations
- Office of Naval Research
- United States Navy