# Eclipse LSAT™

version v0.5

Eclipse Logistics Specification and Analysis Tool (Eclipse LSAT™) is a performance workbench for the rapid design-space exploration of supervisory controllers that orchestrate the behavior of flexible manufacturing systems. Eclipse 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.

| The Eclipse LSAT™ project is currently in the Incubation Phase.

## Functionality

Eclipse LSAT™ provides the following functionality to design high-level supervisory controllers.

Modeling

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.

Eclipse LSAT™ provides design-time feedback to the user and validates that the specification is consistent.

Analysis

Eclipse 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.

Visualization

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.

Validation

Using conformance checking, the implementation can be validated against the specification.

## Downloads

Eclipse LSAT™ is available as a portable IDE and also as a feature for the Eclipse IDE through the P2 update site repository.

| Can’t wait for the next release? A nightly build of this page is also available, it is built from the develop branch. Please note that APIs, syntaxes and/or functionality might not be stable for nightly builds.

IDE

The Eclipse LSAT™ IDE offers the most complete and integrated experience, from convenient editing to execution of the various tools. It suits most users.

The Eclipse LSAT™ IDE is portable, so just download, extract, and run it, to get started quickly.

Download Eclipse LSAT™ IDE v0.5 (release notes)
Windows x64 (64-bit) | download | mirrors
Linux x64 (64-bit) | download | mirrors

Windows

  - Extract the downloaded archive somewhere on your hard disk:

    - Extract to a directory where you have read and write access.

    - There is no need to extract to an empty folder, as all files in the archive are contained within a root folder.

    - Don’t extract in too deep a path as then you may get issues with too long paths.

  - Execute `lsat.exe` from the directory that contains the extracted files to launch the Eclipse LSAT™ IDE.

Linux

  - Extract the downloaded archive somewhere on your hard disk:

    - Extract to a directory where you have read and write access.

    - There is no need to extract to an empty folder, as all files in the archive are contained within a root folder.

  - Execute `lsat` from the directory that contains the extracted files to launch the Eclipse LSAT™ IDE.

P2 update site

The Eclipse LSAT™ P2 update site contains all plugins and features, for easy integration into OSGi-based applications.

Eclipse LSAT™ v0.5 is available as an Eclipse P2 update site:

`https://download.eclipse.org/lsat/v0.5/update-site/`

## Learn more

For more information about Eclipse LSAT™, please read the Eclipse LSAT™ user guide.

Popular publications related to Eclipse LSAT™

- The system conductor

Details on the underlying formalism and analysis techniques can be found in the scientific publications below.

Scientific publications related to Eclipse LSAT™

- Description of the activity specification language; B. van der Sanden, J. Bastos et al., “Compositional specification of functionality and timing of manufacturing systems,” in Forum on Spec. and Design Languages. IEEE, 2016, pp. 1–8.

- Stochastic critical-path analysis; J. Bastos, B. van der Sanden et al., “Identifying bottlenecks in manufacturing systems using stochastic criticality analysis,” in Forum on Specification and Design Languages, FDL 2017, Proc. IEEE CS Press, 12 2017.

- Description of the performance analysis techniques; B. van der Sanden, “Performance analysis and optimization of supervisory controllers,” Ph.D. dissertation, Eindhoven University of Technology, 2018.

- Case study in modeling the wafer logistics in lithography machines; B. van der Sanden, M. Reniers et al., “Modular model-based supervisory controller design for wafer logistics in lithography machines,” in 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MoDELS 2015, Ottawa, ON, Canada

- Tool overview; B. van der Sanden, Y. Blankenstein et al., “LSAT: Specification and Analysis of Product Logistics in Flexible Manufacturing Systems”, in IEEE 17th International Conference on Automation Science and Engineering, 2021

## Legal

The material in this documentation is Copyright (c) 2021, 2026 Contributors to the Eclipse Foundation.

Eclipse LSAT™ and LSAT™ are trademarks of the Eclipse Foundation. Eclipse, and the Eclipse Logo are registered trademarks of the Eclipse Foundation. Other names may be trademarks of their respective owners.

License

The Eclipse Foundation makes available all content in this document ("Content"). Unless otherwise indicated below, the Content is provided to you under the terms of the Eclipse Public License 2.0 which is available at https://www.eclipse.org/legal/epl-2.0/ For purposes of the EPL-2.0 License, "Software" will mean the Content.

If you did not receive this Content directly from the Eclipse Foundation, the Content is being redistributed by another party ("Redistributor") and different terms and conditions may apply to your use of any object code in the Content. Check the Redistributor’s license that was provided with the Content. If no such license exists, contact the Redistributor. Unless otherwise indicated below, the terms and conditions of the EPL-2.0 License still apply to any source code in the Content and such source code may be obtained at https://www.eclipse.org.