The problem of effectively designing and analyzing software system to meet its non-functional requirements such as performance, security, and adaptability is critical to the system?s success. The significant benefits of such work include detecting and removing defects earlier, reducing development time and cost while improving the quality. The Formal Design Analysis Framework (FDAF) is an aspect-oriented approach that supports the design and analysis of non-functional requirements for distributed, real-time systems. In the FDAF, non-functional requirements are defined as reusable aspects in the repository and the conventional UML has been extended to support the design of these aspects. FDAF supports the automated translation of extended, aspect-oriented UML designs into existing formal notations, leveraging an extensive body of formal methods work. In this paper, the design and analysis of response time performance aspect is described. An example system, the ATM/Banking system has been used to illustrate this process.