English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

Increased complexity in cyber-physical systems calls for modular systemdesign methodologies that guarantee correct and reliable behavior, both innormal operations and in the presence of failures. This paper aims to extendthe contract-based design approach using a directive-response architecture toenable reactivity to failure scenarios. The architecture is demonstrated on amodular automated valet parking (AVP) system. The contracts for the differentcomponents in the AVP system are explicitly defined, implemented, and validatedagainst a Python implementation.

Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture