Multilevel Contracts for Trusted Components
Mohamed Messabihi, Pascal Andr\'e, and Christian Attiogb\'e
TL;DR
This paper presents a multilevel contract framework for designing and verifying trusted components, using a dedicated platform and a case study to demonstrate its effectiveness in ensuring component correctness and compatibility.
Contribution
It introduces multilevel contracts and a comprehensive process for their analysis within component models, supported by the COSTO platform and Kmelia model.
Findings
Successful implementation of multilevel contracts in the COSTO platform
Effective verification of component correctness and compatibility
Case study demonstrating practical applicability
Abstract
This article contributes to the design and the verification of trusted components and services. The contracts are declined at several levels to cover then different facets, such as component consistency, compatibility or correctness. The article introduces multilevel contracts and a design+verification process for handling and analysing these contracts in component models. The approach is implemented with the COSTO platform that supports the Kmelia component model. A case study illustrates the overall approach.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.