From a formalized parallel action language to its efficient code generation
Description | |
Date | |
Authors | Llopard I., Fabre C., Cohen A. |
Year | 2017-0060 |
Source-Title | ACM Transactions on Embedded Computing Systems |
Affiliations | CEA, LETI, MINATEC Campus, 17 av. des Martyrs, Grenoble, France, Univ. Grenoble-Alpes, Grenoble, France, ENS, DI, 45 rue d'Ulm, Paris, France |
Abstract | Modeling languages propose convenient abstractions and transformations to handle the complexity of today's embedded systems. Based on the formalism of the Hierarchical State Machine, they enable the expression of hierarchical control parallelism. However, they face two important challenges when it comes to modeling data-intensive applications: no unified approach that also accounts for data-parallel actions and no effective code optimization and generation flows. We propose a modeling language extended with parallel action semantics and hierarchical indexed-state machines suitable for computationally intensive applications. Together with its formal semantics, we present an optimizing model compiler aiming for the generation of efficient data-parallel implementations. © 2017 ACM. |
Author-Keywords | Action language, Model driven engineering, Parallels languages |
Index-Keywords | Embedded systems, Formal methods, Program compilers, Semantics, Software design, Action language, Code optimization, Formal Semantics, Hierarchical control, Hierarchical state machines, Model-driven Engineering, Optimizing models, Unified approach, Modeling languages |
ISSN | 15399087 |
Link | Link |