Vous êtes ici : Accueil > From a formalized parallel action language to its efficient code generation

Publications

From a formalized parallel action language to its efficient code generation

Publié le 29 mars 2018
From a formalized parallel action language to its efficient code generation
Auteurs
Llopard I., Fabre C., Cohen A.
Year2017-0060
Source-TitleACM 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
ISSN15399087
Lien vers articleLink

Retour à la liste