DCS: Multiprocessor Real-Time Computing: Formal Foundations

DCS：多处理器实时计算：形式基础

• 批准号: 0541056
• 负责人: Sanjoy Baruah
• 金额: $ 40万
• 依托单位: University of North Carolina at Chapel Hill
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2006
• 资助国家: 美国
• 起止时间: 2006-02-01 至 2009-01-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0541056&HistoricalAwards=false
• 关键词: DCS; Multiprocessor; Real; Time; Computing

BackgroundAs real-time embedded systems become ever more prevalent, important, and complex, it is becoming imperative that the formal foundations upon which the design and analysis of such systems are based keep pace with technological innovations. This proposal is addressing fundamental advances that have occurred in the real-time and embedded systems domain. First, the software that comprises such systems is becoming increasingly more complex; and second, such systems are increasingly coming to be implemented on execution platforms comprised of multiple processing units. The PIs propose to enhance the understanding of the behavior of complex, multiprocessor, real-time systems through some formal methods that attempt to model and analyze such systems in terms of feasibility, schedule ability and other important real-time constraints and issues.Intellectual Merit-Deriving new abstract models of real-time tasks that accurately capture salient features of real-life application systems that are to be implemented on multiprocessor platforms, and identifying rules for mapping application systems onto the most appropriate models.-Designing new run-time multiprocessor scheduling algorithms that are provably better than ones currently used, both in terms of run-time efficiency and in terms of tractability of on-line analysis.-Analyzing various (current and new) task models in order to enhance our understanding of what intrinsic properties render a model intractable from a timing analysis point of view, and to identify very general classes of tractable models.-Constructing "proof-of-concept" software that validates the usefulness of the theoretical results obtained during the course of this research.Broader Impact-All tools and development platforms implemented as part of this project will be made public, and will be disseminated over the Internet.-Development platforms will be integrated into undergraduate and graduate courses on real-time and embedded systems.-Advanced (seminar) courses and projects will be devised involving the development of experimental applications on these platforms.-A concerted effort will be made to involve under-represented groups in this research. -The PIs intend to visit some of the Historically Black Universities in their area to make presentations concerning their work, with the hope of establishing research partnerships.-Public outreach will also be accomplished by participating in UNC's long-running demo program, which is aimed at K-12 students, college students, and schoolteachers.

随着实时嵌入式系统变得越来越普遍、重要和复杂，设计和分析此类系统的正式基础必须跟上技术创新的步伐。该提案针对的是实时和嵌入式系统领域的根本性进展。首先，包括这样的系统的软件变得越来越复杂;其次，这样的系统越来越多地在包括多个处理单元的执行平台上实现。PI建议通过一些形式化的方法来增强对复杂的多处理器实时系统行为的理解，这些方法试图从可行性的角度对此类系统进行建模和分析，调度能力和其他重要的实时约束和问题.智力优点，推导实时任务的新的抽象模型，准确地捕捉真实的的显著特征-将在多处理器平台上实现的生活应用系统，并确定将应用系统映射到最适当模型上的规则。设计新的运行时多处理器调度算法，这些算法在运行时效率和在线分析的易处理性方面都比目前使用的算法更好。分析各种（当前的和新的）任务模型，以增强我们对从时序分析的角度来看模型难以处理的内在属性的理解，并识别易于处理的模型的非常一般的类别。构建"概念验证"软件，验证本研究过程中获得的理论结果的实用性。更广泛的影响-作为本项目一部分实施的所有工具和开发平台将公开，并将通过互联网传播。开发平台将被集成到实时和嵌入式系统的本科和研究生课程中。高级（研讨会）课程和项目将涉及在这些平台上开发实验应用程序。将作出协调一致的努力，让代表性不足的群体参与这项研究。- PI打算访问他们所在地区的一些历史上的黑人大学，介绍他们的工作，希望建立研究伙伴关系。公众宣传也将通过参与学校的长期演示计划来完成，该计划针对K-12学生，大学生和学校教师。