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.

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.

Novel control, haptic and calibration methods for teleoperated electrohydraulic servo systems

The aim of this thesis is to propose a novel control method for teleoperated electrohydraulic servo systems that implements a reliable haptic sense between the human and manipulator interaction, and an ideal position control between the manipulator and the task environment interaction. The proposed method has the characteristics of a universal technique independent of the actual control algorithm and it can be applied with other suitable control methods as a real-time control strategy. The motivation to develop this control method is the necessity for a reliable real-time controller for teleoperated electrohydraulic servo systems that provides highly accurate position control based on joystick inputs with haptic capabilities. The contribution of the research is that the proposed control method combines a directed random search method and a real-time simulation to develop an intelligent controller in which each generation of parameters is tested on-line by the real-time simulator before being applied to the real process. The controller was evaluated on a hydraulic position servo system. The simulator of the hydraulic system was built based on Markov chain Monte Carlo (MCMC) method. A Particle Swarm Optimization algorithm combined with the foraging behavior of E. coli bacteria was utilized as the directed random search engine. The control strategy allows the operator to be plugged into the work environment dynamically and kinetically. This helps to ensure the system has haptic sense with high stability, without abstracting away the dynamics of the hydraulic system. The new control algorithm provides asymptotically exact tracking of both, the position and the contact force. In addition, this research proposes a novel method for re-calibration of multi-axis force/torque sensors. The method makes several improvements to traditional methods. It can be used without dismantling the sensor from its application and it requires smaller number of standard loads for calibration. It is also more cost efficient and faster in comparison to traditional calibration methods. The proposed method was developed in response to re-calibration issues with the force sensors utilized in teleoperated systems. The new approach aimed to avoid dismantling of the sensors from their applications for applying calibration. A major complication with many manipulators is the difficulty accessing them when they operate inside a non-accessible environment; especially if those environments are harsh; such as in radioactive areas. The proposed technique is based on design of experiment methodology. It has been successfully applied to different force/torque sensors and this research presents experimental validation of use of the calibration method with one of the force sensors which method has been applied to.

Development of Measurement Systems in Scientific Research: Case Study

In recent years, technological advancements in microelectronics and sensor technologies have revolutionized the field of electrical engineering. New manufacturing techniques have enabled a higher level of integration that has combined sensors and electronics into compact and inexpensive systems. Previously, the challenge in measurements was to understand the operation of the electronics and sensors, but this has now changed. Nowadays, the challenge in measurement instrumentation lies in mastering the whole system, not just the electronics. To address this issue, this doctoral dissertation studies whether it would be beneficial to consider a measurement system as a whole from the physical phenomena to the digital recording device, where each piece of the measurement system affects the system performance, rather than as a system consisting of small independent parts such as a sensor or an amplifier that could be designed separately. The objective of this doctoral dissertation is to describe in depth the development of the measurement system taking into account the challenges caused by the electrical and mechanical requirements and the measurement environment. The work is done as an empirical case study in two example applications that are both intended for scientific studies. The cases are a light sensitive biological sensor used in imaging and a gas electron multiplier detector for particle physics. The study showed that in these two cases there were a number of different parts of the measurement system that interacted with each other. Without considering these interactions, the reliability of the measurement may be compromised, which may lead to wrong conclusions about the measurement. For this reason it is beneficial to conceptualize the measurement system as a whole from the physical phenomena to the digital recording device where each piece of the measurement system affects the system performance. The results work as examples of how a measurement system can be successfully constructed to support a study of sensors and electronics.

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.

Computational models for and from biology : simple gene assembly and reaction systems

The advancement of science and technology makes it clear that no single perspective is any longer sufficient to describe the true nature of any phenomenon. That is why the interdisciplinary research is gaining more attention overtime. An excellent example of this type of research is natural computing which stands on the borderline between biology and computer science. The contribution of research done in natural computing is twofold: on one hand, it sheds light into how nature works and how it processes information and, on the other hand, it provides some guidelines on how to design bio-inspired technologies. The first direction in this thesis focuses on a nature-inspired process called gene assembly in ciliates. The second one studies reaction systems, as a modeling framework with its rationale built upon the biochemical interactions happening within a cell. The process of gene assembly in ciliates has attracted a lot of attention as a research topic in the past 15 years. Two main modelling frameworks have been initially proposed in the end of 1990s to capture ciliates’ gene assembly process, namely the intermolecular model and the intramolecular model. They were followed by other model proposals such as templatebased assembly and DNA rearrangement pathways recombination models. In this thesis we are interested in a variation of the intramolecular model called simple gene assembly model, which focuses on the simplest possible folds in the assembly process. We propose a new framework called directed overlap-inclusion (DOI) graphs to overcome the limitations that previously introduced models faced in capturing all the combinatorial details of the simple gene assembly process. We investigate a number of combinatorial properties of these graphs, including a necessary property in terms of forbidden induced subgraphs. We also introduce DOI graph-based rewriting rules that capture all the operations of the simple gene assembly model and prove that they are equivalent to the string-based formalization of the model. Reaction systems (RS) is another nature-inspired modeling framework that is studied in this thesis. Reaction systems’ rationale is based upon two main regulation mechanisms, facilitation and inhibition, which control the interactions between biochemical reactions. Reaction systems is a complementary modeling framework to traditional quantitative frameworks, focusing on explicit cause-effect relationships between reactions. The explicit formulation of facilitation and inhibition mechanisms behind reactions, as well as the focus on interactions between reactions (rather than dynamics of concentrations) makes their applicability potentially wide and useful beyond biological case studies. In this thesis, we construct a reaction system model corresponding to the heat shock response mechanism based on a novel concept of dominance graph that captures the competition on resources in the ODE model. We also introduce for RS various concepts inspired by biology, e.g., mass conservation, steady state, periodicity, etc., to do model checking of the reaction systems based models. We prove that the complexity of the decision problems related to these properties varies from P to NP- and coNP-complete to PSPACE-complete. We further focus on the mass conservation relation in an RS and introduce the conservation dependency graph to capture the relation between the species and also propose an algorithm to list the conserved sets of a given reaction system.

The role of management accounting systems and venture capital investors for start-up firms

The role of star-up firms in economy and the importance of venture capital investors for the growth of start-up firms have been highlighted in recent years. The growth challenges of start-up firms consist of fast changing environment, the availability of venture capital funding and the development of firm management in the growth phase. A growing number of studies have focused on management accounting systems and venture capital in start-up and growth firm context. In this thesis the role of management accounting systems and venture capital investors is considered in the growth phase of firm development. The theoretical objective of this thesis is to construct a theoretical framework in order to describe the importance of management accounting systems and venture capital investors in start-up firms. The practice orientated objective of this thesis is to study the application of management accounting systems and management accounting based information in start-up firms in high-technology industry as well as the impact of venture capital for management accounting system design. In addition, the growth challenges of start-up firms are studied in order to understand the context in which management accounting systems are used. The research approach of theoretical part is conceptual as the theoretical framework is constructed by combining literature on firm growth, management accounting and venture finance in order to analyse the phenomenon. The action-orientated research approach is appropriate for analysing and describing of the studied phenomenon through empirical evidence. The empirical evidence was collected through interviews with three experts in start-up firm accelerator centers, four representatives of start-up firms and one venture capital investor. The results indicate that the growth challenges of stat-up firms are not related to the development of management accounting systems. Managers of start-up firms expressed a positive attitude towards management accounting systems that improve efficiency of operations. In start-up firms flexible and adjustable management accounting practices, such as budgets, cash flow calculations and future-orientated analysis tools, are applied that support planning and coordination of operations. The results indicate that venture capital investors affect the provision and the quality of management accounting information during the investment process. In addition, venture capital investors enhance the use of management accounting information for internal coordination in start-up firms. By applying the theoretical framework in the analysis, it can be stated that by acting as support function management accounting systems facilitate start-up firms development.

Evaluation of Machine Learning Classifiers for Mobile Network Intrusion Detection Systems

Mobile malwares are increasing with the growing number of Mobile users. Mobile malwares can perform several operations which lead to cybersecurity threats such as, stealing financial or personal information, installing malicious applications, sending premium SMS, creating backdoors, keylogging and crypto-ransomware attacks. Knowing the fact that there are many illegitimate Applications available on the App stores, most of the mobile users remain careless about the security of their Mobile devices and become the potential victim of these threats. Previous studies have shown that not every antivirus is capable of detecting all the threats; due to the fact that Mobile malwares use advance techniques to avoid detection. A Network-based IDS at the operator side will bring an extra layer of security to the subscribers and can detect many advanced threats by analyzing their traffic patterns. Machine Learning(ML) will provide the ability to these systems to detect unknown threats for which signatures are not yet known. This research is focused on the evaluation of Machine Learning classifiers in Network-based Intrusion detection systems for Mobile Networks. In this study, different techniques of Network-based intrusion detection with their advantages, disadvantages and state of the art in Hybrid solutions are discussed. Finally, a ML based NIDS is proposed which will work as a subsystem, to Network-based IDS deployed by Mobile Operators, that can help in detecting unknown threats and reducing false positives. In this research, several ML classifiers were implemented and evaluated. This study is focused on Android-based malwares, as Android is the most popular OS among users, hence most targeted by cyber criminals. Supervised ML algorithms based classifiers were built using the dataset which contained the labeled instances of relevant features. These features were extracted from the traffic generated by samples of several malware families and benign applications. These classifiers were able to detect malicious traffic patterns with the TPR upto 99.6% during Cross-validation test. Also, several experiments were conducted to detect unknown malware traffic and to detect false positives. These classifiers were able to detect unknown threats with the Accuracy of 97.5%. These classifiers could be integrated with current NIDS', which use signatures, statistical or knowledge-based techniques to detect malicious traffic. Technique to integrate the output from ML classifier with traditional NIDS is discussed and proposed for future work.

Real-time simulation of multibody systems with applications for working mobile vehicles

This dissertation describes an approach for developing a real-time simulation for working mobile vehicles based on multibody modeling. The use of multibody modeling allows comprehensive description of the constrained motion of the mechanical systems involved and permits real-time solving of the equations of motion. By carefully selecting the multibody formulation method to be used, it is possible to increase the accuracy of the multibody model while at the same time solving equations of motion in real-time. In this study, a multibody procedure based on semi-recursive and augmented Lagrangian methods for real-time dynamic simulation application is studied in detail. In the semirecursive approach, a velocity transformation matrix is introduced to describe the dependent coordinates into relative (joint) coordinates, which reduces the size of the generalized coordinates. The augmented Lagrangian method is based on usage of global coordinates and, in that method, constraints are accounted using an iterative process. A multibody system can be modelled as either rigid or flexible bodies. When using flexible bodies, the system can be described using a floating frame of reference formulation. In this method, the deformation mode needed can be obtained from the finite element model. As the finite element model typically involves large number of degrees of freedom, reduced number of deformation modes can be obtained by employing model order reduction method such as Guyan reduction, Craig-Bampton method and Krylov subspace as shown in this study The constrained motion of the working mobile vehicles is actuated by the force from the hydraulic actuator. In this study, the hydraulic system is modeled using lumped fluid theory, in which the hydraulic circuit is divided into volumes. In this approach, the pressure wave propagation in the hoses and pipes is neglected. The contact modeling is divided into two stages: contact detection and contact response. Contact detection determines when and where the contact occurs, and contact response provides the force acting at the collision point. The friction between tire and ground is modelled using the LuGre friction model, which describes the frictional force between two surfaces. Typically, the equations of motion are solved in the full matrices format, where the sparsity of the matrices is not considered. Increasing the number of bodies and constraint equations leads to the system matrices becoming large and sparse in structure. To increase the computational efficiency, a technique for solution of sparse matrices is proposed in this dissertation and its implementation demonstrated. To assess the computing efficiency, augmented Lagrangian and semi-recursive methods are implemented employing a sparse matrix technique. From the numerical example, the results show that the proposed approach is applicable and produced appropriate results within the real-time period.

Optimal Recycling Combination of Ash in South-East Finland

The present world energy production is heavily relying on the combustion of solid fuels like coals, peat, biomass, municipal solid waste, whereas the share of renewable fuels is anticipated to increase in the future to mitigate climate change. In Finland, peat and wood are widely used for energy production. In any case, the combustion of solid fuels results in generation of several types of thermal conversion residues, such as bottom ash, fly ash, and boiler slag. The predominant residue type is determined by the incineration technology applied, while its composition is primarily relevant to the composition of fuels combusted. An extensive research has been conducted on technical suitability of ash for multiple recycling methods. Most of attention was drawn to the recycling of the coal combustion residues, as coal is the primary solid fuel consumed globally. The recycling methods of coal residues include utilization in a cement industry, in concrete manufacturing, and mine backfilling, to name few. Biomass combustion residues were also studied to some extent with forest fertilization, road construction, and road stabilization being the predominant utilization options. Lastly, residues form municipal solid waste incineration attracted more attention recently following the growing number of waste incineration plants globally. The recycling methods of waste incineration residues are the most limited due to its hazardous nature and varying composition, and include, among others, landfill construction, road construction, mine backfilling. In the study, environmental and economic aspects of multiple recycling options of thermal conversion residues generated within a case-study area were studied. The case-study area was South-East Finland. The environmental analysis was performed using an internationally recognized methodology — life cycle assessment. Economic assessment was conducted applying a widely used methodology — cost-benefit analysis. Finally, the results of the analyses were combined to enable easier comparison of the recycling methods. The recycling methods included the use of ash in forest fertilization, road construction, road stabilization, and landfill construction. Ash landfilling was set as a baseline scenario. Quantitative data about the amounts of ash generated and its composition was obtained from companies, their environmental reports, technical reports and other previously published literature. Overall, the amount of ash in the case-study area was 101 700 t. However, the data about 58 400 t of fly ash and 35 100 t of bottom ash and boiler slag were included in the study due to lack of data about leaching of heavy metals in some cases. The recycling methods were modelled according to the scientific studies published previously. Overall, the results of the study indicated that ash utilization for fertilization and neutralization of 17 600 ha of forest was the most economically beneficial method, which resulted in the net present value increase by 58% compared to ash landfilling. Regarding the environmental impact, the use of ash in the construction of 11 km of roads was the most attractive method with decreased environmental impact of 13% compared to ash landfilling. The least preferred method was the use of ash for landfill construction since it only enabled 11% increase of net present value, while inducing additional 1% of negative impact on the environment. Therefore, a following recycling route was proposed in the study. Where possible and legally acceptable, recycle fly and bottom ash for forest fertilization, which has strictest requirements out of all studied methods. If the quality of fly ash is not suitable for forest fertilization, then it should be utilized, first, in paved road construction, second, in road stabilization. Bottom ash not suitable for forest fertilization, as well as boiler slag, should be used in landfill construction. Landfilling should only be practiced when recycling by either of the methods is not possible due to legal requirements or there is not enough demand on the market. Current demand on ash and possible changes in the future were assessed in the study. Currently, the area of forest fertilized in the case-study are is only 451 ha, whereas about 17 600 ha of forest could be fertilized with ash generated in the region. Provided that the average forest fertilizing values in Finland are higher and the area treated with fellings is about 40 000 ha, the amount of ash utilized in forest fertilization could be increased. Regarding road construction, no new projects launched by the Center of Economic Development, Transport and the Environment in the case-study area were identified. A potential application can be found in the construction of private roads. However, no centralized data about such projects is available. The use of ash in stabilization of forest roads is not expected to increased in the future with a current downwards trend in the length of forest roads built. Finally, the use of ash in landfill construction is not a promising option due to the reducing number of landfills in operation in Finland.

Mass transfer and reaction kinetics in single droplet systems

As reactive extraction grown more and more popular in a variety of technological applications, optimizing its performance becomes more and more important. The process of complex formation is affected by a great number of both physical and chemical properties of all the components involved, and sometimes their interference with one another makes improving the effectiveness of such processes very difficult. In this Master’s Theses, the processes of complex formation between the aqueous phase - represented by copper sulfate water solution, and organic phase – represented by Acorga M5640 solvent extractor, were studied in order to establish the effect these components have on reactive extraction performance and to determine which step is bottlenecking the process the most.

Studies of some cocondensations of nickel atoms with unsaturated organic ligands and with mixed ligand systems

The cocondensation of nickel with a number of unsaturated ligands was studied, as was the cocondensation with a number of mixed ligand systems. Enamines were found not to react with nickel while acrylonitrile was polymerized. In the mixed ligand syst.ems different products were obtained than when the ligands were cocondensed individually. Cocondensations of benzyl halide/allyl halide mixtures gave unstable products that were not observed when the halides were cocondensed individually. The effect of Kao-Wool insulation on nickel/benzyl halide cocondensations was found to be significant. Kao-Wool caused the bulk of the benzyl halide to be polymeri zed to a number of poly-benzylic species. An alkali metal reactor was designed for the evaporation of sodium and potassium atoms into cold solutions of metal halide and an or ganic substrate. This apparatus was used to synthesize Ni(P¢3 )3' but proved unsuccessful for synthesizing a nickel-enamine compound.

Identification of novel retinoid receptors and their roles in vertebrate and invertebrate nervous systems

In vertebrates, signaling by retinoic acid (RA) is known to play an important role in embryonic development, as well as organ homeostasis in the adult. In organisms such as adult axolotls and newts, RA is also important for regeneration of the CNS, limb, tail, and many other organ systems. RA mediates many of its effects in development and regeneration through nuclear receptors, known as retinoic acid receptors (RARs) and retinoid X receptors (RXRs). This study provides evidence for an important role of the RA receptor, RAR~2, in ,( '. regeneration ofthe spinal cord and tail of the adult newt. It has previously been proposed that the ability of the nervous system to regenerate might depend on the presence or absence of this RAR~2 isoform. Here, I show for the very first time, that the regenerating spinal cord of the adult newt expresses this ~2 receptor isoform, and inhibition of retinoid signaling through this specific receptor with a selective antagonist inhibits tail and spinal cord regeneration. This provides the first evidence for a role of this receptor in this process. Another species capable of CNS ~~generation in the adult is the invertebrate, " Lymnaea stagnalis. Although RA has been detected in a small number of invertebrates (including Lymnaea), the existence and functional roles of the retinoid receptors in most invertebrate non-chordates, have not been previously studied. It has been widely believed, however, that invertebrate non-chordates only possess the RXR class of retinoid receptors, but not the RARs. In this study, a full-length RXR cDNA has been cloned, which was the first retinoid receptor to be discovered in Lymnaea. I then went on to clone the very first full-length RAR eDNA from any non-chordate, invertebrate species. The functional role of these receptors was examined, and it was shown that normal molluscan development was altered, to varying degrees, by the presence of various RXR and RAR agonists or antagonists. The resulting disruptions in embryogenesis ranged from eye and shell defects, to complete lysis of the early embryo. These studies strongly suggest an important role for both the RXR and RAR in non-chordate development. The molluscan RXR and RAR were also shown to be expressed in the adult, nonregenerating eNS, as well as in individual motor neurons regenerating in culture. More specifically, their expression displayed a non-nuclear distfibution, suggesting a possible non-genomic role for these 'nuclear' receptors. It was shown that immunoreactivity for the RXR was present in almost all regenerating growth cones, and (together with N. Farrar) it was shown that this RXR played a novel, non-genomic role in mediating growth cone turning toward retinoic acid. Immunoreactivity for the novel invertebrate RAR was also found in the regenerating growth cones, but future work will be required to determine its functional role in nerve cell regeneration. Taken together, these data provide evidence for the importance of these novel '. retinoid receptors in development and regeneration, particularly in the adult nervous system, and the conservation of their effects in mediating RA signaling from invertebrates to vertebrates.

Interactions between the cholinergic and dopaminergic systems during the production of ultrasonic vocalizations in rats

Rats produce ultrasonic vocalizations that can be categorized into two types of ultrasonic calls based on their sonographic structure. One group contains 22-kHz ultrasonic vocalization (USVs), characterized by relatively constant (flat) frequency with peak frequency ranging from 19 to 28-kHz, and a call duration ranging between 100 – 3000 ms. These vocalization can be induced by cholinomimetic agents injected into the ascending mesolimbic cholinergic system that terminates in the anterior hypothalamic-preoptic area (AH-MPO) and lateral septum (LS). The other group of USVs contains 50-kHz USVs, characterized by high peak frequency, ranging from 39 to 90-kHz, short duration ranging from 10-90 ms, and varying frequency and complex sonographic morphology. These vocalizations can be induced by dopaminergic agents injected into the nucleus accumbens, the target area for the mesolimbic dopaminergic system. 22-kHz USVs are emitted in situations that are highly aversive, such as proximity of a predator or anticipation of a foot shock, while 50 kHz USVs are emitted in rewarding and appetitive situations, such as juvenile play behaviour or anticipation of rewarding electrical brain stimulation. The activities of these two mesolimbic systems were postulated to be antagonistic to each other. The current thesis is focused on the interaction of these systems indexed by emission of relevant USVs. It was hypothesized that emission of 22 kHz USVs will be antagonized by prior activation of the dopaminergic system while emission of 50 kHz will be antagonized by prior activation of the cholinergic system. It was found that injection of apomorphine into the shell of the nucleus accumbens significantly decreased the number of carbachol-induced 22 kHz USVs from both AH-MPO and LS. Injection of carbachol into the LS significantly decreased the number of apomorphine-induced 50 kHz USVs from the shell of the nucleus accumbens. The results of the study supported the main hypotheses that the mesolimbic dopaminergic and cholinergic systems function in antagonism to each other.

Cell-selective modulation of the neuromuscular system in Drosophila

The capacity for all living cells to sense and interact with their environment is a necessity for life. In highly evolved, eukaryotic species, like humans, signalling mechanisms are necessary to regulate the function and survival of all cells in the organism. Synchronizing systemic signalling systems at the cellular, organ and whole-organism level is a formidable task, and for most species requires a large number of signalling molecules and their receptors. One of the major types of signalling molecules used throughout the animal kingdom are modulatory substances (e.x. hormones and peptides). Modulators can act as chemical transmitters, facilitating communication at chemical synapses. There are hundreds of circulating modulators within the mammalian system, but the reason for so many remains a mystery. Recent work with the fruit fly, Drosophila melanogaster demonstrated the capacity for peptides to modulate synaptic transmission in a neuron-specific manner, suggesting that peptides are not simply redundant, but rather may have highly specific roles. Thus, the diversity of peptides may reflect cell-specific functions. The main objective of my doctoral thesis was to examine the extent to which neuromodulator substances and their receptors modulate synaptic transmission at a cell-specific level using D. melanogaster. Using three different modulatory substances, i) octopamine - a biogenic amine released from motor neuron terminals, ii) DPKQDFMRFa - a neuropeptide secreted into circulation, and iii) Proctolin - a pentapeptide released both from motor neuron terminals and into circulation, I was able to investigate not only the capacity of these various substances to work in a cell-selective manner, but also examine the different mechanisms of action and how modulatory substances work in concert to execute systemic functionality . The results support the idea that modulatory substances act in a circuit-selective manner in the central nervous system and in the periphery in order to coordinate and synchronize physiologically and behaviourally relevant outputs. The findings contribute as to why the nervous system encodes so many modulatory substances.