Synthesis of real-time embedded software with local and global deadlines

First IEEE/ACM/IFIP International Conference on Hardware/ Software Codesign and Systems Synthesis (IEEE Cat. No.03TH8721) Pub Date : 2003-10-01 DOI:10.1145/944645.944679

Pao-Ann Hsiung, Cheng-Yi Lin

引用次数: 15

Abstract

Current methods cannot synthesize real-time embedded software applications when the global deadline of a task is shorter than the total of all local deadlines along a critical path in a task. This creates unnecessary modeling limitations which directly affect the types of systems synthesizable. We propose a quasi-dynamic scheduling algorithm for simultaneously guaranteeing both local and global deadlines, while satisfying all precedence constraints among subtasks and among tasks. Through this scheduling procedure, we are able to formally synthesize real-time embedded software from a network of real-time Petri net specifications. Application examples, including a driver for the master/slave role switch in Bluetooth wireless communication devices, are given to illustrate the feasibility of the scheduling algorithm.

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

具有局部和全局截止日期的实时嵌入式软件的综合

当任务的全局截止日期小于任务关键路径上所有局部截止日期的总和时，现有方法无法实时合成嵌入式软件应用程序。这造成了不必要的建模限制，直接影响可合成系统的类型。提出了一种准动态调度算法，在满足子任务之间和任务之间的所有优先约束的情况下，同时保证局部和全局最后期限。通过这个调度程序，我们能够从一个网络的实时Petri网规范正式合成实时嵌入式软件。应用实例，包括蓝牙无线通信设备中主从角色切换的驱动程序，说明了调度算法的可行性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文去求助

来源期刊

First IEEE/ACM/IFIP International Conference on Hardware/ Software Codesign and Systems Synthesis (IEEE Cat. No.03TH8721)

自引率

0.00%

发文量

期刊最新文献

VL-CDRAM: variable line sized cached DRAMs Deriving process networks from weakly dynamic applications in system-level design A low power scheduler using game theory RTOS scheduling in transaction level models Security wrappers and power analysis for SoC technology