Complex Engineering Systems Laboratory

Pacti is an open-source Python package for compositional system analysis and design. Pacti represents components in a system using assume-guarantee specifications, or contracts. Its capabilities, among others, include (i) obtaining sensible system specifications from the specifications of the constituent subsystems; (ii) computing specifications of subsystems that need to be added to a design in order to meet an objective; and (iii) diagnosing incompatibilities when interconnecting components. Pacti has been applied to domains ranging from synthetic biology to space-mission design.