Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design

From Murray Wiki
Jump to navigationJump to search
Title Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design
Authors Inigo Incer, Apurva Badithela, Josefine Graebener, Piergiuseppe Mallozzi, Ayush Pandey, Sheng-Jung Yu, Albert Benveniste, Benoit Caillaud, Richard M. Murray, Alberto Sangiovanni-Vincentelli and Sanjit A. Seshia
Source Submitted, ACM Transactions on Cyber-Physical Systems (TCPS), Aug 2023
Abstract 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.
Type Journal submission
URL https://arxiv.org/abs/2303.17751
DOI
Tag Inc+23=TCPS
ID 2023h
Funding AFOSR T&E2, AFOSR Syn Bio MURI
Flags