Model-based design is a powerful design technique for embedded system development. The technique enables virtual prototyping to develop and debug controllers before touching real hardware. There are many tools available covering the distinct steps of the design cycle including modeling, simulation, and implementation. Unfortunately, none of them covers all three steps. This thesis proposes a formalism coupling the model and the implementation of a controller for equation-based simulation tools. The resulting formalism translates defined controller models to platform specific code using a defined set of syntax. A case study of a line-following robot has been developed to illustrate the feasibility of the approach. The prototype has been tested and evaluated using a sequence of test scenarios of increasing difficulty. The final experiments suggest that the behaviors of both modeled and generated controllers are similar. The thesis concludes that the approach of model-implementation coupling of controllers in the simplest form is feasible for equation-based tools. This allows it to conduct the whole model-based design cycle within a single environment.

No description available.

No description available.

Waveguides in Euclidian space are piecewise path connected subsets of R^n that can be written as the union of a compact domain with boundary and their cylindrical ends. The compact and non-compact parts share a common boundary. This boundary is assumed to be Lipschitz, piecewise smooth and piecewise path connected. The ends can be thought of as the cartesian product of the boundary with the positive real half-line. A notable feature of Euclidian waveguides is that the scattering matrix admits a meromorphic continuation to a certain Riemann surface with a countably infinite number of leaves [2], which we will describe in detail and deal with. In order to construct this meromorphic continuation, one usually first constructs a meromorphic continuation of the resolvent for the Laplace operator. In order to do this, we will use a well known glueing construction (see for example [5]), which we adapt to waveguides. The construction makes use of the meromorphic Fredholm theorem and the fact that the resolvent for the Neumann Laplace operator on the ends of the waveguide can be easily computed as an integral kernel. The resolvent can then be used to construct generalised eigenfunctions and, from them, the scattering matrix. Being in possession of the scattering matrix allows us to calculate resonances; poles of the scattering matrix. We are able to do this using a combination of numerical contour integration and Newton s method.

During the first aid process, when patients are threatened by poor medical conditions, ambulance paramedics are required to administer emergency treatment based on instruc- tions provided by a remote emergency doctor through voice communication. However, such voice communication is always limited in expressing abundant detailed information for the patient. This thesis presents a framework for a stereoscopic and intelligent telemedicine sys- tem that can provide 3D live video communication between paramedics and emergency doctors. The proposed system captures 3D video from the paramedic headset carried by the paramedics, transmits the video through wireless live streaming, and displays the video with a 3D effect for emergency doctors in the hospital. The video can be analyzed to extract information about the patient through embedded algorithm such as face de- tection algorithm. In this thesis, the hardware, functional mechanism and face detection algorithm are introduced separately. The hardware of the system consists of a paramedic headset, a server box and a 3D PC, which are used to capture 3D video, transmit video through live streaming and display video with a stereo effect, respectively. The functional mechanism includes two subsystems, which work for pushing the stereo video to multiple live streams and displaying the 3D video from the live stream. In order to detect the patient information from the video, a multi-task face detection algorithm is applied to analyze the stereo video using deep learning technology. We improved the neural networks of face detection by utilizing 1 ⇥ 1 convolutional layers and retrain the network based on the transfer learning to achieve better and faster performance. This system has achieved good and stable performance in network delay (0.0489ms) and objective video quality evaluations. The face detection algorithm has achieved no- table accuracy (91.78% In FDDB dataset) and efficiency (19.71 ms/frame).

In this paper, the benefits and advantages of combining advanced embedded processing capabilities with an FPGA based approach within a Data Acquisition Unit (DAU) are discussed. The paper begins with a discussion of some of the services and functionality that such a system enables. Basic features such as system discovery, verification, configuration and upgrade are discussed in addition to other value added services such as continuous built in test (CBIT) and embedded real-time parameter quick-look. Finally, the paper discusses some advanced services that could be deployed to these systems such as emerging communication protocols, multimedia connectivity and discovery, and advanced Machine Learning based systems diagnostics.

Background. Today autonomous vehicles (AV) are a well-debated topic and manystudies try to understand or solve different ethical dilemmas concerning self-driving.There are legal issues and liability concerns that require clarity from a governmentfor any type of AV to operate on the road. The Swedish transport agency has notallowed autonomous cars because they do not fulfill the requirements to be classifiedas a safe vehicle and there are only a few studies in Sweden that focus on this topic.  Objectives. This thesis will investigate previous research in this area to find outwhat are the most common topics that are a concern to people when it comes toAVs. Based on the findings from the literature review, a survey will be distributed,containing both qualitative and quantitative questions. Methods. A literature review has been performed to set up the base work for thesurvey. The questions to the survey were based on the findings from the literaturereview thereafter a pilot survey was distributed. The result from the survey will beanalysed by categorizing themes and keywords from the respondents. Results. The literature review can reveal that the most concerning categories according to people are safety, security, legal aspects & liability, and cost. The respondents to the survey indicate that safety is a high prioritized topic together with anylegal and liability aspects. The result also shows that there is a high expectationfrom the car manufacturers to make the vehicle secure from any attacks. As opposedto other research the Swedish respondents in this survey do not show much concernwhen it comes to costs.  Conclusions. A common theme from the respondents shows that safety must beprioritized before any AVs can be released on the road, with no exceptions. Many ofthe respondents show that they trust the Swedish government and its legal systemwhich indicates that the acceptance of AVs could correlate with an acceptance fromthe Swedish transport agency. Though the respondents in the survey do seem to trustin the companies ability to provide a secure vehicle there are still some concernedabout the possibility of being a victim of a cyber attack. There are no concernsabout the cost of the autonomous technology amongst the respondents but it is notevaluated why and that leaves those results open for interpretation.

This work deals with application of ARM based development board as platform for remote controlling of attached peripherals. It describes practical experiences with A20- OLinuXino-Micro-4GB development board and it’s available options. Used hardware and testing peripherals are described in the next part along with programming of the software for web interface and for communication in between development board and peripherals. The second half of this document describes design process of own embedded system beginning with schematic, continuing with PCB wiring. Each step of PCB wiring process is described with required details in text, including crucial connections between processor and memory chips. The last part contains details about setting a calibration of memory chips and designing optional peripheral modules.

The purpose of this study is to investigate the pricing of variable annuity embedded derivatives in a Lévy process setting. This is one of the practical issues that continues to face life insurers in the management of derivatives embedded within these products. It also addresses how such providers can protect themselves against adverse scenarios through a hedging framework built from the pricing framework. The aim is to comparatively consider the price differentials of a life insurer that prices its variable annuity guarantees under the more actuarially accepted regime-switching framework versus the use of a Lévy framework. The framework should address the inadequacies of conventional deterministic pricing approaches used by life insurers given the increasing complexity of the option-like products sold. The study applies finance models in the insurance context given the similarities in payoff structure of the products offered while taking into account the differences that may exist. The underlying Lévy process used in this study is the Variance-Gamma (VG) process. This process is useful in option pricing given its ability to model higher moments, skewness and kurtosis, and also incorporate stochastic volatility. The research results compare well with the regime-switching framework besides the added merit in the use of a more refined model for the underlying that captures most of the observed market dynamics. / Dissertation (MSc)--University of Pretoria, 2014. / tm2015 / Mathematics and Applied Mathematics / MSc / Unrestricted

IoT stands for the Internet of Things and is a concept that has been around since 1999. IoT are objects around us that collects data and connects to controls or other machines via the internet and is a field that constantly growing every year. The most used communication for IoT devices is wireless communication. The term is broad and contains many different protocols, e.g. Bluetooth, WiFi, and LoRa. LoRa, which is short for Long Range is an energy-efficient long-range wireless data transfer technology that sends small data packets between IoT nodes and LoRa receivers. A LoRa receiver can communicate with hundreds of nodes and the product has spread widely throughout the world. LoRa is the term for the physical layer for communication and LoRaWAN corresponds to the communication protocol. Simulating a LoRaWAN network is interesting as it provides an opportunity to get an idea of how it might work. This can result in increased use of network simulations in experiments and give the opportunity for companies, as well as private individuals to take the first step towards using LoRa and benefit from the results. Ns-3 is a network simulator and has been selected for use in this work. The use of a network simulator always raises questions about how credible the simulation portraits reality. With a collaboration with Etteplan, the issue for the work was formulated to: ● How well can simulation of LoRaWAN correspond to physical measurement when used between a LoRa receiver and IoT node in a free-vision environment? To answer the question, a simulation of a LoRaWAN network in the simulator Ns-3 was tested and then compared with results based on reality. The factor that was compared in the simulation against reality is the signal strength and how it is affected by spreading factors, different bandwidths and distances. The spreading factors 7 to 11 and the bandwidth 125, 250 and 500 kHz have been used at the distances 211, 1800 and 3500 meters. After analysing the data collected during the experiment it can be seen that the signal strength became stronger the higher the bandwidth used in the reality, however similar tests resulted in the simulation to the contrary. The higher bandwidth contributed to a lower signal strength. The spreading factor behaved differently in the simulation compared to the reality because it had a bigger impact on the signal strength. The conclusion of this can be that the simulation was able to integrate the signal for a longer time with higher spreading factor and this led to better signal strength as it reduced the interference of communication. However, one can conclude that the simulation showed a good picture of what a real scenario might look like between a LoRa receiver and IoT node.