面向异构系统建模与重用的多方面契约
Multi-Facets Contract for Modeling and Verifying Heterogeneous Systems
摘要：
存在于大型工业中的关键和信息物理系统（CPS），例如核电站、铁路、汽车或航空工业，是复杂的异构系统。它们是复杂的，因为它们是开放的，无边界的，通常是通过组装各种异构和交互的组件来构建的，这些组件由于需求而经常重新配置。因此，对此类系统的建模和分析是软件工程中的一个挑战。提出了一种新的异构系统建模与验证方法。该方法包括：为各个组件配备通用合同，根据给定的方面对这些合同进行排序，组合这些组件，并相对于方面验证所得到的系统。我们通过一个案例研究来说明该方法的使用。拟议的方法可以扩展到涵盖更多的方面，并通过在建模和属性验证方面的积极主动来加强援助工具。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
