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提议通过一些正式方法来增强对复杂，多处理器，实时系统的行为的理解，这些方法试图以可行性，时间表能力和其他重要的实时限制和其他重要的实时限制和问题来建模和分析此类系统。Intlectualdellectual-dellectual-dellectual dyledlect deSlectal deSlectal deSlectal decter的新型抽象模型的实时任务准确地捕获了在现实的应用程序中，以捕获型号的应用程序，并捕获了型号的正式应用程序，并将其用于实现的现实生活系统的正式特征，并且是现实生活中的型号，这些模型是实现生命的型号，并且是实时的型号。模型。设计新的运行时多处理器调度算法，这些算法在运行时效率和在线分析的障碍方面，这些算法比当前使用的算法要好得多。在线分析的障碍方面。进行各种（当前和新的）任务模型，以增强我们的内在属性的理解，从而使我们的内在属性构建非常有能力识别一个通用的模型分析，并可以识别一个contract。验证本研究过程中获得的理论结果的有用性的“概念证明”软件。BoaderImpact-All Impact-All工具和开发平台将作为该项目的一部分实施，并将通过Internet进行传播，并将通过Internet进行传播。开发平台将被纳入实时和范围的实验性的涉及的实验和培训。在这些平台上的申请。这是一致的努力，以使代表性不足的群体参与这项研究。 - PIS打算访问该地区的一些历史悠久的黑人大学，以进行有关其工作的演讲，并希望建立研究合作伙伴关系。公共宣传也将通过参加UNC的长期运行演示计划来实现，该计划旨在旨在K-12学生，大学生和学校老师。