ID	Chapters/Headings	Author(s)	Pages	Info
ID	Chapters/Headings	Author(s)	Pages	Info

عصر حاضر میں مسلمانوں کی سیاسی ابتری اور اس کا تدارک: سیرتِ طیبہﷺ کی روشنی میں

The noble life Of Rasulullah (ﷺ) provides the best after course and framework for the individual and collective life of Muslims which can lead Muslims to prosper in each part of life. Out of different problems of the Muslim Ummah in the current circumstances is the absence of political insight and exemplary leadership which is one of the most important problems and due to which Muslims are victim of decline on international basis. The political and national problems of Muslims include the absence of exemplary leadership, Muslim Ummah getting victim of mutual differences, deprivation of the majority of Muslim rulers of bravery and boldness, shortage of the wellbeing of the public, excess of corruption and fraud, absence of self-accountability in the public and rulers, not complying with the rules of justice, shortage of qualified and experienced individuals in different departments and institutions along with some other similar problems. Without getting them solved, the dreams of prosperity and success of Muslim Ummah cannot be fulfilled. We can find the solution of all of these problems in the teachings of Rasulullah (S.A.W) and in his noble life. Hence it is very important to prepare a framework in the light of Seerah and adopt it accordingly in this very important part of life. In the article under reference, Muslims Political deterioration in the modern era and a review of its remedy is to be presented in the light of Seerah.

Formal Dependability Analysis Using Higher-Order-Logic Theorem Proving

Dependability is an umbrella concept that subsumes many key properties about a system, including reliability, maintainability, safety, availability, con- dentiality, and integrity. Various dependability modeling techniques have been developed to e ectively capture the failure characteristics of systems over time. Traditionally, dependability models are analyzed using paperand- pencil proof methods and computer based simulation tools but their results cannot be trusted due to their inherent inaccuracy limitations. To overcome these limitations, we propose to leverage upon the recent developments in probabilistic analysis support in higher-order-logic theorem proving to conduct accurate and rigorous dependability analysis. This thesis provides a semantic language embedding of the dependability concept that relies on a theory for probabilistic reasoning to develop a framework for formal dependability analysis within the sound environment of higher-order-logic theorem proving. In this thesis, we mainly focus on the formalization of two widely used dependability modeling techniques: (i) Reliability Block Diagrams - a graphical technique used to determine the reliability of overall system by utilizing the failure characteristics of individual system components; and (ii) Fault Trees - used for graphically analyzing the conditions and the factors causing an undesired top event, i.e., a critical event, which can cause the whole system iv v failure upon its occurrence. In particular, we present a RBD and FT-based formal dependability analysis framework that has the ability to accurately and rigorously determine the formal reliability, failure, availability and un- availability of safety-critical systems with arbitrary number of components. To illustrate the practical e ectiveness of our proposed infrastructure, we present the formal dependability analysis of several real-world safety-critical systems, including smart grids, WSN data transport protocols, satellite solar arrays, virtual data centers, oil and gas pipeline systems and an air tra c management system using the HOL4 theorem prover.