- Recherche et sélection de publications
|
Communications in Computer and Information Science, Model-Driven Engineering and Software Development
- Andrea Enrici, Julien Lallet, Renaud Pacalet, Ludovic Apvrille, Karol Desnos, Imran Latif
-
- References
- Springer, 2019, chap. "Model-Based Programming for Multi-Processor Platforms with TTool/DIPLODOCUS and OMC, pp. 56_81
- Abstract
Abstract. The complexity of today's multi-processor architectures raises the
need to increase the level of abstraction of software development paradigms above
third-generation programming languages (e.g., C/C++). Code generation from
model-based specifications is considered to be more efficient with respect to traditional paradigms where software is mainly developed from code. However, existing model-based approaches typically generate application software in SoC-
programming languages (e.g., C/C++, OpenCL, Verilog/VHDL) without considering the optimization of non-functional properties (e.g., memory footprint,
scheduling). This paper proposes a novel approach and tools where system-level
models are compiled into standard C code while optimizing the systems memory footprint. We show the effectiveness of our approach with the model-based
programming of UML/SysML diagrams for a 5G decoder. From the compiled C
code, we generate both a software implementation for a Digital Signal Processor platform and a hardware-software implementation for a platform based on
hardware Intellectual Property (IP) blocks. Overall, our optimizations achieve a
memory footprint reduction of 80.07% in the first case and 88.93% in the second
case.
- Keywords
- Model-Based Engineering, MPSoC Programming, UML/SysML
- Category
- Part of a book (chapters, sections, a few pages...)
- Research Area(s)
- Computer Science/Computation and Language
Computer Science/Software Engineering
Computer Science/Computer Aided Engineering
Computer Science/Programming Languages
Computer Science/Logic in Computer Science
Computer Science/Modeling and Simulation
Computer Science/Networking and Internet Architecture
Computer Science/Formal Languages and Automata Theory
- Identifier(s)
-
Bibliographic key AE-CCIS-19
- File(s)
-
- Export
-
- Last update
- on march 06, 2019 by Ludovic Apvrille
|
