|
Aktuelle Projekte
- SPES 2020.
SPES 2020 ist ein vom BMBF gefördertes
Forschungsprojekt zur Entwicklung einer Methodik zur durchgängig
modellbasierten Entwicklung von eingebetteten Systemen.
Im Rahmen des Projekts werden Lösungen fur die domänenubergreifende und
modellbasierte Entwicklung von eingebetteter Software erarbeitet.
Modellbasierte Verfahren auf Basis eines soliden mathematischen Fundaments
ermöglichen eine effiziente Entwicklung eingebetteter Systeme beginnend bei
den initialen Kundenanforderungen über den Entwurf und die Implementierung
bis hin zur Verifikation und Zertifizierung von Systemen.
- Analyse der Kosten und des Nutzen modellbasierter Entwicklung
eingebetteter Softwaresysteme in der Automobilindustrie. In Zusammenarbeit
mit dem Technologieberatungsunternehmen Altran Technologies
(http://www.altran.de/) werden die notwenigen Kosten fur eine Modellbasierte
Entwicklung und der daraus resultierende Nutzen analysiert. Ziel ist es
wesentliche Kosten- und Nutzentreiber zu identifizieren und zu analysieren
wie man die Wirtschaftlichkeit der modellbasierten Entwicklung optimieren
kann. Die Ergebnisse der Arbeit werden aus Fallstudiengesprächen und einer
globalen Studie abgeleitet.
- InServe III. Dienst-basierte Entwicklung von reaktiven Systemen mit
Schwerpunkt nicht nur auf theoretischen Aspekten sondern auch der methodischen
Fundierung. Gefördert durch die DFG.
-
CawarFLOW. Integration von adaptiven Systemen und Domänenwissen in Form von
Workflowbeschreibungen
-
InGen. Entwicklung eines hierarchischen Ansatzes zur Wissensrepräsentation
und Aufgabenplanung
- MoTeCh. Im Projekt MoTeCh werden Techniken zum modellbasierten
Test von Chipkartenanwendungen entwickelt. Wesentliche Themen sind hierbei
die Wahl geeigneter Modellierungstechniken fur Kartenanwendungen, die
prazise Beschreibung von Teststrategien und Algorithmen, um aus
Anwendungsmodellen und Teststrategie effizient Testfalle abzuleiten.
Abgeschlossene Projekte
- AutoVIBN.
Gefördert durch das BMWi (AiF) entwickelt das Kompetenzzentrum Modellbasierte
Entwicklung zusammen mit dem iwb und
mehreren Industriepartnern Beschreibungstechniken und Methoden fur die logische
Verhaltensmodellierung mechatronischer Systeme im Anlagenbau. Diese Modelle
dienen der Unterstützung im Entwicklungprozess durch Exploration und Simulation
verschiedener Lösungsansatze auf logischer Ebene. Zudem lassen sich die Modelle
als Basis fur die Generierung abgeleiteter Modell nutzen, wie etwa von Modellen
fur die virtuelle Inbetriebnahme.
- GENESYS.
Ein europaisches Forschungsprojekt zur modellbasierten Entwicklung
eingebetteter Systeme.
- FlaSCo. Eine Machbarkeitsstudie der modellbasierten Entwicklung
eingebetteter Systeme im industriellen Umfeld: von Anforderungen
bis zum Entwurf. In Zusammenarbeit mit Siemens Automation.
- VEIA.
Ziel des Projekts war es, auf der Grundlage der Konzepte der
Produktlinientechnik eine Methode fur die verteilte Entwicklung
und Integration von Automotive-Systemen zu erarbeiten, die sich
an den konkreten Anforderungen industrieller Entwicklungsprozesse
orientiert und praktisch anwendbar ist.
- Verisoft-Automotive.
Formale durchgängige Software-Entwicklung.
|
|
