ITR: Foundations of Hybrid and Embedded Software Systems

这个ITR项目旨在发展现代系统科学的基础，它同时是计算和物理的；它将时间、并发性、健壮性、连续性和资源管理与计算重新结合起来。由于侧重于基础，该项目将提供一种以混合系统为基础的全新范式，用于在微观和宏观层面上对物理和生物科学中出现的许多复杂现象进行建模和分析。该项目的这些成果是在许多安全关键应用中部署嵌入式自主计算的先决条件，从医疗设备到交通运输，再到航空电子设备中的国家安全需求。对新教育模式的关注将培养新一代工程师，他们将能够掌握复杂、不同类型系统的设计，这些系统将成为未来IT行业的支柱。拟议的ITR有四个重点研究领域。(A)混合系统理论。这里的重点是扩大将物理建模与计算系统相结合的开创性方法。(B)基于模型的设计。这里的主要工作是开发一套具有坚实的数学基础的模型，允许系统规范、设计、综合、分析和验证、执行和设计演变(C)高级工具体系结构方面的不同努力的系统集成。该项目的成果将是一套可重复使用的、可互操作的软件模块，作为开放源码软件免费分发。(四)实验研究。该计划将利用现有的系统建设努力，涉及航空电子、反恐技术、车辆电子和自动机器人。此外，我们还将把我们的方法应用到嵌入式系统的网络中，用于环境监测、建筑保护和应急响应等应用。这一变化对教学和研究的影响是深远的，不会局限于研究生水平。基于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).