Multi-Facets Contract for Modeling and Verifying Heterogeneous SystemsMulti-Facets Contract for Modeling and Verifying Heterogeneous Systems • April 23rd, 2021
Abstract. Critical and cyber-physical systems (CPS) such as nuclear power plants, railway, automotive or aeronautical industries are complex heterogeneous sys- tems. They are perimeter-less, built by assembling various heterogeneous and interacting components which are frequently reconfigured due to evolution of requirements. The modeling and analysis of such systems are challenges in soft- ware engineering. We introduce a new method for modeling and verifying hetero- geneous systems. The method consists in: equipping individual components with generalized contracts that integrate various facets related to different concerns, composing these components and verifying the resulting system with respect to the involved 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.