Verifizierung von eingebetteten Software-Binärdateien mit Hilfe virtueller Prototypen (Deutsch)
- Neue Suche nach: Herdt, Vladimir
- Neue Suche nach: Große, Daniel
- Neue Suche nach: Drechsler, Rolf
- Neue Suche nach: Herdt, Vladimir
- Neue Suche nach: Große, Daniel
- Neue Suche nach: Drechsler, Rolf
In:
Verbessertes virtuelles Prototyping
: Mit RISC-V-Fallstudien
;
Kapitel: 6
;
153-188
;
2023
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Verifizierung von eingebetteten Software-Binärdateien mit Hilfe virtueller Prototypen
-
Beteiligte:
-
Erschienen in:Verbessertes virtuelles Prototyping : Mit RISC-V-Fallstudien ; Kapitel: 6 ; 153-188
-
Verlag:
- Neue Suche nach: Springer International Publishing
-
Erscheinungsort:Cham
-
Erscheinungsdatum:01.01.2023
-
Format / Umfang:36 pages
-
ISBN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Deutsch
-
Schlagwörter:Verifikation , Eingebettete Software , Binärebene , Virtueller Prototyp (VP) , Sicherheitsschwachstellen , Pufferüberlauferkennung , Abdeckungsgesteuertes Fuzzing (CGF) , Formale Methoden , Simulation , Ausführung , Konkolische Tests , Symbolische Ausführung , Pfadbedingung , Abdeckungsmetriken , RISC-V , Testgenerierung , Befehlssatzsimulator (ISS) , FreeRTOS , TCP/IP Stack , SystemC-Peripherieabdeckung , Symbolische Einschränkungen , Zustandsraumexploration , Peripherieintegration , Satisfiability , Constraint Solver
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
EinführungHerdt, Vladimir / Große, Daniel / Drechsler, Rolf et al. | 2023
- 2
-
PräliminarienHerdt, Vladimir / Große, Daniel / Drechsler, Rolf et al. | 2023
- 3
-
Eine Open-Source RISC-V EvaluierungsplattformHerdt, Vladimir / Große, Daniel / Drechsler, Rolf et al. | 2023
- 4
-
Formale Verifikation von SystemC-basierten Entwürfen durch symbolische SimulationHerdt, Vladimir / Große, Daniel / Drechsler, Rolf et al. | 2023
- 5
-
Abdeckungsgesteuertes Testen für skalierbare Verifikation virtueller PrototypenHerdt, Vladimir / Große, Daniel / Drechsler, Rolf et al. | 2023
- 6
-
Verifizierung von eingebetteten Software-Binärdateien mit Hilfe virtueller PrototypenHerdt, Vladimir / Große, Daniel / Drechsler, Rolf et al. | 2023
- 7
-
Validierung von Firmware-basiertem Power Management mit virtuellen PrototypenHerdt, Vladimir / Große, Daniel / Drechsler, Rolf et al. | 2023
- 8
-
Register-Transfer-Ebene KorrespondenzanalyseHerdt, Vladimir / Große, Daniel / Drechsler, Rolf et al. | 2023
- 9
-
SchlussfolgerungHerdt, Vladimir / Große, Daniel / Drechsler, Rolf et al. | 2023