Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

Karlsruher Institut für Technologie (KIT)
KASTEL - Institut für Informationssicherheit und Verlässlichkeit

Adresse Am Fasanengarten 5
76131 Karlsruhe
Deutschland

GERiT Diese Institution in GERiT

76131 Karlsruhe

Projekte

Sachbeihilfen
- laufende Projekte
  - Kontinuierliche Exploration unendlich konfigurierbarer Cyber-physischer Systeme für Sample-basiertes Testen.
    (Antragstellerinnen / Antragsteller Lochau, Malte ; Schaefer, Ina )
- abgeschlossene Projekte
  - Reverse Engineering von Softwareproduktlinien für Maschinen und Anlagenbau
    (Antragstellerinnen Schaefer, Ina ; Vogel-Heuser, Birgit )
  - Skalierbare Verifikation von Variablen und Evolvierenden Systemen (SCAVES)
    (Antragstellerin Schaefer, Ina )
Schwerpunktprogramme
- abgeschlossene Projekte
  - Integrated Model-based Testing of Continuously Evolving Software Product Lines (IMoTEP 2)
    (Antragstellerinnen / Antragsteller Lochau, Malte ; Schaefer, Ina )
  - Scalable design and performance analysis for long-living software families (DAPS2)
    (Antragstellerin Schaefer, Ina )
Forschungsstipendien
- abgeschlossene Projekte
  - Feature-orientierte Verifikation von Softwareproduktlinien
    (Antragstellerin Schaefer, Ina )
Forschungsgruppen
- abgeschlossene Projekte
  - FOR 1800: Überwachung und Steuerung nebenläufiger Funktionsänderungen in kritischen Systemen
    (Sprecher Ernst, Rolf )
  - Formale Methoden für Contracting
    (Antragstellerin Schaefer, Ina )
Sonderforschungsbereiche
- laufende Projekte
  - Aufrechterhaltung der Konsistenz zwischen Varianten und Versionen
    (Teilprojektleiterinnen / Teilprojektleiter Aßmann, Uwe ; Burger, Erik ; Schaefer, Ina )
  - Dynamisches Konsistenz-Management für autonome Verkehrsagenten
    (Teilprojektleiterin Schwammberger, Maike )
  - Entwicklung konsistenter CPS-Generationen
    (Teilprojektleiterinnen / Teilprojektleiter Albers, Albert ; Schaefer, Ina )
  - Konsistenzbewusstes Testen von CPS-Varianten und -Versionen
    (Teilprojektleiterinnen / Teilprojektleiter Albers, Albert ; Sax, Eric ; Schaefer, Ina )
Graduiertenkollegs
- abgeschlossene Projekte
  - GRK 895: Informationswirtschaft und Market Engineering - Ökonomisches, informationstechnisches und rechtliches Design von Institutionen, Diensten, Systemen und Geschäftsmodellen für elektronische Märkte
    (Sprecher Weinhardt, Christof )
  - GRK 1194: Selbstorganisierende Sensor-Aktor-Netzwerke
    (Sprecher Hanebeck, Uwe D. )

© 2024 DFG Kontakt / Impressum / Datenschutz