Modeling and analysis of heterogeneous systems with generalized contracts

The modeling, assembly, analysis, and maintenance of open and complex heterogeneous systems are still challenging in software engineering. The components of heterogeneous systems may cover various concerns, ranging from their nature (software or physical devices), their offered functionalities, to their specific features. The composition of these components should be flexible; it must be adapted to the reused components and to their local features, whatever the origin of these components. We propose a method for modeling, composing, and verifying heterogeneous systems. The method consists in equipping individual components with generalized contracts that integrate various facets related to different concerns, composing these components according to their facets and verifying the resulting system with respect to the involved facets as well. We have detailed the steps of the method, formalized the underlining concepts to favor formal analysis, and we have formalized the composition. We illustrated the use of the method with a case study. The proposed method may be used or extended to cover more facets, and by strengthening assistance tool through proactive aspects in modeling, composing multi-facets contracts, and finally verifying the heterogeneous systems.

• Publication year

  2025

• Venue

  International Journal of Computer Applications

• Publication date

  2025-07-09

• Fields of study

  Not labeled

• Identifiers
  DOI 10.1080/1206212X.2025.2522771
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Modeling and analysing Cyber-Physical Systems in HOL-CSP

  2023cited by this paper
• A Verification Framework for Component Based Modeling and Simulation : "Putting the pieces together"

  2023cited by this paper
• Model-based engineering for designing cyber-physical systems from product specifications

  2023cited by this paper
• Modeling and Analysis of the Landing Gear System with the Generalized Contracts

  2021cited by this paper
• A hybrid algorithm (BAPSO) for capacity configuration optimization in a distributed solar PV based microgrid

  2021influential reference
• Statecharts: A Formalism to Model, Simulate and Synthesize Reactive and Autonomous Timed Systems

  2020cited by this paper
• Multi-Facets Contract for Modeling and Verifying Heterogeneous Systems

  2020cited by this paper
• An Integrated Modeling, Simulation and Analysis Framework for Engineering Complex Systems

  2019cited by this paper
• Tradeoff Analysis for Conflicting Software Non-Functional Requirements

  2019cited by this paper
• Coherent Extension, Composition, and Merging Operators in Contract Models for System Design

  2019cited by this paper
• Layering Assume-Guarantee Contracts for Hierarchical System Design

  2018cited by this paper
• Contracts for System Design

  2018cited by this paper
• Review on cyber-physical systems

  2017cited by this paper
• Mastering Heterogeneous Behavioural Models

  2017influential reference
• Compositional Contract Abstraction for System Design

  2014cited by this paper
• Supporting Heterogeneity in Cyber-Physical Systems Architectures

  2014cited by this paper
• The MechatronicUML method: model-driven software engineering of self-adaptive mechatronic systems

  2014cited by this paper
• Rigorous system design

  2013cited by this paper
• Tutorial

  2013cited by this paper
• A Compositional Specification Theory for Component Behaviours

  2012cited by this paper
• On Safety Properties and Their Monitoring

  2012cited by this paper
• Rigorous System Design: The BIP Approach

  2011cited by this paper
• A Classification Framework for Software Component Models

  2011cited by this paper
• Multilevel Contracts for Trusted Components

  2010influential reference
• Exploring models of computation with Ptolemy II

  2010cited by this paper
• Disciplined Heterogeneous Modeling - Invited Paper.

  2010cited by this paper
• Heterogeneous composition of models of computation

  2009cited by this paper
• Composing Components with Shared Services in the KmeliaModel

  2008cited by this paper
• Multiple Viewpoint Contract-Based Specification and Design

  2008cited by this paper
• Model-Driven Development with Mechatronic UML

  2008cited by this paper
• Handbook of Modal Logic

  2007cited by this paper
• Checking Component Composability

  2006cited by this paper
• Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML

  2003cited by this paper
• Tutorial: an overview of UML 2

  2003cited by this paper
• The SPIN Model Checker

  2003cited by this paper
• On the composition of secure systems

  2002cited by this paper
• Interface Theories for Component-Based Design

  2001cited by this paper
• Possibilistic definitions of security-an assembly kit

  2000cited by this paper
• An assume-guarantee rule for checking simulation

  1998cited by this paper
• Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations

  1997cited by this paper
• A general theory of composition for trace sets closed under selective interleaving functions

  1994cited by this paper
• Communicating parallel processes

  1986cited by this paper
• Communicating sequential processes

  1983cited by this paper
• A Contract and Facet Based Method for Modelling and Verification of Heterogeneous Systems

  year unknowncited by this paper

• No citing papers are available for this paper.