ETISS - Extendable Translating Instruction Set Simulator

Image
ETISS logo
Component is required for safety critical systems
Nein
Target TRL at the end of phase 1
TRL4: Versuchsaufbau im Labor --> Plattform mit Parametrisierung
Target TRL at the end of phase 2
TRL5: Versuchsaufbau in vereinfachter Einsatzumgebung --> Optimierte Plattform

ETISS is a C++ ISS (Instruction Set Simulator), which is designed to simulate instructions for a target core on a host computer. It translates binary instructions into C code and appends translated code into a block, which will be compiled and executed at runtime. As aforementioned, it is Extendable, thus it supports myriad level of customization by adopting the technique of plug-ins. ETISS supports varied Instruction Set Architectures (ISAs) according to user needs (see architecture models in ArchImpl/).

License

See file LICENSE inside GitHub Repo.

Visibility
Publicly available!

StarVision PRO - Debugging Cockpit for Transistor, RTL, and System-Level Designs

Image
StarVision PRO
Component is required for safety critical systems
Nein
Target TRL at the end of phase 1
TRL4: Versuchsaufbau im Labor --> Plattform mit Parametrisierung
Target TRL at the end of phase 2
TRL6: Prototyp in vereinfachter/simulierter Einsatzumgebung --> Anwendungsfälle

StarVision® PRO represents the state-of-the-art in debug solutions for advanced electronic SoCs. The incorporation of Concept's leading visualization and detection technology enables rapid cause-effect analysis for efficient functional analysis. This advanced and unique mixed-mode debug platform seamlessly combines SPICE and transistor analysis from our market leading SpiceVision PRO tool with digital RTL and gates from our advanced RTLvision PRO tool.

License

For access to the tool, send an e-mail to info@concept.de with remark "Scale4Edge".

 

Visibility
Internal for Scale4Edge partners only!

CompCert - Formally verified C compiler

Image
Compilation steps performed by CompCert
Component is required for safety critical systems
Nein
Target TRL at the end of phase 1
TRL4: Versuchsaufbau im Labor --> Plattform mit Parametrisierung
Target TRL at the end of phase 2
TRL6: Prototyp in vereinfachter/simulierter Einsatzumgebung --> Anwendungsfälle

CompCert is a formally verified optimizing C compiler. It accepts most of the ISO-C 99 language, with some minor exceptions and a few useful extensions. Its intended use is the compilation of life-critical and mission-critical software written in C and meeting high levels of assurance.

License

This distribution of CompCert can be used for evaluation and research, but not for commercial purposes (see also the license information in the installation packages). Commercial licenses can be obtained from AbsInt.

 

Visibility
Publicly available!

Über Scale4Edge

Angestrebtes Scale4Edge Ökosystem
Das Internet-der-Dinge (Internet-of-Things - IoT) wird sowohl den Lebensstandard im Privaten als auch die Produktivität der Industrie weltweit und damit auch in Deutschland dramatisch verbessern und viele Anwendungsgebiete (u.a. Automobil, Smart-Home, Logistik, Energiewirtschaft, Medizintechnik, Umweltinformation und Wettervorhersage) nachhaltig beeinflussen. Wichtige Voraussetzung für dieses Ziel ist die Bereitstellung von intelligenten Edge-Komponenten in großer Variantenzahl, die maßgeschneidert in ihre Umgebung eingebettet werden müssen und mit dieser selbstständig interagieren. Dabei bezeichnen Edge-Komponenten die Geräte, die zur Kommunikation zwischen Mensch und Umwelt bzw. Maschine und somit zwischen der realen zur virtuellen Welt benötigt werden und die, um eine akzeptable Nutzung zu gewährleisten, mit einem hohen Maß an Intelligenz ausgestattet sein müssen. Hierfür ist eine ressourcen- und energieeffiziente Verarbeitung der Daten direkt in den Edge-Komponenten, im Gegensatz zur herkömmlichen zentralisierten Datenverarbeitung in der Cloud, erforderlich, z.B. um Menschen intelligent zu unterstützen oder optimiert mit Maschinen und Umgebung zu interagieren. Hierbei sollen Sicherheit (Safety und Security) und Privacy mit vollständiger Datensouveränität garantiert werden. Neben dem IoT-Markt profitieren im selben Maße auch wichtige deutsche Schlüsselindustrien wie die Automobilindustrie, die Industrieautomatisierung und die Medizintechnik von den Technologien intelligenter Edge-Komponenten. Auch hier kann die Verlagerung der Datenverarbeitung in intelligente Edge-Komponenten zu neuartigen fortschrittlichen Applikationen führen. Momentan verfügbare Standardkomponenten sind für diese Anwendungsszenarien aufgrund der stark unterschiedlichen Ausprägungen und Anforderungen ungeeignet, so dass für die deutsche Industrie und den deutschen Mittelstand ein großer Bedarf an anwendungsspezifischen Edge-Komponenten mit hohem Marktpotenzial besteht.