Project 1: Formal Methods in Software Engineering of Mobile Applications

Objective

Kapsch Carriercom provides solutions for communication networks for many years. To extend the solution spectrum, a platform for provisioning of Next Generation Services and Service Enablers in the service providers' intelligent network is built up. The so called MissisSIPpi Hosted PBX Solution (in the following referred to a s MissisSIPpi) enables these service providers to offer voice services via the IP network. A company's traditional PBX equipment is thus replaced by a virtual PBX solution.

High requirements w.r.t. the services' security, availability, and variability, result in high quality requirements for the software architecture and the deployed software. Therefore, this application outstandingly qualifies as a test bed for the following techniques:

analysis of existing software architecture w.r.t. security and extendability
provisioning of process models and software architectures for the Voice over IP domain
analysis of future developments regarding Next Generation Intelligent Networks
provisioning of procedures and tools for software quality assurance taking into consideration the VoIP realm

Project Description

For MissiSIPpi the following working packages are scheduled:

analysis of the overload behavior of the MissiSIPpi server
availability- und fault behavior of the MissiSIPpi server
fault tolerance of SIP (Session Initiation Protocol)
Denial of Services (DoS) and Exploits
security concept for MissiSIPi server
Black und White Box Tests for the server
analysis of the development process
Design By Contract and test case generation

Partner & Contact Persons

Home

Intranet

Contact