Добро пожаловать в клуб

Показать / Спрятать  Домой  Новости Статьи Файлы Форум Web ссылки F.A.Q. Логобург    Показать / Спрятать

Главное меню
ДомойНовостиСтатьиПостановка звуковФайлыКнижный мирФорумСловарьРассылкаКаталог ссылокРейтинг пользователейЧаВо(FAQ)КонкурсWeb магазинКарта сайта

Поздравляем нового Логобуржца Алсуша со вступлением в клуб!



Software Synthesis for Energy-Constrained Hard Real-Time Systems   Eduardo Tavares

Software Synthesis for Energy-Constrained Hard Real-Time Systems

248 страниц. 2011 год.
LAP Lambert Academic Publishing
The widespread expansion of digital device market has forced embedded system companies to deal with several additional challenges in order to provide complex systems in this market niche. One of the most important challenges is related to energy consumption, mainly, due to the following factors: (i) mobility issues; (ii) environmental problems and (iii) energy costs. This book presents a software synthesis method for hard real-time systems, which takes into account intertask relations, overheads, timing as well as energy constraints. The method is composed of several activities, which include: (i) measurement; (ii) speci?cation; (iii) formal modeling; (vi) scheduling; and (v) code generation. The method is also centered on Petri net formalism, which lays down a basis for precise pre-runtime schedule generation, adopting dynamic voltage scaling (DVS) for reducing energy consumption. From a feasible schedule, a customized code is generated satisfying the speci?ed constraints...
- Генерация страницы: 0.05 секунд -