SystemCFlow

Flow Package is the complete software package to enable flow-based monitoring of SystemC models. It consists of the following components:

1. Flow Library: a C++ library using which the user can create a flow-based SystemC model;

2. FLOWMONGEN tool: A C++ tool that automatically generates flow monitors from flow properties;

3. Modified SystemC kernel: A modified version of OSCI kernel to monitor flows more effectively;

4. Airline Reservation System Model: An example flow-based SystemC model;

5. SPOT: An external C++ library used by FLOWMONGEN tool.