Eclipse LSAT


Eclipse LSAT™ creates and evolves a logistics specification and analysis modelling workbench to support the development of flexible manufacturing systems, typically mechatronics-intense equipment. It has a strong focus on industrial applicability. The toolkit includes behavioral modelling support for the development process in the early design of flexible manufacturing systems, including formal specification, design-space exploration, performance analysis, conformance checking to validate whether implemented behavior is according to specification, and code generation.

Create a new release...
Name Date
0.3 2024-02-15
0.2 2023-02-07
0.1 2022-11-01