From SysML Application Model to Executable OpenCL Code: A System-Level Design Approach

Model-based systems engineering (MBSE) is a methodology that entails creating and utilizing models across the entire system development lifecycle. Based on the Unified Modeling Language (UML), Systems Modeling Language (SysML) is developed to facilitate intricate industrial systems' behavioral description and design. Open Computing Language (OpenCL) has emerged as a pivotal tool for conceptualizing intricate device functionalities. It has been introduced into FPGA design to overcome the inefficiencies of traditional HDL design methodologies and the inability of design methodologies using High-level behavioral description in C/C++ to design the circuits. The study aims to streamline the transformation process from high-level SysML specifications to executable OpenCL code, thereby facilitating the implementation of complex systems. The paper introduces a data pipelining and a task parallelism approach for mapping high-level SysML specifications onto an OpenCL platform model. A detailed case study is presented to demonstrate the effectiveness of the proposed approach in the context of a real-time three-dimensional particle tracking velocimetry (3D PTV) system. The proposed parallel programming approach converts the comprehensive SysML model of the PTV system into executable OpenCL code. This research applies to multiple applications using the open-source modeling and formal verification tool TTool.