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.