Grüttner, Kim und Heckmann, Reinhold und Ecker, Wolfgang (2023) Scale4Edge Success Story: Multi-Compiler Support. [sonstige Veröffentlichung]
![]() |
PDF
380kB |
Offizielle URL: https://www.edacentrum.de/scale4edge/success-story-multi-compiler-support
Kurzfassung
The Scale4Edge project aims to create an efficient RISC-V ecosystem for edge application optimization. It focuses on developing a versatile platform to provide cost-effective, application-specific edge devices and services for various market segments. This is achieved through fine-grained adaptation of generic components, covering CPU instructions, user/application software, and operating system/firmware levels. The ecosystem is highly scalable and customizable to individual applications, supporting various hardware architectures and non-functional properties like energy efficiency, fault tolerance, reliability, safety, and security. The Scale4Edge ecosystem currently contains three different compilers, addressing different use-cases of the ecosystem: 1) CompCert is a formally verified compiler for safety relevant application of high assurance levels 2) X-LLVM is an extendible compiler for custom instructions based on Clang/LLVM 3) A custom configurable GCC compiler
elib-URL des Eintrags: | https://elib.dlr.de/204132/ | ||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Dokumentart: | sonstige Veröffentlichung | ||||||||||||||||
Titel: | Scale4Edge Success Story: Multi-Compiler Support | ||||||||||||||||
Autoren: |
| ||||||||||||||||
Datum: | November 2023 | ||||||||||||||||
Referierte Publikation: | Nein | ||||||||||||||||
Open Access: | Ja | ||||||||||||||||
Status: | veröffentlicht | ||||||||||||||||
Stichwörter: | RISC-V, custom instruction, compiler, CompCert, LLVM, gcc | ||||||||||||||||
HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||||||||||
HGF - Programm: | Verkehr | ||||||||||||||||
HGF - Programmthema: | Straßenverkehr | ||||||||||||||||
DLR - Schwerpunkt: | Verkehr | ||||||||||||||||
DLR - Forschungsgebiet: | V ST Straßenverkehr | ||||||||||||||||
DLR - Teilgebiet (Projekt, Vorhaben): | V - V&V4NGC - Methoden, Prozesse und Werkzeugketten für die Validierung & Verifikation von NGC | ||||||||||||||||
Standort: | Oldenburg | ||||||||||||||||
Institute & Einrichtungen: | Institut für Systems Engineering für zukünftige Mobilität > System Evolution and Operation | ||||||||||||||||
Hinterlegt von: | Grüttner, Dr. Kim | ||||||||||||||||
Hinterlegt am: | 17 Mai 2024 11:02 | ||||||||||||||||
Letzte Änderung: | 17 Mai 2024 11:02 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags