LSAT (Logistics Specification and Analysis Tool) is a performance workbench for the rapid design-space exploration of supervisory controllers that orchestrate the behavior of flexible manufacturing systems. LSAT provides an integrated development environment for the lightweight modeling of the system resources, the system behavior and the timing characteristics. The tool provides various visualizations to explore the controlled system behavior and analysis and optimization techniques to improve the overall system performance.
LSAT provides the following functionality to design high-level supervisory controllers.
A domain-specific language to model the system and the supervisory controller.
The uncontrolled system is specified in terms of resources, peripherals, actions, motion profiles, and high-level activities. The supervisory controller is specified as a network of finite-state automata, or as sequences of activities that should be (repeatedly) executed.
LSAT provides design-time feedback to the user and validates that the specification is consistent.
LSAT provides means to analyze the productivity characteristics of the system including makespan, throughput, and latency. Furthermore, it can analyze the critical path and highlight bottlenecks in the system. These analysis techniques can be used to perform a design-space exploration to improve the supervisory controller design.
The productivity of the system is shown graphically using Gantt charts. The system specification can also be done using graphical editors for the motion profiles and activity specifications.
Using conformance checking, the implementation can be validated against the specification.
LSAT is available as a full product and also as a feature for the Eclipse IDE through the update site repository.
Install as Eclipse Product
In order to install it as a full product, follow the instructions:
Download the LSAT IDE zip archive and extract it to a folder.
Double click the “lsat.exe” file, the tool will start.
Install as Eclipse Feature
The instructions to install LSAT from scratch as feature for the Eclipse IDE through the update site repository are as follows:
Download an Eclipse IDE (Neon) https://www.eclipse.org/downloads/packages/eclipse-ide-java-developers/neon3
Unzip the IDE, e.g., to the directory "lsat"
Start the Eclipse IDE via "lsat/eclipse/lsat.exe"
Select as usually a workspace directory;
As the Eclipse-IDE is opened, select Help Install New Software…;
Click Add and put a name (e.g. “LSAT update site”) and location: https://www.esi.nl/solutions/l-sat/repository and click OK;
Select these features and complete the remaining steps of the installation process.