Es findet ein wissenschaftlicher Vortrag statt.

Prof. Reussner / Erik Burger : Formal Certification of Software Components

We propose an approach to certify the non-functional properties of component-based software which is based on a formal refinement calculus, using the performance abstractions of the Palladio Component Model. The certification process guarantees the conformance of a component implementation to its specification regarding performance properties, without having to expose the source code of the product to a certification authority. The refinement steps are described as Prolog rules so that the validity of refinement between two performance descriptions can be checked automatically.