A General Framework for Hard-Real-Time Application System Design

建议书编号：CCR-9972105TITLE：A General Frame for Hard-Real-Time Application System DesignPI：Sanjoy K Baruah速率单调分析(RMA)方法是设计、分析和实现硬实时计算机应用系统的一种强大且流行的形式方法。这个项目提出解决RMA的某些缺点-它的限制性任务模型，以及克服资源共享瓶颈的方法论中有限的选择。更具体地说，这个项目的目标将是：-设计能够更准确地反映应用系统的重要属性的新的实时任务的抽象模型，并识别将应用系统映射到最合适的模型上的规则。-分析各种任务模型，以加强我们对从静态优先可行性分析的观点来看使模型不可行的内在属性的理解，-为在这些通用模型中指定的任务分配适当优先级的确定方法(算法/试探法)。-设计克服资源共享瓶颈的算法，通过更深入地了解典型共享资源的性质并利用它们的独特特性，以及-建立既验证理论结果的有用性，并使这些结果可供系统设计者使用的软件。

PROPOSAL NUMBER: CCR-9972105TITLE: A General Framework for Hard-Real-Time Application System DesignPI: Sanjoy K BaruahThe rate-monotonic analysis (RMA) methodology is a powerful and popular formalmethodology for the design, analysis, and implementation of hard-real-timecomputer application systems. This project proposes to address certainshortcomings of RMA --- its restrictive task model, and the limited optionsavailable in the methodology for overcoming resource-sharing bottlenecks.Morespecifically, the goals of this project will be:--- designing new abstract models of real-time tasks that may more accuratelyreflect important properties of application systems, and identifying rules formapping application systems onto the most appropriate models.--- analysing various task models in order to enhance our understanding ofwhatintrinsic properties render a model infeasible from a static-priorityfeasibility analysis point of view, and identifying very general classes oftractable models.--- determining methods (algorithms/ heuristics) for assigning appropriatepriorities to tasks specified in these general models.--- designing algorithms for overcoming resource-sharing bottlenecks, byobtaining a deeper understanding of the nature of typical shared resources andby exploiting their unique characteristics, and--- building software that both validates the usefulness of the theoreticalresults, and makes these results available to the system designer.