Improving the Fault Tolerance of Algorithms

Werbung
Vienna University of Technology
Pirker Simon
1





Überblick
Definition
Motivation
Vorteile
Entwurf von VP
Pirker Simon
2

Virtual Prototyping (VP):
◦ Virtuelles Modell des Prototypen




Auto
Sportschuh
Embedded Computer Systems /SoC
…
◦ Simulation




Crashtest
Abnutzung
Funktionalität lt. Spezifikation
…
Pirker Simon
3

Reines SW Modell
◦ Embedded Systems (HW&SW)
◦ Definierte Interfaces zu Entwurfssystem
◦ Repräsentiert Verhalten des Entwurfssystems
 Abstraktion unterschiedlich (C/C++ Modell)

Ermöglicht HW/SW Cosimulation
◦ Prozessor Instructionset Simulatoren
◦ Modelle der HW Blöcke
◦ Hohes Abstraktionsniveau
Pirker Simon
4

Komplexes Design
◦
◦
◦
◦
◦

Höhere Kosten
Mehr Funktionalität
Betriebssicherheit
Komplexes, zeitintensives Testen am Prototypen
Verfügbarkeit des Prototypen
Hart umkämpfter Markt
◦ Time to market
◦ Kosten
Pirker Simon
5

Virtual Prototyping bietet:
◦
◦
◦
◦
◦
◦
◦
◦
◦
Konfiguration
Debugging und Modifikation
Visualisierung der Funktionalitäten (HW&SW)
Kontrollierbarkeit
Frühe Hardware-Softwreintegration
Elektronische Verfügbarkeit
Einheitliche Sicht
VP auf jedem PC ausführbar
Keine fehlerhafte Hardware
Pirker Simon
6




Zentraler Entwurf
Verschiedene Sichten
SSD in Form einer
DDB/open SystemC
Input Structure,
Behaviour
Pirker Simon
7

Output:
◦ Systemstatus
◦ Simulationsergebnisse
◦ HW Kosten
◦ Timing


Partitioning iterativ möglich
Anwendbar, wenn System formal
beschreibbar ist
Pirker Simon
8

HW Block  C++ Klasse
◦ Standardisierte Ports
◦ Genügend Input für eine
Ausführung
◦ Block_run()
Pirker Simon
9

Modellierung mit
UML/SysML
◦ Architektur,
◦ Funktionalität
(Kontrollfluss)
◦ Zeitverhalten

UML semiformal  Formales System
◦ formale Analysen
◦ ausführbare Simulationsmodelle
◦ Performanz- und Konfliktanalyse
Pirker Simon
10





HW/SW Cosimulation
Effizienz und Qualität von Designprozess
steigern
Zeit und Kosten sparen (Prototyp VP)
Einsetzbar je nach Komplexität der
Aufgabenstellung
Automatische Generierung
◦ Hohes Abstraktionsniveau
Pirker Simon
11

Fragen?

Diskussion: VP- Welchen Preis hat es?
◦ VP ist ideal- Keine Kosten, nur Einsparungen?
◦ Überall sinnvoll einsetzbar?
Pirker Simon
12
Herunterladen