Skip to main content
  • Log in
  • Manage Cookies
projects.eclipse.org
Download
  • Projects
  • Working Groups
  • Members
  • Community
    • Marketplace
    • Events
    • Planet Eclipse
    • Newsletter
    • Videos
    • Blogs
  • Participate
    • Report a Bug
    • Forums
    • Mailing Lists
    • Wiki
    • IRC
    • Research
  • Eclipse IDE
    • Download
    • Learn More
    • Documentation
    • Getting Started / Support
    • How to Contribute
    • IDE and Tools
    • Newcomer Forum
  • More
      • Community

      • Marketplace
      • Events
      • Planet Eclipse
      • Newsletter
      • Videos
      • Blogs
      • Participate

      • Report a Bug
      • Forums
      • Mailing Lists
      • Wiki
      • IRC
      • Research
      • Eclipse IDE

      • Download
      • Learn More
      • Documentation
      • Getting Started / Support
      • How to Contribute
      • IDE and Tools
      • Newcomer Forum
    • Search

  1. Home
  2. Projects
  3. Eclipse Technology
  4. Eclipse LSAT™

Eclipse LSAT™

Primary tabs

  • Overview(active tab)
  • Downloads
  • Who's Involved
  • Developer Resources
  • Governance
  • Contact Us

The Eclipse LSAT™ project provides a toolkit for the early design of (mechatronics-intense) flexible manufacturing system development adhering to the MBSE paradigm. It enables the specification of the system and product flow in the system and analysis of the associated impact on system resources. The tool suite supports the early design of flexible manufacturing system development, by shortening the development time using light-weight models for logistics at an appropriate abstraction level. This provides value when dealing with unclear requirements, many design decisions, and when it is difficult to give estimates of the performance that can be achieved and / or guaranteed. Its analysis is used to give guarantees on safety and optimize performance. It includes support of formal specification for unambiguous communication, and design-space exploration and analysis techniques to assess and optimize the performance of system behavior scenarios.

The toolkit’s core feature is a set of four formal languages to model flexible manufacturing systems, providing an intuitive textual syntax combined with a graphical syntax:

  1. Machine language: modelling of system resources, peripherals, actions that the peripherals can execute, as well as the resource positions and motion trajectories;
  2. Settings language: physical settings of the system, including coordinates, execution times, and motion profile parameters;
  3. Application language; description of the system behavior at a higher level of abstraction using activities that are composed of a set of actions and their dependencies;
  4. Logistics language; order of activities to capture the possible and/or required product flows.

The semantics of the languages are captured in sound mathematical structures, that allow formal analysis. The toolkit supports:

  • Modelling to realize a consistent specification (of physical layout and allowed behavior) and design-time feedback including syntax checks and domain validation;
  • Visualizations providing human understanding including Gantt charts, activities, motion paths;
  • Timing analysis providing insights including max-plus linear model-based techniques to calculate the makespan and throughput, to identify bottlenecks and critical paths, and to support design-space exploration (impact of layout changes, scheduling);

Code generation: offline and runtime conformance checking, i.e. validation whether the existing implementation conforms to the specification.

Licenses: 
Eclipse Public License 2.0

The content of this open source project is received and distributed under the license(s) listed above. Some source code and binaries may be distributed under different terms. Specific license information is provided in file headers and in NOTICE files distributed with the project's binaries.

Latest Releases: 

From November 1st, 2022 to February 7th, 2023

NameDateReview
0.22023-02-07
0.12022-11-01
Active Member Companies: 
Member companies supporting this project over the last three months.
    Contribution Activity: 
    Commits on this project (last 12 months).

    Project Links

    • Website
    • Documentation
    Incubating - Eclipse LSAT™

    Related Projects

    Related Projects:

    • Eclipse Technology
      • Eclipse TRACE4CPS™
      • Eclipse ESCET™ (Supervisory Control Engineering Toolkit)

    Project Hierarchy:

    • Eclipse Technology
    • Eclipse LSAT™

    Tags

    Technology Types
    • Language
    • Modeling
    • OSGi
    • Specification
    • Tools
    Build Technologies
    • Jenkins
    • Maven
    • Tycho

    Eclipse Foundation

    • About Us
    • Contact Us
    • Sponsor
    • Members
    • Governance
    • Code of Conduct
    • Logo and Artwork
    • Board of Directors
    • Careers

    Legal

    • Privacy Policy
    • Terms of Use
    • Copyright Agent
    • Eclipse Public License
    • Legal Resources

    Useful Links

    • Report a Bug
    • Documentation
    • How to Contribute
    • Mailing Lists
    • Forums
    • Marketplace

    Other

    • IDE and Tools
    • Projects
    • Working Groups
    • Research@Eclipse
    • Report a Vulnerability
    • Service Status

    Copyright © Eclipse Foundation. All Rights Reserved.

    Back to the top