Compositional Thinking in Cyberphysical Systems Theory

TL;DR

This paper proposes a category theory-based approach to compositional modeling and verification of cyber-physical systems, enhancing safety and security analysis through algebraic methods.

Contribution

It introduces a novel categorical framework for modeling and verifying the composition of various system views in cyber-physical systems.

Findings

Category theory provides a strictly compositional interpretation of system models.

The approach facilitates modular verification of safety-critical systems.

Enhances understanding of system integration through algebraic structures.

Abstract

Engineering safe and secure cyber-physical systems requires system engineers to develop and maintain a number of model views, both dynamic and static, which can be seen as algebras. We posit that verifying the composition of requirement, behavioral, and architectural models using category theory gives rise to a strictly compositional interpretation of cyber-physical systems theory, which can assist in the modeling and analysis of safety-critical cyber-physical systems.