ITR: Foundations of Hybrid and Embedded Software Systems

这个ITR项目旨在发展同时是计算和物理的现代系统科学的基础；它将时间、并发性、健壮性、连续性和资源管理重新结合到计算中。由于该项目侧重于基础，因此将提供一种基于混合系统的全新范例，用于在微观和宏观层面上对物理和生物科学中发生的许多复杂现象进行建模和分析。该项目的这些成果是在许多安全关键应用中部署嵌入式自主计算的先决条件，从医疗设备到运输，再到航空电子设备的国家安全需求。对新教育模式的关注将造就新一代工程师，他们将能够掌握复杂、异构系统的设计，这些系统将成为未来IT行业的支柱。拟议的ITR有四个重点研究领域。(a)混合系统理论。这里的重点是扩展将物理建模与计算系统集成在一起的开创性方法。(b)基于模型的设计。这里的主要工作是开发一组具有坚实数学基础的模型，这些模型允许系统规范、设计、综合、分析和验证、执行以及设计演进(c)中的各种工作的系统集成。该项目的可交付成果将是一组可重用的、互操作的软件模块，并作为开源软件免费分发。(d)实验研究。该项目将利用现有的系统建设工作，包括航空电子设备、反恐技术、车辆电子设备和自主机器人。此外，我们将把我们的方法应用于嵌入式系统网络，用于环境监测、建筑保护和应急响应等应用。这种变化对教学和研究的影响是深远的，而且不会局限于研究生水平。基于UCB正在进行的开创性努力，我们建议有意地重新设计和重组参与机构的本科教学，并参与与UCB建立关系的一系列加州社区学院的课程开发，这些学院的西班牙裔和非裔美国学生入学率很高。每年夏天，来自少数民族和其他机构的教师和研究生研究人员将被招募参加一个名为SIPHER（混合和嵌入式软件研究暑期实习计划）的项目。

This ITR project is aimed at developing the foundations of a modern systems science that is simultaneously computational and physical; it remarries time, concurrency, robustness, continuums, and resource management to computation. This project, because of its focus on foundations, will provide a fundamentally new paradigm, based on hybrid systems, for modeling and analysis of many complex phenomena that occur in the physical and biological sciences on both microscopic and macroscopic levels. These outcomes of the project are prerequisites for the deployment of embedded, autonomous computing in many safety-critical applications, from medical devices to transportation to national security needs in avionics. The attention to a new education model will create a new generation of engineers who will be able to master the design of complex, heterogeneous systems that will be the backbone of the future IT industry.The proposed ITR has four focus areas of research. (a) Hybrid systems theory. The focus here is on scaling up pioneering approaches that integrate physical modeling with computational systems. (b) Model-based design. The main effort here is to develop a set of models with solid mathematical foundations that allow for the systematic integration of diverse efforts in system specification, design, synthesis, analysis and validation, execution, and design evolution (c) Advanced tool architectures. The deliverables from this project will be a set of reusable, inter-operating software modules, freely distributed as open-source software. (d) Experimental research. The program will leverage existing system-building efforts involving avionics, anti-terrorism technologies, vehicle electronics, and autonomous robots. In addition we will apply our methods to networks of embedded systems for applications such as environment monitoring, building protection, and emergency response. The impact of this change on teaching and research is profound, and will not be confined to the graduate level. Based on the ongoing, groundbreaking effort at UCB, we propose to deliberately re-architect and retool undergraduate teaching at the participating institutions, and to engage in course development at a set of California community colleges with which UCB has established relationships and which have a high enrollment of Hispanic and African American students. Faculty and graduate student researchers from minority and other institutions will be recruited each summer to participate in a program called SIPHER (Summer Internship Program in Hybrid and Embedded Software Research).