Software dependability analysis and verification based on UML extensibility mechanism

To analyze software dependability in the early phases of software development, this paper firstly annotates software non-functional properties to UML models which are used to describe software functions based on UML extensibility mechanism and the relationship model between software dependability and non-functional properties. Then a method is proposed to analyze and verify software dependability using the formal specification of sequence diagram and activity diagram and the non-functional property values of UML models. Finally, an example is given to demonstrate how to use this method.