HACK (Heterogeneous Architectures simulation and ChecKing) project aims to provide graphical modeling capabilities endowed with formal semantics to describe cyber-physical systems (CPSs) and enable their simulation and verification. Currently, HACK relies on the combination of two tools: Ptolemy II for design and simulation of CPSs using heterogeneous hierarchical actor-based models, and OCRA, a tool that provides automated support for contract-based design with temporal logics. This work is an enhancement of the current version of Ptolemy II that enables simulation, verification and contract-based design of CPSs.

You can find tutorial, examples and code at https://gitlab.sagelab.it/sage/hack