Rigorous development of safety-critical systems

Nowadays, computer-based systems tend to become more complex and control increasingly critical functions affecting different areas of human activities. Failures of such systems might result in loss of human lives as well as significant damage to the environment. Therefore, their safety needs to be ensured. However, the development of safety-critical systems is not a trivial exercise. Hence, to preclude design faults and guarantee the desired behaviour, different industrial standards prescribe the use of rigorous techniques for development and verification of such systems. The more critical the system is, the more rigorous approach should be undertaken. To ensure safety of a critical computer-based system, satisfaction of the safety requirements imposed on this system should be demonstrated. This task involves a number of activities. In particular, a set of the safety requirements is usually derived by conducting various safety analysis techniques. Strong assurance that the system satisfies the safety requirements can be provided by formal methods, i.e., mathematically-based techniques. At the same time, the evidence that the system under consideration meets the imposed safety requirements might be demonstrated by constructing safety cases. However, the overall safety assurance process of critical computerbased systems remains insufficiently defined due to the following reasons. Firstly, there are semantic differences between safety requirements and formal models. Informally represented safety requirements should be translated into the underlying formal language to enable further veri cation. Secondly, the development of formal models of complex systems can be labour-intensive and time consuming. Thirdly, there are only a few well-defined methods for integration of formal verification results into safety cases. This thesis proposes an integrated approach to the rigorous development and verification of safety-critical systems that (1) facilitates elicitation of safety requirements and their incorporation into formal models, (2) simplifies formal modelling and verification by proposing specification and refinement patterns, and (3) assists in the construction of safety cases from the artefacts generated by formal reasoning. Our chosen formal framework is Event-B. It allows us to tackle the complexity of safety-critical systems as well as to structure safety requirements by applying abstraction and stepwise refinement. The Rodin platform, a tool supporting Event-B, assists in automatic model transformations and proof-based verification of the desired system properties. The proposed approach has been validated by several case studies from different application domains.

Expression of neuronal nitric oxide synthase in the developing superficial layers of the rat superior colliculus

We investigated the level of expression of neuronal nitric oxide synthase (nNOS) in the retinorecipient layers of the rat superior colliculus during early postnatal development. Male and female Lister rats ranging in age between the day of birth (P0) and the fourth postnatal week were used in the present study. Two biochemical methods were used, i.e., in vitro measurement of NOS specific activity by the conversion of [³H]-arginine to [³H]-citrulline, and analysis of Western blotting immunoreactive bands from superior colliculus homogenates. As revealed by Western blotting, very weak immunoreactive bands were observed as early as P0-2, and their intensity increased progressively at least until P21. The analysis of specific activity of NOS showed similar results. There was a progressive increase in enzymatic activity until near the end of the second postnatal week, and a nonsignificant tendency to an increase until the end of the third week was also observed. Thus, these results indicated an increase in the amount of nNOS during the first weeks after birth. Our results confirm and extend previous reports using histochemistry for NADPH-diaphorase and immunocytochemistry for nNOS, which showed a progressive increase in the number of stained cells in the superficial layers during the first two postnatal weeks, reaching an adult pattern at the end of the third week. Furthermore, our results suggested that nNOS is present in an active form in the rat superior colliculus during the period of refinement of the retinocollicular pathway.

Agent-based management systems for many-core platforms : rigorous design and efficient implementation

Due to various advantages such as flexibility, scalability and updatability, software intensive systems are increasingly embedded in everyday life. The constantly growing number of functions executed by these systems requires a high level of performance from the underlying platform. The main approach to incrementing performance has been the increase of operating frequency of a chip. However, this has led to the problem of power dissipation, which has shifted the focus of research to parallel and distributed computing. Parallel many-core platforms can provide the required level of computational power along with low power consumption. On the one hand, this enables parallel execution of highly intensive applications. With their computational power, these platforms are likely to be used in various application domains: from home use electronics (e.g., video processing) to complex critical control systems. On the other hand, the utilization of the resources has to be efficient in terms of performance and power consumption. However, the high level of on-chip integration results in the increase of the probability of various faults and creation of hotspots leading to thermal problems. Additionally, radiation, which is frequent in space but becomes an issue also at the ground level, can cause transient faults. This can eventually induce a faulty execution of applications. Therefore, it is crucial to develop methods that enable efficient as well as resilient execution of applications. The main objective of the thesis is to propose an approach to design agentbased systems for many-core platforms in a rigorous manner. When designing such a system, we explore and integrate various dynamic reconfiguration mechanisms into agents functionality. The use of these mechanisms enhances resilience of the underlying platform whilst maintaining performance at an acceptable level. The design of the system proceeds according to a formal refinement approach which allows us to ensure correct behaviour of the system with respect to postulated properties. To enable analysis of the proposed system in terms of area overhead as well as performance, we explore an approach, where the developed rigorous models are transformed into a high-level implementation language. Specifically, we investigate methods for deriving fault-free implementations from these models into, e.g., a hardware description language, namely VHDL.

Weld joint characteristics by nano-materials addition

The need for industries to remain competitive in the welding business, has created necessity to develop innovative processes that can exceed customer’s demand. Significant development in improving weld efficiency, during the past decades, still have their drawbacks, specifically in the weld strength properties. The recent innovative technologies have created smallest possible solid material known as nanomaterial and their introduction in welding production has improved the weld strength properties and to overcome unstable microstructures in the weld. This study utilizes a qualitative research method, to elaborate the methods of introducing nanomaterial to the weldments and the characteristic of the welds produced by different welding processes. The study mainly focuses on changes in the microstructural formation and strength properties on the welded joint and also discusses those factors influencing such improvements, due to the addition of nanomaterials. The effect of nanomaterial addition in welding process modifies the physics of joining region, thereby, resulting in significant improvement in the strength properties, with stable microstructure in the weld. The addition of nanomaterials in the welding processes are, through coating on base metal, addition in filler metal and utilizing nanostructured base metal. However, due to its insignificant size, the addition of nanomaterials directly to the weld, would poses complications. The factors having major influence on the joint integrity are dispersion of nanomaterials, characteristics of the nanomaterials, quantity of nanomaterials and selection of nanomaterials. The addition of nanomaterials does not affect the fundamental properties and characteristics of base metals and the filler metal. However, in some cases, the addition of nanomaterials lead to the deterioration of the joint properties by unstable microstructural formations. Still research are ongoing to achieve high joint integrity, in various materials through different welding processes and also on other factors that influence the joint strength.

Formal development of resilient distributed systems

Resilience is the property of a system to remain trustworthy despite changes. Changes of a different nature, whether due to failures of system components or varying operational conditions, significantly increase the complexity of system development. Therefore, advanced development technologies are required to build robust and flexible system architectures capable of adapting to such changes. Moreover, powerful quantitative techniques are needed to assess the impact of these changes on various system characteristics. Architectural flexibility is achieved by embedding into the system design the mechanisms for identifying changes and reacting on them. Hence a resilient system should have both advanced monitoring and error detection capabilities to recognise changes as well as sophisticated reconfiguration mechanisms to adapt to them. The aim of such reconfiguration is to ensure that the system stays operational, i.e., remains capable of achieving its goals. Design, verification and assessment of the system reconfiguration mechanisms is a challenging and error prone engineering task. In this thesis, we propose and validate a formal framework for development and assessment of resilient systems. Such a framework provides us with the means to specify and verify complex component interactions, model their cooperative behaviour in achieving system goals, and analyse the chosen reconfiguration strategies. Due to the variety of properties to be analysed, such a framework should have an integrated nature. To ensure the system functional correctness, it should rely on formal modelling and verification, while, to assess the impact of changes on such properties as performance and reliability, it should be combined with quantitative analysis. To ensure scalability of the proposed framework, we choose Event-B as the basis for reasoning about functional correctness. Event-B is a statebased formal approach that promotes the correct-by-construction development paradigm and formal verification by theorem proving. Event-B has a mature industrial-strength tool support { the Rodin platform. Proof-based verification as well as the reliance on abstraction and decomposition adopted in Event-B provides the designers with a powerful support for the development of complex systems. Moreover, the top-down system development by refinement allows the developers to explicitly express and verify critical system-level properties. Besides ensuring functional correctness, to achieve resilience we also need to analyse a number of non-functional characteristics, such as reliability and performance. Therefore, in this thesis we also demonstrate how formal development in Event-B can be combined with quantitative analysis. Namely, we experiment with integration of such techniques as probabilistic model checking in PRISM and discrete-event simulation in SimPy with formal development in Event-B. Such an integration allows us to assess how changes and di erent recon guration strategies a ect the overall system resilience. The approach proposed in this thesis is validated by a number of case studies from such areas as robotics, space, healthcare and cloud domain.

Metrics for Predicting User Behavior and Experience in an Interactive Storytelling System

In much of the previous research into the field of interactive storytelling, the focus has been on the creation of complete systems, then evaluating the performance of those systems based on user experience. Less focus has been placed on finding general solutions to problems that manifest in many different types of interactive storytelling systems. The goal of this thesis was to identify potential candidates for metrics that a system could use to predict player behavior or how players experience the story they are presented with, and to put these metrics to an empirical test. The three metrics that were used were morality, relationships and conflict. The game used for user testing of the metrics, Regicide is an interactive storytelling experience that was created in conjunction with Eero Itkonen. Data, in the forms of internal system data and survey answers, collected through user testing, was used to evaluate hypotheses for each metric. Out of the three chosen metrics, morality performed the best in this study. Though further research and refinement may be required, the results were promising, and point to the conclusion that user responses to questions of morality are a strong predictor for their choices in similar situations later on in the course of an interactive story. A similar examination for user relationships with other characters in the story did not produce promising results, but several problems were recognized in terms of methodology and further research with a better optimized system may yield different results. On the subject of conflict, several aspects, proposed by Ware et al. (2012), were evaluated separately. Results were inconclusive, with the aspect of directness showing the most promise.

Relay protection in active distribution networks

Increasingly growing share of distributed generation in the whole electrical power system’s generating system is currently a worldwide tendency, driven by several factors, encircling mainly difficulties in refinement of megalopolises’ distribution networks and its maintenance; widening environmental concerns adding to both energy efficiency approaches and installation of renewable sources based generation, inherently distributed; increased power quality and reliability needs; progress in IT field, making implementable harmonization of needs and interests of different-energy-type generators and consumers. At this stage, the volume, formed by system-interconnected distributed generation facilities, have reached the level of causing broad impact toward system operation under emergency and post-emergency conditions in several EU countries, thus previously implementable approach of their preliminary tripping in case of a fault, preventing generating equipment damage and disoperation of relay protection and automation, is not applicable any more. Adding to the preceding, withstand capability and transient electromechanical stability of generating technologies, interconnecting in proximity of load nodes, enhanced significantly since the moment Low Voltage Ride-Through regulations, followed by techniques, were introduced in Grid Codes. Both aspects leads to relay protection and auto-reclosing operation in presence of distributed generation generally connected after grid planning and construction phases. This paper proposes solutions to the emerging need to ensure correct operation of the equipment in question with least possible grid refinements, distinctively for every type of distributed generation technology achieved its technical maturity to date and network’s protection. New generating technologies are equivalented from the perspective of representation in calculation of initial steady-state short-circuit current used to dimension current-sensing relay protection, and widely adopted short-circuit calculation practices, as IEC 60909 and VDE 0102. The phenomenon of unintentional islanding, influencing auto-reclosing, is addressed, and protection schemes used to eliminate an sustained island are listed and characterized by reliability and implementation related factors, whereas also forming a crucial aspect of realization of the proposed protection operation relieving measures.

Design, development and assessment of the Java Intelligent Tutoring System

The "Java Intelligent Tutoring System" (JITS) research project focused on designing, constructing, and determining the effectiveness of an Intelligent Tutoring System for beginner Java programming students at the postsecondary level. The participants in this research were students in the School of Applied Computing and Engineering Sciences at Sheridan College. This research involved consistently gathering input from students and instructors using JITS as it developed. The cyclic process involving designing, developing, testing, and refinement was used for the construction of JITS to ensure that it adequately meets the needs of students and instructors. The second objective in this dissertation determined the effectiveness of learning within this environment. The main findings indicate that JITS is a richly interactive ITS that engages students on Java programming problems. JITS is equipped with a sophisticated personalized feedback mechanism that models and supports each student in his/her learning style. The assessment component involved 2 main quantitative experiments to determine the effectiveness of JITS in terms of student performance. In both experiments it was determined that a statistically significant difference was achieved between the control group and the experimental group (i.e., JITS group). The main effect for Test (i.e., pre- and postiest), F( l , 35) == 119.43,p < .001, was qualified by a Test by Group interaction, F( l , 35) == 4.98,p < .05, and a Test by Time interaction, F( l , 35) == 43.82, p < .001. Similar findings were found for the second experiment; Test by Group interaction revealed F( 1 , 92) == 5.36, p < .025. In both experiments the JITS groups outperformed the corresponding control groups at posttest.

The examination of predictors of success in two programmes requiring self-direction /

The new Physiotherapy and Occupational Therapy programmes, based in the Faculty of Health Sciences, McMaster University (Hamilton, Ontario) are unique. The teaching and learning philosophies utilized are based on learner-centred and selfdirected learning theories. The 1991 admissions process of these programmes attempted to select individuals who would make highly qualified professionals and who would have the necessary skills to complete such unique programmes. In order to: 1 . learn more about the concept of self-directed learning and its related characteristics in health care professionals; 2. examine the relationship between various student characteristics - personal, learner and those assessed during the admissions process - and final course grades, and 3. determine which, if any, smdent characteristics could be considered predictors for success in learner-centred programmes requiring self-directed learning skills, a correlational research design was developed and carried out. Thirty Occupational Therapy and thirty Physiotherapy smdents were asked to complete 2 instruments - a questionnaire developed by the author and the Oddi Continuing Learning Inventory (Oddi, 1986). Course grades and ratings of students during the admissions process were also obtained. Both questionnaires were examined for reliability, and factor analyses were conducted to determine construct validity. Data obtained from the questionnaires, course grades and student ratings (from the admissions process) were analyzed and compared using the Contingency Co-efficient, the Pearson's product-moment correlation co-efficient, and the multiple regression analysis model. The research findings demonstrated a positive relationship (as identified by Contingency Coefficient or Pearson r values) between various course grades and the following personal and learner characteristics: field of smdy of highest level of education achieved, level of education achieved, sex, marital stams, motivation for completing the programmes, reasons for eru-oling in the programmes, decision to enrol in the programmes, employment history, preferred learning style, strong selfconcept and the identification of various components of the concept of self-directed learning. In most cases, the relationships were significant to the 0.01 or 0.(X)1 levels. Results of the multiple regression analyses demonstrated that several learner and admissions characteristic variables had R^ values that accounted for the largest proportion of the variance in several dependent variables. Thus, these variables could be considered predictors for success. The learner characteristics included: level of education and strong self-concept. The admissions characteristics included: ability to evaluate strengths, ability to give feedback, curiosity and creativity, and communication skills. It is recommended that research continue to be conducted to substantiate the relationships found between course grades and characteristic variables in more diverse populations. "Success in self-directed programmes" from the learner's perspective should also be investigated. The Oddi Continuing Learning Inventory should continue to be researched. Further research may lead to refinement or further development of the instrument, and may provide further insight into self-directed learner attributes. The concept of self-directed learning continues to be incorporated into educational programmes, and thus should continue to be explored.

The normal co-ordinate analysis, vibrational spectra and theoretical infrared intensities of some thiocarbonyl halide molecules /

TITLE: The normal co-ordinate analysis, vibrational spectra and theoretical infrared intensities of some thiocarbonyl halides. AUTHOR: J. L. Brema SUPERVISOR: Dr. D. C. Moule NUMBER OF PAGES: 89 ABSTRACT: The vibrational assignment of the five-in-plane fundamental modes of CSClBr has been made on the basis of infrared gas phase and liquid Raman spectral analyses to supplement our earlier vibrational studies. Even though the one out-of-plane fundamental was not observed spectroscopically an attempt has been made to predict its frequency. The vibrational spectra contained impurity bands and the CSClBr assignment was made only after a thorough analysis of the impurities themselves. A normal co-ordinate analysis calculation was performed assuming a Urey-Bradley force field. This calculation yielded the fundamental frequencies in good agreement with those observed after refinement of the originally transferred force constants. The theoretical frequencies are the eigenvalues of the secular equation and the calculation also gave the corresponding eigenvectors in the form of the very important LLj matrix. The [l] matrix is the transfoirmation between internal co-ordinates and normal co-ordinates and it is essential for Franck-Condon calculations on electronically excited molecules and for infrared Integrated band intensity studies. Using a self-consistent molecular orbital calculation termed "complete neglect of differential overlap" (CNDO/2) , theoretical values of equilibrium bond lengths and angleswere calcuted for a series of carbonyl and thlocarbonyl molecules. From these calculations valence force field force constants were also determined but with limited success. With the CNIX)/2 method theoretical dipole moment derivatives with respect to symmetrized internal co-ordinates were calculated and the results should be useful in a correlation with experimentally determined values.

A classroom-based investigation of reciprocal teaching at the grade seven level

This study assessed the effectiveness of a reciprocal teaching program as a method of teaching reading comprehension, using narrative text material in a t.ypical grade seven classroom. In order to determine the effectiveness of the reciprocal teaching program, this method was compared to two other reading instruction approaches that, unlike rcciprocal teaching, did not include social interaction components. Two intact grade scven classes, and a grade seven teacher, participated in this study. Students were appropriately assigned to three treatment groups by reading achievement level as determined from a norm-referenced test. Training proceeded for a five week intervention period during regularly scheduled English periods. Throughout the program curriculum-based tests were administered. These tests were designed to assess comprehension in two distinct ways; namely, character analysis components as they relate to narrative text, and strategy use components as they contribute to student understanding of narrative and expository text. Pre, post, and maintenance tests were administered to measure overall training effects. Moreover, during intervention, training probes were administered in the last period of each week to evaluate treatment group performance. AU curriculum-based tests were coded and comparisons of pre, post, maintenance tests and training probes were presented in graph form. Results showed that the reciprocal group achieved some improvement in reading comprehension scores in the strategy use component of the tests. No improvements were observed for the character analysis components of the curriculum-based tests and the norm-referenced tests. At pre and post intervention, interviews requiring students to respond to questions that addressed metacomprehension awareness of study strategies were administered. The intelviews were coded and comparisons were made between the two intelVicws. No significant improvements were observed regarding student awareness of ten identified study strategies . This study indicated that reciprocal teaching is a viable approach that can be utilized to help students acquire more effective comprehension strategies. However, the maximum utility of the technique when administered to a population of grade seven students performing at average to above average levels of reading achievement has yet to be determined. In order to explore this issue, the refinement of training materials and curriculum-based measurements need to be explored. As well, this study revealed that reciprocal teaching placed heavier demands on the classroom teacher when compared to other reading instruction methods. This may suggest that innovative and intensive teacher training techniques are required before it is feasible to use this method in the classroom.

Ethnic conflicts and international politics : an analysis of the communal regional, and global dimensions of the Cyprus problem

The thesis assesses the impact of international factors on relations between Greek and Turkish Cypriots during and after the Cold War. Through an analysis of the Cyprus problem it explores both why external actors intervene in communal conflicts and how they influence relations between ethnic groups in plural societies. The analytical framework employed throughout the study draws on contributions of International Relations theorists and students of ethnic conflict. The thesis argues that, as in the global political system, relations between ethnic groups in unranked communal systems are anarchic; that is, actors within the system do not recognize a sovereign political authority. In bipolar communal systems dominated by two relatively equal groups, the struggle for security and power often leads to appeals for assistance from external actors. The framework notes that neighboring states and Great Powers may heed calls for assistance, or intervene without a prior request, if it is in their interest to do so. The convergence of regional and global interests in communal affairs exacerbates ethnic conflicts and precludes the development of effective political institutions. The impact of external intervention in ethnic conflicts has the potential to alter the basis of communal relations. The Cyprus problem is examined both during and after the Cold War in order to gauge how global and regional actors and the structure of their respective systems have affected relations between ethnic groups in Cyprus. The thesis argues that Cyprus's descent into civil war in 1963 was due in part to the entrenchment of external interests in the Republic's constitution. The study also notes that power politics involving the United States, Soviet Union, Greece and Turkey continued to affect the development of communal relations throughout the 1960s, 70s, and, 80s. External intervention culminated in July and August 1974, after a Greek sponsored coup was answered by Turkey's invasion and partition of Cyprus. The forced expulsion of Greek Cypriots from the island's northern territories led to the establishment of ethnically homogeneous zones, thus altering the context of communal relations dramatically. The study also examines the role of the United Nations in Cyprus, noting that its failure to settle the dispute was due in large part to a lack of cooperation from Turkey, and the United States' and Soviet Union's acceptance of the status quo following the 1974 invasion and partition of the island. The thesis argues that the deterioration of Greek-Turkish relations in the post-Cold War era has made a solution to the dispute unlikely for the time being. Barring any dramatic changes in relations between communal and regional antagonists, relations between Greek and Turkish Cypriots will continue to develop along the lines established in July/August 1974. The thesis concludes by affirming the validity of its core hypotheses through a brief survey of recent works touching on international politics and ethnic conflict. Questions requiring further research are noted as are elements of the study that require further refinement.

Experiential learning instruments : an examination of the concept of the instrumental approach in experiential learning

Experiential Learning Instruments (ELls) are employed to modify the leamer's apprehension and / or comprehension in experiential learning situations, thereby improving the efficiency and effectiveness of those modalities in the learning process. They involve the learner in reciprocally interactive and determining transactions with his/her environment. Experiential Learning Instruments are used to keep experiential learning a process rather than an object. Their use is aimed at the continual refinement of the learner's knowledge and skill. Learning happens as the leamer's awareness, directed by the use of Ells, comes to experience, monitor and then use experiential feedback from living situations in a way that facilitates knmvledge/skill acquisition, self-correction and refinement. The thesis examined the literature relevant to the establishing of a theoretical experiential learning framework within which ELls can be understood. This framework included the concept that some learnings have intrinsic value-knowledge of necessary information-while others have instrumental value-knowledge of how to learn. The Kolb Learning Cycle and Kolb's six characteristics of experiential learning were used in analyzing three ELls from different fields of learning-saxophone tone production, body building and interpersonal communications. The ELls were examined to determine their learning objectives and how they work using experiential learning situations. It was noted that ELls do not transmit information but assist the learner in attending to and comprehending aspects of personal experience. Their function is to telescope the experiential learning process.

Management decision-making in nursing

This study developed a new, valid and reliable evaluation instrument to measure the level, type and pattern of management decisions of fifteen nursing students. The management decision score achieved using this instrument was correlated with two psychological determinants of management decision making: creativity and problem-solving ability. The instrument was a written patient management problem in case format, answered by a free form written response. The student responses were classified for type of management decision according to the sub-categories of technical, inter-personal, environmental and unique. Using statistical analysis a significant difference was found in the type of management decisions most frequently selected by the study sample. The students predominantly selected technical type decisions. This preference for one type of management decision may be due to a number of psychological and environmental factors. These factors may program and mold the type of management decisions student nurses make early in their career. Low but positive correlations were found between the total management score and the two psychological tests. This finding supports the authors cited in the literature who state that although creativity augments the type of management decision making, it is not present or encouraged widely in the nursing profession. These factors are worth considering when the profession becomes concerned over ritualization and lack of individuality in patient care. The tool is easy to administer, lends itself to a variety of professional settings and shows promise with further refinement for computer application.

Towards sustainable peace : peace-building and human security

Failed and fragile states that result from intrastate war pose severe threats to the security of both the international system and individual states alike. In the post-Cold War era, the international community has come to recognize the reality of these threats and the difficulty involved in ending violence and building sustainable peace in failed and fragile states. This work focuses upon the development of a comprehensive strategy for sustainable peace-building by incorporating the tenets of the human security doctrine into the peace-building process. Through the use of case studies of The Former Yugoslav Republic of Macedonia and East Timor, the development and refinement of the doctrine of human security will occur, as well as, an understanding of how and where human security fits into the sustainable peace-building equation. The end result of the analysis is the development of a hierarchical pyramid formation that brings together human security and peace-building into one framework that ultimately creates the foundation and structure of sustainable peace-building. With the development of a sustainable peace-building structure based upon the human security doctrine, the role of Canada in the support of sustainable peace-building is analyzed in relation to the form and level of involvement that Canada undertakes and contributes to in the implementation and support of sustainable peace-building initiatives. Following from this, recommendations are provided regarding what role(s) Canada should undertake in the sustainable peace-building process that take into consideration the present and likely future capabilities of Canada to be involved in various aspects of the peace-building process. ii This paper outlines the need for a peace-building strategy that is designed to be sustainable in order that failed and fragile states resulting from intrastate conflict do not regress or collapse back into a condition of civil war, and subsequently designs such a strategy. The linking of peace-building and human security creates the required framework from which sustainable peace-building is derived. Creating sustainable peace is necessary in order to increase the likelihood that both present and future generations existing in failed and fragile states will be spared from the scourge of intrastate war.