Collaborative Research: Localized, Layered Formal Hardware/Software Resilience Methods

提高性能和功能的驱动力已将计算机芯片推向其功率/能量和可靠性的物理极限。未来的计算系统可能会遭受高故障率，破坏其可编程性和可用性。该研究项目将利用现有技术并发明新技术来检测，隔离和从故障中恢复，并确保整体系统的弹性，对性能的影响最小。该项目利用了过去关于形式方法的丰富工作，这些工作在发现系统中的逻辑错误方面取得了成功。新制定的正式方法将侧重于增强复原力。该项目还将探索性能，功率和弹性之间的内在权衡。该项目将开发一个可扩展的平台，用于对复原力方法进行经验评估。该平台将由可编程芯片和附带的软件组件组成，该项目将促进考虑到可靠性的新系统设计方法的发展。它将通过开发和发布用于评估方法的工具，帮助填补并行系统领域中弹性研究的可用基础设施的严重空白。 该项目还将开发和发布严格指定的兼容性感知系统接口。该项目强调学生培训，包括招生和引入与复原力研究相结合的新课程。

The drive for increased performance and functionality has pushed computer chips to their physical limits of power/energy and reliability. Future computing systems are likely to suffer from high fault rates, undermining their programmability and usability. This research project will leverage existing techniques and invent new techniques to detect, isolate, and recover from faults and to ensure overall system resilience, with minimal impact on performance. The project taps into the rich body of past work on formal methods, which have been successful in finding logical errors in systems. Newly developed formal methods will focus on resilience enhancement. The project will also explore the inherent trade-offs between performance, power, and resilience. The project will develop an extensible platform for empirical evaluation of resilience methods. This platform will be comprised of programmable chips and accompanying software components.This project will foster the development of new system design methods which take reliability into account. It will help fill a serious void in readily usable infrastructures for resiliency studies in the realm of parallel systems by developing and releasing tools for evaluating the methods. The project will also develop and release rigorously specified resilience-aware system interfaces. The project emphasizes student training, including student recruitment and introduction of new classes that are integrated with resilience research.