This chapter introduces the main notions related to the dependability of applications in a self-contained way in order to bring the topic near to non-experts, the modeling aspects including requirement formulation in UML, the evolving UML profiles, design patterns for the best practice and basic means for testing and formal methods based validation and verification of designs. We also introduce a method that relies on the introduced standards and model transformation techniques that allows the QoS-driven optimization of enterprise systems architecture. The methods and techniques are illustrated with practical example models and problems.
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications