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

Robustness analyzes the impact of small perturbations in the semantics of amodel. This allows to model hardware imprecision and therefore it has beenapplied to determine implementability of timed automata. In a recent paper, weextend this problem to a specification theory for real-timed systems based ontimed input/output automata, that are interpreted as two-player games. Wepropose a construction that allows to synthesize an implementation of aspecification that is robust under a given timed perturbation, and we study theimpact of these perturbations when composing different specifications.  To complete this work we present a technique that evaluates the greatestadmissible perturbation. It consists in an iterative process that extracts aspoiling strategy when a game is lost, and through a parametric analysisrefines the admissible values for the perturbation. We demonstrate thisapproach with a prototype implementation.

A Parametric Counterexample Refinement Approach for Robust Timed Specifications