This paper compares two languages, Systems Modeling Language(SysML) based on Unified Modeling Language and Sequence Planner Language, where both are used for systems engineering applications. As the modern manufacturing industries pass through a challenging period in storing and exchanging huge amounts of information/data, a common platform that is helpful in putting different parts together is of major interest. This paper presents an analysis of these two languages focusing on their behavioral constructs and details their advantages and disadvantages. This paper concludes by mentioning the points that are lacking in SysML, which could be solved by combining it with Sequence Planner Language and using the combined approach for system engineering applications.
This paper presents a concept for converting a discrete event model, modeled with Extended Finite Automata (EFA), to mixed-integer linear constraints. The conversion handles the structure of modular EFAs, synchronization of EFAs using shared events and EFA execution order due to logical transition conditions. The paper also presents methods to reduce the number of variables and constraints by automatically analyzing the EFA model and the resulting problem formulation. An example of this is the special case of transition conditions used to model mutual exclusion of shared resources, where the conversion results in a significantly reduced problem formulation. The objective function is then built by summarizing weighted state cost functions and the result is a Mixed-Integer Nonlinear Programming problem. The main contribution of this paper is hence the combination of the simplicity in modeling a system with EFAs and an efficient formulation of the optimization problem that can be solved by standard optimization software.
This paper presents a method and software for interfacing Systems Modeling Language (SysML) and Sequence Planner Language (SPL). Exchange of information between different software tools is of major interest for modern manufacturing industries from early design to final implementation. SysML, with its structure as a common platform, can then be interfaced with other domain-specific modeling tools to achieve information exchange. This paper presents a method to interface SysML with a recently introduced language for operation sequences called Sequence Planner Language (SPL). By this method, necessary information from behavioral constructs of SysML model are extracted and structured in SPL. This language, being a formal, graphical language,can be used to formally verify the system for any blocking states. An academic and an industrial model developed in SysML are tested using the interface implementation and the results show that information from SysML can be visualized in SPL and formally verified to have no blocking states.
This paper proposes a new modeling solution for the synchronous behavior of packaging machines, and a strategy for maximizing the production rate based on a formal model. A common modeling platform is recommended to handle information exchange and to develop a collaborative workflow, in this paper involving mechanical design and software development. The modeling solution for the synchronous behavior is developed in SysML (Systems Modeling Language), being the common platform. Then a formal modeling language called Sequence Planner Language (SPL) is interfaced with SysML, to overcome some limitations of SysML. The synchronous behavior of the packaging machine is also developed in SPL, from which the optimization problem is defined. The result of the optimization shows that it is possible to improve the efficiency of packaging machines with new configurations compared to more conventional design. The proposed strategy is evaluated for a filling machine at Tetra Pak.
Optimizing the configuration and overall performance of synchronized modular systems is considered in this paper. The synchronized modules can be considered as a hybrid system, including continuous-time dynamics of local moving devices, combined with high-level discrete event sequences. The continuous-time trajectories are approximated by the Gauss pseudospectral method, resulting in a nonlinear programming (NLP) problem. The optimal configuration generates the maximal production rate subject to dynamic constraints. A complete design procedure is presented and applied to a case study of a packaging machine, where an alternative optimal configuration is achieved compared to current industrial practices.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.