足球竞彩网_365bet体育在线投注-【中国科学院】

图片

图片

Forschungsbereiche

Das Institut forscht in folgenden sechs Bereichen:

Software & Systems Engineering

Software und Systems Engineering untersucht Prozesse, Methoden, Techniken und Werkzeuge zur Entwicklung von qualitativ hochwertigen Softwaresystemen, über den gesamten Entwicklungszyklus von der Erhebung von Anforderungen bis hin zu Softwareeinsatz und -wartung.

Software Engineering

Formale Methoden

Das Ziel der Formalen Methoden im Software Engineering ist es, Techniken zur Entwicklung von Software mit h?chsten Zuverl?ssigkeits- und Sicherheitsanforderungen bereitzustellen. Dafür sind zwei Schritte notwendig: Eine eindeutige Spezifikation der Systemanforderungen und ein mathematischer Beweis (Verifikation) dass die Implementierung die Spezifikation erfüllt.

Formal Methods

Softwaregetriebene Robotik und Automation

Das Institut führt Spitzenforschung im Bereich der softwaregetriebenen Robotik und Automation durch. Der Fokus liegt darauf, Methoden und Werkzeuge des Software Engineering auf die Mechatronik anzuwenden, zum Beispiel durch moderne Programmierplattformen für Industrieroboter.

Software-driven Robotics & Automation

Methoden der Künstlichen Intelligenz

Künstlichen Intelligenz handelt von Softwaresystemen, die eine Form "intelligenten Verhaltens" zeigen - von der Wahrnehmung der Systemumgebung bis hin zum autonomen Treffen rationaler Entscheidungen ohne menschliche Intervention.

Artificial Intelligence Methods

Selbstorganisierende Systeme

Die Komplexit?t von zukünftigen Softwaresystemen in dynamischen Umgebungen stellt den traditionellen Systementwurf vor Herausforderungen. Unser Fokus liegt im systematischen Entwurf zuverl?ssiger autonomer Systeme mit anschaulicher Modellierung, Test und formaler Verifikation, um die Korrektheit trotz Autonomie zu gew?hrleisten.

Self-organizing Systems

Safety und Security

Sicherheit und Betriebssicherheit sind zwei essentielle Aspekte von Systemen und Software. Sicherheitskritische Systeme k?nnen schwere Sch?den für Wirtschaft oder Umwelt, Verletzungen oder sogar den Verlust von Leben verursachen. Weiterhin spielt Sicherheit und Privatsph?re durch die immer gr??ere Anzahl verbundener Ger?te eine wachsende Rolle in unserem Leben.

Security

Angebotene Dienstleistungen

In den oben genannten Bereichen bieten wir verschiedene Dienstleistungen, unter anderem:

  1. Schulungen für Softwareentwurf und -entwicklung
  2. Unterstützung bei der Softwareentwicklung für Robotersysteme und Automatisierung
  3. Beratung bei der Einführung von neuen Softwaretechnologien (Innovationsmanagement)
  4. Beurteilung von Softwarequalit?t
  5. Analyse und Entwurf von sicherheitskritischen Systemen
  6. Anwendungsorientierte Auftragsforschung, Beratung und erweitertes Training

Klicken Sie für weitere Informationen auf einen der Bereiche oben.

Institut für Software & Systems Engineering

Das Institut für Software & Systems Engineering, geleitet von Prof. Dr. Wolfgang Reif, ist eine wissenschaftliche Einrichtung in der Fakult?t für Angewandte Informatik an der Universit?t Augsburg. Das Institut unterstützt sowohl Grundlagen- als auch angewandte Forschung in allen Bereichen der Software & Systems Engineering. In der Lehre erm?glicht es die weitere Entwicklung des relevanten Kursangebots von Fakult?t und Universit?t.

足球竞彩网_365bet体育在线投注-【中国科学院】