Authors:
Andrea Enrici
1
;
Ludovic Apvrille
2
and
Renaud Pacalet
2
Affiliations:
1
Nokia Bell Labs, Route de Villejust, 91620 Nozay and France
;
2
LTCI, Télécom ParisTech, Université Paris-Saclay, 75013 Paris and France
Keyword(s):
Model-Driven Engineering, Static Data-Flow Analysis, UML, SysML, Optimizing Model Compilation.
Related
Ontology
Subjects/Areas/Topics:
Applications and Software Development
;
Domain-Specific Modeling and Domain-Specific Languages
;
Frameworks for Model-Driven Development
;
Generative Programming
;
Languages, Tools and Architectures
;
Methodologies, Processes and Platforms
;
Model Transformations and Generative Approaches
;
Model-Driven Software Development
;
Software Engineering
;
Systems Engineering
Abstract:
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 unnecessa
ry visits of the models’ control-flow graphs are achieved, with respect to a non-blocking combination of the iterative and worklist algorithms.
(More)