Contract-based Heterogeneous Analysis and Systems Exploration

CHASE is a framework for requirement capture, formalization, and validation for cyber-physical systems.

Intended Use

CHASE features a modular and extensible software infrastructure that can support different domain-specific languages, modeling formalisms, and analysis tools. It has been applied to industrial design examples, including control of aircraft power distribution networks and arbitration of a mixed-criticality automotive bus.


A paper about CHASE has been presented at the IEEE/ACM Design Automation and Test in Europe (DATE) conference 2018

Pierluigi Nuzzo, Michele Lora, Yishai Feldman, Alberto Sangiovanni-Vincentelli,
“CHASE: Contract-Based Requirement Engineering for Cyber-Physical System Design”

To cite chase in an academic work, please use the following bibtex entry:

  title={CHASE: Contract-based requirement engineering for cyber-physical system design},
  author={Nuzzo, Pierluigi and Lora, Michele and Feldman, Yishai A and Sangiovanni-Vincentelli, Alberto L},
  booktitle={Proceendings of the Design, Automation \& Test in Europe Conference \& Exhibition (DATE) 2008},

The scalability directory, within the demo directory contains the specification files used in the experimental section of the paper.

CHASE components and repositories

CHASE is organized in the following components, available at the corresponding repositories:



This work was supported in part by the TerraSwarm Research Center, one of six centers supported by the STARnet phase of the Focus Center Research Program (FCRP) a Semiconductor Research Corporation program sponsored by MARCO and DARPA. Currently, it is supported by the European Project DeFacto (Design automation for smart Factories) under the grant number H2020-MSCA-IF-894237.