This thesis aimed to integrate a radio module, for listening to FM and DAB primarily, with CrossControl's display computers. The connection was done by converting the USB signals from the display computer to UART signals that were sent to the radio module. To be able to communicate a communication library was ported from C to Qt, and C++, which was used by a graphical user interface created during the project. This user interface aimed to keep a simplistic and clean look as well as making sure that the user could operate as easily as possible. The different radio standards around the world were reviewed and the analog standard FM radio and the digital standard DAB+ was chosen for testing the capabilities of the radio module, mostly because of their availability in Sweden.

Web servers are increasingly being used in embedded devices as a communication medium. As more systems connect to the Internet, the need for security is increasing. The Transport Layer Protocol (TLS) is the successor of Secure Socket Layer (SSL) and provides security in almost all secure Internet transactions. This thesis aims to investigate if TLS can be adapted to embedded systems without sacrificing much of the system resources available. A literature study and an implementation of TLS have been performed. The literature study determined resource intense parts of TLS, hardware support as well as export laws applicable to TLS. The different parts of the implementation are evaluated on an ARM7-core to determine the execution times. The results for the symmetric ciphers AES and 3DES are compared when measuring execution times using both software and hardware solutions. The size of the implementation is also measured. TLS was shown to be able to integrate on embedded systems. Practical issues such as certificates and keys can be solved in different ways to suite the target environment. The largest remaining issue is the execution time for asymmetric algorithms. The results that are provided clearly illustrates that the RSA used for key exchange is very time consuming. Alternative solutions to gain better performance are discussed.

Embedded systems are used in many technical products of today. The tendency also points to the fact that they are in many ways becoming more and more complex as technology advances. Systems like advanced avionics, air bags, ABS brakes or any real-time embedded system requires reliability, correctness and timeliness. This puts hard pressure on designers, analyzers and developers. The need for high performance and non failing systems has therefore led to a growing interest in modeling and verification of component-based embedded systems in order to reduce costs and simplify design and development. The solution proposed by the Embedded Systems Lab at Linköping University is the modeling language PRES+, Petri Net based Representation for Embedded Systems. PRES+ models are then translated into timed automata, TA, which is used by the UPPAAL verification tool. To be able to verify timing properties the translated TA model must be instrumented with certain timers, called clocks. These clocks must be reset in a manner reflected by the property to be verified. This thesis will provide a solution to the problem and also give the reader necessary information in order to understand the theoretical background needed. The thesis will also show the reader the importance of modeling and time verification in the development of embedded systems. A simple example is used to describe and visualize the benefit regarding real-time embedded systems as well as the importance of the ability to verify these systems. The conclusion drawn stresses the fact that high development costs, possible gain of human lives and the problems in developing complex systems only emphasize the need for easy to handle and intuitive verification methods.

This thesis investigates the deployment modeling in the scope of Progress,a research vision that aims to tackle the increasing complexity of embedded softwaresystems by adopting a software-component approach. The first phase of the Progress deployment process, which is in the focus of this thesis, defines virtualnodes architecture as an abstraction of target platform devices where componentsare allocated. Based on the Progress development process analysis, the thesis identifiesconcerns that need to be addressed by the ProCom component model to supportthe concepts of virtual nodes and allocation, proposes the extension of the ProCommeta-model and the design of allocation in general. The thesis also provides an implementation of a tool support incorporated into the Eclipse application that forms the basis of the Progress IDE. The implementation,whose main goals are to prove the correctness of the ideas and alleviate the deployment in the IDE, integrates rich graphical editors that support the modelingof virtual platform and allocation of components. / Progress

This thesis is focused on the attributes concept of ProCom, a component model developed within The Progress Centre for Predictable Embedded Software Systems. Attributes are pieces of information of various types and levels of abstraction associated with the ProCom entities during the development of a system. Based on the analysis of the development process envisioned by Progress, the requirements for the attributes of ProCom entities are identified, and various alternatives of realizing attributes are analyzed. The chosen solution of highly structured, multi-valued, and extensible attributes is elaborated. The thesis also consists of the design and the prototype implementation of an attribute framework realizing and proving the feasibility of the proposed concepts. The framework addresses the needs of all actors involved in working with attributes throughout the development of a system: It provides an extensible, modular GUI for viewing and editing possibly highly complex information contained in attributes, an interface for the programmatic access to attributes, and well-defined mechanisms for extending the attribute pool by new attributes, new attribute types, and means for their manipulation. The framework is integrated into the main tool supporting the Progress development, the Progress IDE. / Progress

The project is about the investigation on Document-Based databases, their evaluation criteria and use cases regarding requirements management, SW architecture and test management to set up an (ESLM) Embedded Systems Lifecycle Management tool. The current database used in the ESLM is a graph database called Neo4j, which meets the needs of the current system. The result of studying Document databases turned to the decision of not using a Document database for the system. Instead regarding the requirements, a combination of Graph database and Document database could be the practical solution in future.

Model-driven and component-based software engineering have been widely recognized as promising paradigms for development of a wide range of systems. Moreover, in the embedded real-time domain, their combination is believed to be helpful in handling the ever-increasing complexity of such systems design.However, in order for these paradigms and their combination to definitely break through at an industrial level for development of embedded real-time systems, both functional and extra-functional properties need to be addressed at each level of abstraction. This research focuses on the preservation of extra-functional properties. More specifically, the aim is to provide support for easing such preservation throughout the entire development process at different abstraction levels.The main outcome of the research work is a round-trip engineering approach aiding the preservation of extra-functional properties by providing code generators, supporting monitoring and analysis of code execution, and then enabling back-propagation of the results to modelling level. In this way, properties that can only be roughly estimated statically are evaluated against runtime values and this consequently allows to optimize the design models for ensuring preservation of analysed extra-functional properties. Moreover, a solution for managing evolution of computational context in which extra-functional properties are defined by means of validity analysis is provided. Such solution introduces a new language for the description of the computational context in which a given property is provided and/or computed by some analysis, enables detection of changes performed to the context description, and analyses the possible impacts on the extra-functional property values based on a precise representation of differences between previous and current version of the model.

This thesis is concerned with an experimental platform for studying cooperative driving and techniques for embedded systems programming. Cooperative driving systems use vehicle-to-vehicle and vehicle-to-infrastructure communication for safe, smooth and efficient transportation. Cooperative driving systems are considered as a promising solution for traffic situations such as blind crossings. For the thesis work we use a robotic vehicle known as PIE (Platform for Intelligent Embedded Systems) equipped with a wireless communication device, electrical motors and controlled via a SAM7-P256 development board. For the infrastructure side we use a SAM7-P256 development board equipped with nRF24l01. Vehicle to vehicle and base station to vehicle communication is established and different platooning scenarios are implemented. The scenarios are similar to platooning scenarios from the Grand Cooperative Driving Challenge GCDC1. The performance of the platoon control algorithm is measured in terms of throughput (a measure of string stability), smoothness and safety, where the safety requirements serve as pass/fail criteria.

Embedded microcomputers are used in a wide range of applications nowadays. Avionics is one of these areas and requires extra attention regarding reliability and determinism. Thus, these issues should also be born in mind in addition to performance when evaluating embedded microcomputers. This master thesis suggests a framework for performance evaluation of two members of the PowerPC microprocessor family, namely the MPC5554 from Freescale and PPC440EPx from AMCC, and analyzes the results within and between these processors. The framework can be generalized to be used in any microprocessor family, if required. Apart from performance evaluation, this thesis also suggests also a new terminology by introducing the concept of determinism levels to be able to estimate determinism issues in avionics applications more clearly, which is crucial regarding the requirements and working conditions of this very application. Such estimation does not include any practical results as in performance evaluation, but rather remains theoretical. Similar to Automark™ used by AutoBench™ in the EEMBC Benchmark Suite, we introduce a new performance metric score that we call ”Aviomark” and we carry out a detailed comparison of Aviomark with the traditional Automark™ score to be able to see how Aviomark differs from Automark™ in behavior. Finally, we have developed a graphical user interface (GUI) which works in parallel with the Green Hills MULTI Integrated Development Environment (IDE) in order to simplify and automate the evaluation process. By the help of the GUI, the users will be able to easily evaluate their specific PowerPC processors by starting the debugging from MULTI IDE.

Termisk energi som solfångare producerar kan lagras i Borehole Thermal Energy Storage, BTES, när efterfrågan är låg, för att sedan användas när efterfrågan är hög. Målet med detta examensarbete är att utveckla en skalbar systemarkitektur för styrning och monitorering av en BTES prototyp, där ringarna som borrhålen utgör är indelade i olika temperaturhierarkier. De ringar som ligger närmare centrum av borrhålen har högre temperaturhierarki än de som ligger längre ut. Driftinformation från systemet ska kunna följas på en webbplats och temperaturdata från systemet ska sparas undan för lagring. Datakommunikationen består av en One-Wire buss som innehåller temperatursensorer och ett CAN-buss system för datakommunikation mellan sensor/aktuator-noder och server-nod. Utifrån sensordata bestäms reglering av ventiler. Driftinformation lagras i en databas och från denna databas presenteras informationen på en hemsida. Hemsidan innehåller en överblick av brunnparken där temperaturen i varje brunn kan utläsas. Regleralgoritmen uppfyller den sökta temperaturhierarkin där de högsta temperaturerna ska vara i centrum av brunnparken. Prototypen fungerar som en utvecklingsplattform och demonstrerande prototyp. / Thermal energy produced from solar collectors can be stored in Borehole Thermal Energy Storage, BTES, when demand is low for later usage when demand is high. The aim of this thesis is to develop a scalable system architecture for control and monitoring of a BTES prototype.The BTES prototype consist of 13 boreholes configured in a hierarchically manner in two circles and one core. The core is of the highest priority. The operational information is displayed on a website and stored in a database.The data communication consist of two One-wire buses and one CAN bus. The temperature sensors are connected to the One-Wire buses. The CAN bus consist of sensor/actuator nodes and a server node. Based on sensor data, a control loop configures the actuators. Operational data is stored in a database and visually presented on a website. The website displays an overview of all the boreholes where all of the sensors data can be read. The control algorithm runs successfully according to its hierarchically priorities. The prototype works as a developement platform and a demonstrating prototype.