Software Quality Assurance and Certification

High quality software is an essential criterion for Austria's technology sector. Among other areas, this particularly holds for the embedded systems area, the automotive sector, but also for financial service providers, the insurance domain and also web services.

Quality assurance and certification techniques allows one to obtain guaranteed properties about the developed software product. Beyond of classical, safety critical domains like avionics, the railway domain, and industrial control systems, correctness issues play an increasing role even in devices for everyday usage. Thus, increasingly, certification according to standards like the EN ISO/IEC 61508 (Functional Safety of Electrical/!Electronic/!Programmable electronic safely related Systems) for safety-critical (e.g. industrial control systems, automotive sector) or EN ISO/IEC 50126,50128 and 50129 for railway systems plays a major role. In particular this sub-project investigates to what extent a certification according to the abovementioned standards is possible and meaningful.