CAREER: High-Confidence Software for Embedded Aerospace Systems

职业：用于嵌入式航空航天系统的高可信度软件

• 批准号: 0513058
• 负责人: Emilio Frazzoli
• 金额: $ 20.2万
• 依托单位: University of California-Los Angeles
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2004
• 资助国家: 美国
• 起止时间: 2004-12-01 至 2007-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0513058&HistoricalAwards=false
• 关键词: CAREER; Confidence; Software; Embedded; Aerospace

Frazzoli, EmilioCAREER: High-Confidence Software for Aerospace Embedded SystemsCCR-0133869This research project is developing new tools and techniques for the design and analysis of high-confidence software for complex, distributed, reconfigurable aerospace embedded systems, and to transfer these methods to undergraduate and graduate students, other researchers, and industry. Examples of problems of direct interest are those arising in the control and coordination of multiple autonomous air and space vehicles, and in the detection and resolution of conflicts in Air Traffic Control. The techniques developed in this project are also applicable to other systems which require similar levels of reliability and performance, such as highway traffic automation systems, health care systems, power networks, and financial services.Of particular interest for this project is a better understanding of the interactions between real-time software and dynamical systems. This will lead to new and powerful tools and techniques for the design and analysis of embedded systems, as well as an improved approach to the requirement specification for real-time systems.The main core of the research project is aimed at dramatically reducing the complexity of embedded and hybrid systems design and verification by exploiting the geometric structure of the underlying physical system in the modelling effort, and by preserving this structure in the design of control laws and algorithms. This will make feasible for the analysis of the complete system, including its physical and software components, otherwise poorly scalable techniques such as abstract interpretation and model checking, and will provide the means for the effective use of techniques based on compositionalreasoning.For example, group symmetries in vehicle dynamics give rise to families of equivalent controlled trajectories: such sets are called motion primitives for single vehicles, and motion coordination primitives for groups of vehicles. A maneuver automaton is a collection of a finite number of motion primitives. In other words, a maneuver automaton is a discrete model of the vehicle dynamics, which leads to a dramatic reduction of the complexity of describing and controlling the vehicle behavior, by providing a high level of abstraction, and at the same time providing invariants which ensure that the physical state remains within some known bounds.The educational part of the project is implemented through new course and curriculum development, and student mentoring. The main educational objective is to provide both undergraduate and graduate students with the knowledge and the skills to understand the key issues and to ensure technical leadership in the current and future aerospace information technology arenas. Finally, a special effort is devoted to the development of an interactive web site, where it is possible to access all the relevant information and software developed for the courses, and as a result of the research project.

Frazzoli, EmilioCAREER：航空航天嵌入式系统的高可信度软件CCR-0133869该研究项目正在开发新的工具和技术，用于复杂、分布式、可重构航空航天嵌入式系统的高可信度软件的设计和分析，并将这些方法转移给本科生和研究生、其他研究人员和行业。 直接关注的问题的例子是在多个自主航空航天器的控制和协调中以及在空中交通管制中发现和解决冲突中出现的问题。该项目开发的技术也适用于需要类似可靠性和性能水平的其他系统，例如高速公路交通自动化系统、医疗保健系统、电力网络和金融服务。该项目特别感兴趣的是更好地理解实时软件和动态系统之间的交互。 这将为嵌入式系统的设计和分析带来新的、强大的工具和技术，以及实时系统需求规范的改进方法。该研究项目的主要核心旨在通过在建模工作中利用底层物理系统的几何结构，并在控制律和控制律的设计中保留这种结构，从而显着降低嵌入式和混合系统设计和验证的复杂性。 算法。这将使对整个系统（包括其物理和软件组件）的分析变得可行，否则可扩展性较差的技术（例如抽象解释和模型检查）将成为有效使用基于组合推理的技术的手段。例如，车辆动力学中的组对称性产生了等效受控轨迹族：此类集合称为单个车辆的运动基元，以及车辆组的运动协调基元。机动自动机是有限数量的运动基元的集合。换句话说，机动自动机是车辆动力学的离散模型，通过提供高水平的抽象，同时提供确保物理状态保持在某些已知范围内的不变量，可以显着降低描述和控制车辆行为的复杂性。该项目的教育部分是通过新课程和课程开发以及学生指导来实施的。主要教育目标是为本科生和研究生提供理解关键问题的知识和技能，并确保当前和未来航空航天信息技术领域的技术领先地位。 最后，我们特别致力于开发一个交互式网站，在这里可以访问为课程开发的所有相关信息和软件以及研究项目的结果。