基于容错契约的定向响应自动代客泊车系统设计
Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture
摘要：
信息物理系统的复杂性增加，需要模块化的系统设计方法，以保证在正常操作和出现故障时的正确和可靠的行为。本文的目的是扩展基于合同的设计方法，使用一个直接响应架构，使故障情况下的反应。该架构是在一个模块化的自动代客泊车（AVP）系统上演示的。AVP系统中不同组件的契约是显式定义、实现的，并针对Python实现进行验证。
英文摘要：
Increased complexity in cyber-physical systems calls for modular system design methodologies that guarantee correct and reliable behavior, both in normal operations and in the presence of failures. This paper aims to extend the contract-based design approach using a directive-response architecture to enable reactivity to failure scenarios. The architecture is demonstrated on a modular automated valet parking (AVP) system. The contracts for the different components in the AVP system are explicitly defined, implemented, and validated against a Python implementation.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
