Using Static Parametric Design to Support Systems Engineering of Industrial Automation Systems

This paper proposes a static parametric design methodology for application of the model based systems engineering (MBSE) paradigm in the world of Modelica. This methodology allows for parameter synthesis of the industrial automation systems under consideration of customer requirements. Furthermore, the parametrized system can be verified automatically. An integrated system model consisting of requirements, system design and verification models is created and can be used as a design template to generate a new parameter set according to the change of customer requirements. A case study from the practice is presented to proof the concept of this methodology