Formale Methoden im Softwareengineering Mobiler Applikationen (SN-P1)

  • Galler, Stefan Josef, (Teilnehmer (Co-Investigator))
  • Wotawa, Franz (Teilnehmer (Co-Investigator))
  • Peischl, Bernhard Josef (Projektleiter (Principal Investigator))
  • Weiglhofer, Martin, (Teilnehmer (Co-Investigator))

Projekt: Foschungsprojekt

Beschreibung

Analyse bestehender Softwarearchitekturen hinsichtlich Sicherheit und Erweiterbarkeit
Bereitstellung von Verfahrensmodellen und Softwarearchitekturen für den Bereich Mobiltelephonie
Analyse zukünftiger Entwicklung im Bereich Next Generation Intelligent Networks
Bereitstellung von Methoden und Tools zur Sicherung der Softwarequalität unter Berücksichtigung
der Applikationsdomänen Mobile IP, Multimedia, Web und Mobiltelephonie
Testumgebungen
Verifikationstechniken
Last- und Zuverlässigkeitstests
Analyse von Sicherheitsaspekten
StatusAbschlussdatum
Tatsächlicher Beginn/ -es Ende1/05/0631/12/10