Eclipse LSAT
Primary tabs
Scope:
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.
Reviews:
| Name | Date |
|---|---|
| Creation Review | 2021-01-20 |