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 Tools annual

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 Tools monthly

Global: Zendy Plus monthly

Presents the access of premium content as premium feature

Premium Content

Global: Zendy Plus annual

Global: Zendy Free Plan

One of the ultimate goals of software engineering is to leave virtual spacesand move real things. We take one step toward supporting users with this goalby connecting a type-based synthesis algorithm, (CL)S, and its IDE to alogistics lab environment. The environment is built and used by domain experts,who have little or no training in formal methods, and need to cope with largespaces of software, hardware and problem specific solution variability. Itconsists of a number of Cyber-Physical Systems (CPS), including wheel-drivenrobots as well as flying drones, and it has laser-based support to visualizetheir possible movements. Our work describes results on an experimentintegrating the latter with (CL)S. Possibilities and challenges of working inthe domain of logistics and in cooperation with its experts are outlined.Future research plans are presented and an invitation is made to join theeffort of building better, formally understood, development tools forCPS-enabled industrial environments.

Experience Report: Towards Moving Things with Types -- Helping Logistics Domain Experts to Control Cyber-Physical Systems with Type-Based Synthesis