Multi-Facets Contract for Modeling and Verifying Heterogeneous Systems

12/26/2020
by   Abdelkader Khouass, et al.
0

Critical and cyber-physical systems (CPS) that exist in large industries, such as nuclear power plants, railway, automotive or aeronautical industries are complex heterogeneous systems. They are complex because they are open, perimeter-less, often built by assembling various heterogeneous and interacting components which are frequently reconfigured due to requirements. Consequently, the modeling and analysis of such systems is a challenge in software engineering. We introduce a new method for modeling and verifying heterogeneous systems. The method consists in: equipping individual components with generalized contract, ordering these contracts according to given facets, composing these components and verifying the resulting system with respect to the facets. We illustrate the use of the method by a case study. The proposed method may be extended to cover more facets, and by strengthening assistance tool through proactive aspects in modelling and property verification.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/19/2021

Modeling and Analysis of the Landing Gear System with the Generalized Contracts

Nowadays, there are several complex systems in different sectors such as...
research
04/13/2020

Automatic Generation of Hierarchical Contracts for Resilience in Cyber-Physical Systems

With the growing scale of Cyber-Physical Systems (CPSs), it is challengi...
research
08/10/2022

A Compositional Approach to Verifying Modular Robotic Systems

Robotic systems used in safety-critical industrial situations often rely...
research
12/12/2017

Toward `verifying' a Water Treatment System

Modeling and verifying real-world cyber-physical systems are challenging...
research
01/25/2022

Data-driven Mutation Analysis for Cyber-Physical Systems

Cyber-physical systems (CPSs) typically consist of a wide set of integra...
research
04/08/2023

Nuclear Arms Control Verification and Lessons for AI Treaties

Security risks from AI have motivated calls for international agreements...
research
05/11/2023

Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts

Leakage contracts have recently been proposed as a new security abstract...

Please sign up or login with your details

Forgot password? Click here to reset