Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , , , , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866916489519431680 |
|---|---|
| author | Incer, Inigo Badithela, Apurva Graebener, Josefine Mallozzi, Piergiuseppe Pandey, Ayush Yu, Sheng-Jung Benveniste, Albert Caillaud, Benoit Murray, Richard M. Sangiovanni-Vincentelli, Alberto Seshia, Sanjit A. |
| author_facet | Incer, Inigo Badithela, Apurva Graebener, Josefine Mallozzi, Piergiuseppe Pandey, Ayush Yu, Sheng-Jung Benveniste, Albert Caillaud, Benoit Murray, Richard M. Sangiovanni-Vincentelli, Alberto Seshia, Sanjit A. |
| contents | Contract-based design is a method to facilitate modular system design. While there has been substantial progress on the theory of contracts, there has been less progress on scalable algorithms for the algebraic operations in this theory. In this paper, we present: 1) principles to implement a contract-based design tool at scale and 2) Pacti, a tool that can efficiently compute these operations. We then illustrate the use of Pacti in a variety of case studies. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2303_17751 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design Incer, Inigo Badithela, Apurva Graebener, Josefine Mallozzi, Piergiuseppe Pandey, Ayush Yu, Sheng-Jung Benveniste, Albert Caillaud, Benoit Murray, Richard M. Sangiovanni-Vincentelli, Alberto Seshia, Sanjit A. Logic in Computer Science Systems and Control Contract-based design is a method to facilitate modular system design. While there has been substantial progress on the theory of contracts, there has been less progress on scalable algorithms for the algebraic operations in this theory. In this paper, we present: 1) principles to implement a contract-based design tool at scale and 2) Pacti, a tool that can efficiently compute these operations. We then illustrate the use of Pacti in a variety of case studies. |
| title | Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design |
| topic | Logic in Computer Science Systems and Control |
| url | https://arxiv.org/abs/2303.17751 |