Trigger and data link system for CMS Resistive Plate Chambers at the LHC accelerator

The purpose of the work was to realize a high-speed digital data transfer system for RPC muon chambers in the CMS experiment on CERN’s new LHC accelerator. This large scale system took many years and many stages of prototyping to develop, and required the participation of tens of people. The system interfaces to Frontend Boards (FEB) at the 200,000-channel detector and to the trigger and readout electronics in the control room of the experiment. The distance between these two is about 80 metres and the speed required for the optic links was pushing the limits of available technology when the project was started. Here, as in many other aspects of the design, it was assumed that the features of readily available commercial components would develop in the course of the design work, just as they did. By choosing a high speed it was possible to multiplex the data from some the chambers into the same fibres to reduce the number of links needed. Further reduction was achieved by employing zero suppression and data compression, and a total of only 660 optical links were needed. Another requirement, which conflicted somewhat with choosing the components a late as possible was that the design needed to be radiation tolerant to an ionizing dose of 100 Gy and to a have a moderate tolerance to Single Event Effects (SEEs). This required some radiation test campaigns, and eventually led to ASICs being chosen for some of the critical parts. The system was made to be as reconfigurable as possible. The reconfiguration needs to be done from a distance as the electronics is not accessible except for some short and rare service breaks once the accelerator starts running. Therefore reconfigurable logic is extensively used, and the firmware development for the FPGAs constituted a sizable part of the work. Some special techniques needed to be used there too, to achieve the required radiation tolerance. The system has been demonstrated to work in several laboratory and beam tests, and now we are waiting to see it in action when the LHC will start running in the autumn 2008.

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.

Improving oral healthcare in Scotland with special reference to sustainability and caries prevention

Brett Duane Improving oral healthcare in Scotland with special reference to sustainability and caries prevention University of Turku, Faculty of Medicine, Institute of Dentistry, Community Dentistry, Finnish Doctoral Program in Oral Sciences (FINDOS-Turku), Turku, Finland Annales Universitatis Turkuensis, Sarja- Ser. D, Medica-Odontologica. Painosalama Oy, Turku, Finland, 2015. Dentistry must provide sustainable, evidence-based, and prevention-focused care. In Scotland oral health prevention is delivered through the Childsmile programme, with an increasing use of high concentration fluoride toothpaste (HCFT). Compared with other countries there is little knowledge of xylitol prevention. The UK government has set strict carbon emission limits with which all national health services (NHS) must comply. The purpose of these studies was firstly to describe the Scottish national oral health prevention programme Childsmile (CS), to determine if the additional maternal use of xylitol (CS+X) was more effective at affecting the early colonisation of mutans streptococci (MS) than this programme alone; secondly to analyse trends in the prescribing and management of HCFT by dentists; and thirdly to analyse data from a dental service in order to improve its sustainability. In all, 182 mother/child pairs were selected on the basis of high maternal MS levels. Motherswere randomly allocated to a CS or CS+X group, with both groups receiving Childsmile. Theintervention group consumed xylitol three times a day, from when the child was 3 months until 24 months. Children were examined at age two to assess MS levels. In order to understand patterns of HCFT prescribing, a retrospective secondary data analysis of routine prescribing data for the years 2006-2012 was performed. To understand the sustainability of dental services, carbon accounting combined a top-down approach and a process analysis approach, followed by the use of Pollard’s decision model (used in other healthcare areas) to analyse and support sustainable service reconfiguration. Of the CS children, 17% were colonised with MS, compared with 5% of the CS+X group. This difference was not statistically significant (P=0.1744). The cost of HCFT prescribing increased fourteen-fold over five years, with 4% of dentists prescribing 70% of the total product. Travel (45%), procurement (36%) and building energy (18%) all contributed to the 1800 tonnes of carbon emissions produced by the service, around 4% of total NHS emissions. Using the analytical model, clinic utilisation rates improved by 56% and patient travel halved significantly reducing carbon emissions. It can be concluded that the Childsmile programme was effective in reducing the risk for MS transmission. HCFT is increasing in Scotland and needs to be managed. Dentistry has similar carbon emissions proportionally as the overall NHS, and the use of an analytic tool can be useful in helping identify these emissions. Key words: Sustainability, carbon emissions, xylitol, mutans streptococci, fluoride toothpaste, caries prevention.

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.

Why are some companies more successful than others? An exploration into organizational culture and dynamic capabilities

Why are some companies more successful than others? This thesis approaches the question by enlisting theoretical frameworks that explain the performance with internal factors, deriving from the resource-based view, namely the dynamic capabilities approach. To deepen the understanding of the drivers and barriers towards developing these higher order routines aiming at improving the operational level routines, this thesis explores the organisational culture and identity research for the microfoundational antecedents that might shed light on the formation of the dynamic capabilities. The dynamic capabilities framework in this thesis strives to take the theoretical concept closer to practical applicability. This is achieved through creation of a dynamic capabilities matrix, consisting of four dimensions often encountered in dynamic capabilities literature. The quadrants are formed along internal-external and resources-abilities axes, and consist of Sensing, Learning, Reconfiguration and Partnering facets. A key element of this thesis is the reality continuum, which illustrates the different levels of reality inherent in any entity of human individuals. The theoretical framework constructed in the thesis suggests a link between the collective but constructivist understanding of the organisation and both the operational and higher level routines, evident in the more positivist realm. The findings from three different case organisations suggest that the constructivist assumptions inherent to an organisation function as a generative base for both drivers and barriers towards developing dynamic capabilities. From each organisation one core assumption is scrutinized to identify its connections to the four dimensions of the dynamic capabilities. These connections take the form of drivers or barriers – or have the possibility to develop into one or the other. The main contribution of this thesis is to show that one key for an organisation to perform well in a turbulent setting, is to understand the different levels of realities inherent in any group of people. Recognising the intangible levels gives an advantage in the tangible ones.