Runtime Composition Of Systems of Interacting Cyber-Physical Components

05/25/2022
by   Benjamin Lion, et al.
0

We introduce a transition system based specification of cyber-physical systems whose semantics is compositional with respect to a family of algebraic products. We give sufficient conditions for execution of a product to be correctly implemented by a lazy expansion of the product construction. The transition system algebra is implemented in the Maude rewriting logic system, and we report a simple case study illustrating compositional specification.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/08/2022

A Rewriting Framework for Interacting Cyber-Physical Agents

The analysis of cyber-physical systems (CPS) is challenging due to the l...
research
07/03/2022

A Formal Framework for Distributed Cyber-Physical Systems

Composition is an important feature of a specification language, as it e...
research
10/13/2020

Adaptive Testing for Specification Coverage

Ensuring correctness of cyber-physical systems (CPS) is an extremely cha...
research
01/29/2020

Extended Algebraic State Transition Diagrams

Algebraic State-Transition Diagrams (ASTDs) are extensions of common aut...
research
10/02/2021

A Semantic Model for Interacting Cyber-Physical Systems

We propose a component-based semantic model for Cyber-Physical Systems (...
research
08/30/2019

Compositional specification in rewriting logic

Rewriting logic is naturally concurrent: several subterms of the state t...
research
07/31/2023

Compositional Verification in Rewriting Logic

In previous work, summarized in this paper, we proposed an operation of ...

Please sign up or login with your details

Forgot password? Click here to reset