A critical analysis of the prospects for the effective development of a regional approach to competition law in the ASEAN region

This thesis is an examination of the ASEAN’s prospects in establishing regional competition policy in the Southeast Asia region, a topic of contemporary relevance in light of the ASEAN’s recent foray into the economic integration field on 31 December 2015. It questions whether the current approach undertaken by the ASEAN could contribute to an effective regional competition policy under the regional market integration. In answering this question, the thesis first critically surveys the current terrain of regional competition laws and policies in order to determine the possible existence of an optimal template. It argues that although the EU model is oft used as a source of inspiration, each regional organisation conceives different configurations of the model in order to best adjust to the local regional contexts. The thesis makes an inquiry into the narratives of the ASEAN’s competition policy, as well as the ASEAN’s specific considerations in the development of competition policy, before comparing the findings to the actual approaches taken by the ASEAN in its pursuit of regional competition policy. This thesis reveals that the actual approach taken by the ASEAN demonstrates an important discrepancy from the economic integration goal. The ASEAN applies a soft harmonisation approach regarding substantive competition law while refraining from establishing a centralised institution or a representative institution. The sole organ with regards to competition policy at the regional level is an expert organ. The thesis also conducts an investigation into the reception of the ASEAN’s regional policy by the member states in order to ascertain the possibility of the achievement of the ASEAN’s aspiration of regional competition policy. The study reveals that despite some shared similarities in the broad principles of competition law amongst the member states, the various competition law regimes are not harmonised thus creating challenging obstacle to the ASEAN’s ambition. The thesis then concludes that the ASEAN’s approach to regional competition law is unlikely to be effective.

Dealing with the devil: a critical and creative look at the diabolical pact

This thesis is comprised of three parts: a critical dissertation, a creative work of fiction and a bridge piece that connects the two. The critical work is an examination of the Devil as a satirist in Faustian bargains. Through the usage of the Devil as a literary figure, his character has become a more secular being: a trickster rather than evil incarnate—a facilitator of sin rather than its originator. In the tragicomedy of pacts with the Devil, he acts as a mirror, reflecting mankind’s foibles and vanity, while elevating the reader in the process. The thesis considers the language, tone, purpose and conceits of several versions of the story. While the focus is primarily on American Literature, the influence of English, Scottish, French and German folklore and fiction are recognized as an essential component of the theme’s evolution. In the bridge piece, the pact with the Devil is literalized in a modern context; a corporate business of reaping souls is theorized in which techniques of persuasion are streamlined into an effective formula. Whether immersive or expository in approach, the portrayal of the supernatural depends on the literary principles of science fiction and fantasy in order to manipulate the reader and allow irrational concepts to obey rational laws. Such theories are cited to support how the Devil functions as a believable character. The novel, Could Be Much Worse, relates the story of an egocentric boss and his dependable employee, a scout who disguises himself as a taxi driver and seeks candidates who may succumb to temptation. Passengers’ monologues of desperation and pathos are interspersed throughout the protagonist’s day-to-day narrative. At times, the work is experimental, utilizing irregular storytelling techniques, alternative forms and conceits. Light-hearted, but nonetheless poignant, the story serves as a cautionary tale, illustrating the tedium of a bureaucratic job in a transmundane existence.

Probabilistic verification of satellite systems for mission critical applications

In this thesis, we present a quantitative approach using probabilistic verification techniques for the analysis of reliability, availability, maintainability, and safety (RAMS) properties of satellite systems. The subject of our research is satellites used in mission critical industrial applications. A strong case for using probabilistic model checking to support RAMS analysis of satellite systems is made by our verification results. This study is intended to build a foundation to help reliability engineers with a basic background in model checking to apply probabilistic model checking to small satellite systems. We make two major contributions. One of these is the approach of RAMS analysis to satellite systems. In the past, RAMS analysis has been extensively applied to the field of electrical and electronics engineering. It allows system designers and reliability engineers to predict the likelihood of failures from the indication of historical or current operational data. There is a high potential for the application of RAMS analysis in the field of space science and engineering. However, there is a lack of standardisation and suitable procedures for the correct study of RAMS characteristics for satellite systems. This thesis considers the promising application of RAMS analysis to the case of satellite design, use, and maintenance, focusing on its system segments. Data collection and verification procedures are discussed, and a number of considerations are also presented on how to predict the probability of failure. Our second contribution is leveraging the power of probabilistic model checking to analyse satellite systems. We present techniques for analysing satellite systems that differ from the more common quantitative approaches based on traditional simulation and testing. These techniques have not been applied in this context before. We present the use of probabilistic techniques via a suite of detailed examples, together with their analysis. Our presentation is done in an incremental manner: in terms of complexity of application domains and system models, and a detailed PRISM model of each scenario. We also provide results from practical work together with a discussion about future improvements.