10 likes | 136 Views
SAKE Konfidenz-Abschätzung (Informationsqualität). FLEUR Firmen-Contracts (Entwurfsmethoden&Toolflows). Management. IDA Projekte (V2.0). Ableitung. SymTA/S Tool. SymTA/S (Artist 2) Robustheit / Sensitivität (evolutionären Algorithmen ) Racu, Hamann. CONAN Kontexte / Szenarien
E N D
SAKE Konfidenz-Abschätzung (Informationsqualität) FLEUR Firmen-Contracts (Entwurfsmethoden&Toolflows) Management IDA Projekte (V2.0) Ableitung SymTA/S Tool SymTA/S (Artist 2) Robustheit / Sensitivität (evolutionären Algorithmen) Racu, Hamann CONAN Kontexte / Szenarien (Echo-Effekt, Scheduling) Henia formal WCET / BCET liefern (1) SymTA/P WCET-Analyse (OpenSource) (formale C-Code Analyse) Staschulat ACCORD (Artist Design) Performance von MpSoC (Shared memory) Schlieker WCET / BCET liefern Liefert CFG Speicherzugriffe (4) (2) COMBEST Ereignisströme (COM-Layer) Rox Wormhole Runtime Prediction (Token C-Code Analyse) Braam NEU Szenarienwechsel / statische Migration (Analyse der Wechselprotokolle auf MpSoC) Negrean, N.N. Software (4,5) (2) (2) Laufzeitbibliotheken AIS (Toyota) PFD (Fault Tolerance) Sebastian SuReal Tool-Chain (SymTA als Plugin) Rox (5) Case-Study: Motivation EPOC (SymTA/O) Verteilte Analyse (& Optimierung / Observing) Stein, Neukirchner SUMMERLAKE Mp für Breitbandkomm. (Stream Processing) Ivers ??? ??? (Statistik) Ivers Hardware (3) (5) Task-Migration 2 Board Demonstrator Algorithmus Flexfilm FPGA (Rekonfigurierbarkeit) Sahlbach, Whitty VW Gateway-FPGA (Appl: Echtzeit/HW-SpeedUp) Sahlbach, Whitty Morpheus (Rekonfigurierbarkeit) Sahlbach, Whitty COMPOSE Intel (Echtzeit in General-Purpose) Diemer (2,3) • Kompetenzbereiche • Sensitvität • Shared Ressource • Optimierung • Quellcode-Analyse • Statistik MEDIA SPI COSYMA SFB 420 Rapid_Prototyping