ITR: Foundations of Hybrid and Embedded Software Systems

这个ITR项目旨在发展现代系统科学的基础，同时是计算和物理的;它将时间，并发性，鲁棒性，连续性和资源管理重新结合到计算中。该项目，因为它的重点是基础，将提供一个全新的范式，基于混合系统，在微观和宏观层面上的物理和生物科学中发生的许多复杂现象的建模和分析。该项目的这些成果是在许多安全关键应用中部署嵌入式自主计算的先决条件，从医疗设备到运输，再到航空电子设备的国家安全需求。 对新教育模式的关注将培养新一代工程师，他们将能够掌握复杂的异构系统的设计，这将是未来IT行业的支柱。(a)混合系统理论这里的重点是扩大开拓性的方法，将物理建模与计算系统相结合。(b)基于模型的设计。这里的主要工作是开发一套具有坚实数学基础的模型，这些模型允许系统地集成系统规范，设计，合成，分析和验证，执行和设计演变中的各种努力。该项目的可交付成果将是一组可重复使用的互操作软件模块，作为开源软件免费分发。(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).