CHASE

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.

Publications:

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:

@inproceedings{CHASE:2018:DATE,
  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},
  pages={839--844},
  year={2018},
  organization={IEEE}
} 

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:

Index

Acknowledgement

We acknowledge the support of the National Science Foundation (awards 1846524 and 2139982), the Office of Naval Research (award N00014-20-1-2258), the Defense Advanced Research Projects Agency (award HR00112010003), the Okawa Foundation, and the European Union’s Horizon 2020 research and innovation program under the Marie Sklodowska-Curie grant agreement No. 894237.