The CHESS project has developed a first set of prototypes of the tools, which are being evaluated by the industrial user partners in the project. Video demonstrations of the prototype tools are available for viewing by clicking the links below.
This set of video clips covers the following activities of the CHESS process
This video clip covers the modeling of State-Based extra functional properties and also the State-Based Analysis
This set of video clips covers the modeling of extra functional/real time properties and also the Schedulability Analysis.