Hierarchical System Design with Vertical Contracts

Nuzzo, Pierluigi; Sangiovanni‐Vincentelli, Alberto

doi:10.1007/978-3-319-95246-8_22

Cited by 9 publications

(4 citation statements)

References 44 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…At the moment, engineering researchers and practitioners attempt to address this issue by developing naming spaces and conventions. The need to capture the relationships between heterogeneous system representations in contract-based design has led to the notion of vertical contracts [12]. The congruence between our framework and contract-based design is that contracts in both senses are extensions of behavior types.…”

Section: Cyber-physical Systemsmentioning

confidence: 95%

Compositional Cyber-Physical Systems Modeling

Bakirtzis

Vasilakopoulou

Fleming

2021

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

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. APPLIED COMPOSITIONAL THINKINGLee [2], among others, recognized early in the development of the field of cyber-physical systems that there is a need for developing competing methods to hybrid systems and process algebras. While this is true, an important observation is that both these formalisms form algebras. In fact, the design of cyber-physical systems involves the study of different algebras (Figure 1).There is significant research in developing these individual algebras and implementing composition within a particular algebra. However, there is still an open problem about how to relate those paradigms that in practice represent individual models and to examine the behavior of the system as a whole must be composed too. Compositional cyber-physical systems theory [3], [4] uses category theory to transform data from one algebra to another and to ultimately relate them formally, such that we can compose across domains. This provides one solution to the open problem of composition between formal methods and their corresponding model views in cyberphysical system design [5], [6].Recently all these three areas of control [10], contracts [4], and co-design [11, chapter 4] have been described, generalized, and unified with fun-

show abstract

Section: Cyber-physical Systemsmentioning

confidence: 95%

Compositional Cyber-Physical Systems Modeling

Bakirtzis

Vasilakopoulou

Fleming

2021

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

show abstract

“…This need for formal compositional theories to support the design of is a consistent theme in literature both in the general modeling sense [12] and particularly in contract-based design [10,51]. First, the model-based design of can be greatly assisted by the composition of different types of models, which would provide traceability between the coupled physical and computational dynamics present in [2].…”

Section: Introductionmentioning

confidence: 99%

Categorical Semantics of Cyber-Physical Systems Theory

Bakirtzis,

Fleming,

Vasilakopoulou

2020

Preprint

View full text Add to dashboard Cite

Cyber-physical systems require the construction and management of various models to assure their correct, safe, and secure operation. These various models are necessary because of the coupled physical and computational dynamics present in cyberphysical systems. However, to date the different model views of cyber-physical systems are largely related informally, which raises issues with the degree of formal consistency between those various models of requirements, system behavior, and system architecture. We present a category-theoretic framework to make different types of composition explicit in the modeling and analysis of cyber-physical systems, which could assist in verifying the system as a whole. This compositional framework for cyber-physical systems gives rise to unified system models, where system behavior is hierarchically decomposed and related to a system architecture using the systems-as-algebras paradigm. As part of this paradigm, we show that an algebra of (safety) contracts generalizes over the state of the art, providing more uniform mathematical tools for constraining the behavior over a richer set of composite cyber-physical system models, which has the potential of minimizing or eliminating hazardous behavior.

show abstract

“…Being based on the concept of type constructors and product types, we belief our SCs to be a more generic approach that is able to express required type and composition constraints also between different platforms and to support their bidirectional propagation across multiple levels of hierarchical composition. Furthermore, vertical contracts [3] propose an architecture mapping relation to relate aggregation functions between the two hierarchy levels of a refinement. However, their aggregation function captures only parallel and conjunctive composition ⊗ C k and ∧ C k of contracts.…”

mentioning

confidence: 99%

Structural Contracts -- Contracts for Type Construction & Dependent Types to Ensure Consistency of Extra-Functional Reasoning

Nitsche¹

2019

Preprint

View full text Add to dashboard Cite

Targeting to use contract-based design for the specification and refinement of extra-functional properties, this research abstract suggests to use type constraints and dependent types to ensure correct and consistent top-down decomposition of contracts with respect to a specifiable type constructor. For this, we summarize the composition problem and give a short draft of our approach, called structural contracts.

show abstract

Hierarchical System Design with Vertical Contracts

Cited by 9 publications

References 44 publications

Compositional Cyber-Physical Systems Modeling

Compositional Cyber-Physical Systems Modeling

Categorical Semantics of Cyber-Physical Systems Theory

Structural Contracts -- Contracts for Type Construction & Dependent Types to Ensure Consistency of Extra-Functional Reasoning

Contact Info

Product

Resources

About