Abstract

A major potential problem in software development is the contradiction between on-time delivery and fulfilment of reliability requirements of the software. Therefore, improvements are always needed to support on-time delivery without sacrificing the reliability requirement. Incremental development and certification allows for a better combination of on-time delivery and reliability fulfilment than other development approaches. Therefore, our research is very much focused on the incremental approach, which includes both improving the specification technique for increments and certification of increments. The main reason for focusing on Cleanroom from an incremental viewpoint is the conviction that an incremental approach is superior when it comes to achieving the right reliability in the shortest possible time. To illus-trate this conviction a method to determine a suitable order of development and certification of increments is presented before giving an introduction to research areas pursued by the soft-ware engineering research group at the department of Communication Systems. 1.