TY - GEN
T1 - Efficient data-flow analysis of UML/SysML diagrams for optimized model compilation of hardware-software systems
AU - Enrici, Andrea
AU - Apvrille, Ludovic
AU - Pacalet, Renaud
N1 - Publisher Copyright:
Copyright © 2019 by SCITEPRESS - Science and Technology Publications, Lda. All rights reserved
PY - 2019/1/1
Y1 - 2019/1/1
N2 - Growing needs in terms of latency, throughput and flexibility are driving the architectures of tomorrow's Radio Access Networks towards more centralized configurations that rely on cloud-computing paradigms. In these new architectures, digital signals are processed on a large variety of hardware units (e.g., CPUs, Field Programmable Gate Arrays, Graphical Processing Units). Optimizing model compilers that target these architectures must rely on efficient analysis techniques to optimally generate software for signal-processing applications. In this paper, we present a blocking combination of the iterative and worklist algorithms to perform static data-flow analysis on functional views denoted with UML Activity and SysML Block diagrams. We demonstrate the effectiveness of the blocking mechanism with reaching definition analysis of UML/SysML models for a 5G channel decoder (receiver side) and a Software Defined Radio system. We show that significant reductions in the number of unnecessary visits of the models' control-flow graphs are achieved, with respect to a non-blocking combination of the iterative and worklist algorithms.
AB - Growing needs in terms of latency, throughput and flexibility are driving the architectures of tomorrow's Radio Access Networks towards more centralized configurations that rely on cloud-computing paradigms. In these new architectures, digital signals are processed on a large variety of hardware units (e.g., CPUs, Field Programmable Gate Arrays, Graphical Processing Units). Optimizing model compilers that target these architectures must rely on efficient analysis techniques to optimally generate software for signal-processing applications. In this paper, we present a blocking combination of the iterative and worklist algorithms to perform static data-flow analysis on functional views denoted with UML Activity and SysML Block diagrams. We demonstrate the effectiveness of the blocking mechanism with reaching definition analysis of UML/SysML models for a 5G channel decoder (receiver side) and a Software Defined Radio system. We show that significant reductions in the number of unnecessary visits of the models' control-flow graphs are achieved, with respect to a non-blocking combination of the iterative and worklist algorithms.
KW - Model-Driven Engineering
KW - Optimizing Model Compilation
KW - Static Data-Flow Analysis
KW - SysML
KW - UML
U2 - 10.5220/0007377900860097
DO - 10.5220/0007377900860097
M3 - Conference contribution
AN - SCOPUS:85064596940
T3 - MODELSWARD 2019 - Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development
SP - 86
EP - 97
BT - MODELSWARD 2019 - Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development
A2 - Hammoudi, Slimane
A2 - Pires, Luis Ferreira
A2 - Selic, Bran
PB - SciTePress
T2 - 7th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2019
Y2 - 20 February 2019 through 22 February 2019
ER -