Projects
Projekt - Überprüfung von Multimediasystemen für das Auto in der Planungsphase
Die Qualität und die Entwicklungszeit einer ersten Umsetzung eines neuen Produkts bzw. einer Produktvariante hängt entscheidend von einer korrekten Spezifikation ab. Der Abteilung Systementwurf in der Mikroelektronik (SiM) des Forschungszentrums für Informatik (FZI) ist es gelungen, in Zusammenarbeit mit der MOST Cooperation, unterschiedlichste Fehlerarten schon während der Entstehung der Spezifikation aufzudecken.
Read more: Projekt - Überprüfung von Multimediasystemen für das Auto in der Planungsphase
Projekt CHESS
Composition with Guarantees for High-integrity Embedded Software Components Assembly
Projekt RESCAR
Robuster Entwurf von Standardkomponenten für
Anwendungen in der Automobilelektronik
Projekt VERDE - VERification-oriented & component-based model Driven Engineering
Das Projekt VERDE definiert ein methodisches Rahmenwerk zum iterativen, inkrementellen, verifikationsorientierten Entwurf komponentenbasierter Hardware/Software-Architekturen. Es werden Schnittstellen definiert, die die Integration und Adaption von Test- und Analysewerkzeugen zur Erfüllung von domänenspezifischen Anforderungen erlauben. Dabei wird ein offenes Rahmenwerk geschaffen, das flexibel zur Adaption an weitere Applikationsdomänen wie Automobil, sowie offen zur Einbindung notwendiger Werkzeuge ist. Daraus resultiert die Möglichkeit der Verwendung optimierter, domänenspezifischer Werkzeugketten unter Anwendung domänenübergreifender Werkzeuge und Komponentenmodelle.
Read more: Projekt VERDE - VERification-oriented & component-based model Driven Engineering
Projekt ROBUST - Methoden zum Entwurf robuster nanoelektronischer Systeme
Das Projekt ROBUST erforscht neue Methoden und Verfahren zum Entwurf robuster nanoelektronischer Systeme. Im FZI-Beitrag „Robustheitsanalyse auf Systemebene" wird ein Entwurfsablauf um Robustheitsaspekte erweitert. Hierbei werden insbesondere alterungsabhängige Timing- und Powerprofile sowie die von Partnern innerhalb des Projektes entwickelten Workload-basierten Komponentenmodelle einbezogen. Im Beitrag „Statische und dynamische Robustheitsoptimierung auf Systemebene" stehen eine stressreduzierende Abbildung der betrachteten Applikation auf eine Plattform und die Entwicklung von Laufzeitverfahren, die eine proaktive Reaktion auf Systemvariabilitäten gestatten, im Vordergrund.
Read more: Projekt ROBUST - Methoden zum Entwurf robuster nanoelektronischer Systeme
Projekt MOSTSpec - UML-basierte Referenzmodellierung der MOST-Spezifikation
Einwicklung eines Anatzes zur UML-basierten Referenzmodellierung der MOST-Spezifikation
Read more: Projekt MOSTSpec - UML-basierte Referenzmodellierung der MOST-Spezifikation
Projekt DFG-SPP Organic Computing
Architecture and Design Methodology for Autonomic Systems on Chip
Projekt ArchExplore - Analyse und Optimierung von Hardware/Software-Systemen mit SystemC
Read more: Projekt ArchExplore - Analyse und Optimierung von Hardware/Software-Systemen mit SystemC