FIDDLE
(Framework for Iterative and Distributed Design of controLlers)

Implementation

To main class of FIDDLE is HPWindow.java

Running FIDDLE

FIDDLE provides four types of analysis to support the developer in the incremental design of a (partial) component. Specifically, FIDDLE provides the realizability checker, the well-formedness checker, the model checker and the substitutability checker.

Run the realizability checker

click on the following video to see how to run the realizability checker

The realizability checker is implemented in the RealizabilityChecker class

Run the well-formedness checker

click on the following video to see how to run the well-formedness checker

The well-formedness checker is implemented in the WellFormednessChecker class

Running the model checker

Click on the following video to see how to run the model-checker

The model checker is implemented in the ModelChecker class

Running the substitutability checker

click on the following video to see how to run the substitutability-checker

The model checker is implemented in the Substitutability class

Case study

The scalability results are contained in the Results folder. Further details are provided by the README of the Results folder.