Transformation from System Design Models in SysML to Executable IEC 61499 Function Block Models

Designing automation systems requires a joint effort from different domains including the control software and controlled plants. System design is the foundation of the discipline-specific design processes and hence its verification is critical to the success of the whole project. Transforming system design models to simulation models is a common method for system verification. IEC 61499 Function ...