<p>   This bachelor thesis describes the development of a MOD music player to run on GBA (Game Boy Advance) for Lypson Game Engine. GBA is a basic platform for embedded development, and the stereo system makes it possible to use the platform as a music player. The sound players of the GBA for Lypson Game Engine were designed to play wave files and the size of typical wave files is in the order of megabytes. MOD files are much smaller when compared with wave ones. Therefore, to avoid consuming the resources of the CPU and memory to process and store wave files, the use of MOD files represents a better alternative.The development took C++ as programming language and the development platform used was HAM. The first step was to obtain samples of music, and then control the hardware of GBA to play sound. After that, came the phase of combining it with Lipson Game Engine. These tasks enabled the acquisition of knowledge about the frame of MOD files; learning how to make the GBA play sound and mastering the operating instruction of GBA hardware by the process of development. In addition, it provided a chance to learn about embedded development, which represented a starting point to learn about embedded programming in general.As for the main result, it was achieved by the successful development of the MOD Player, which is now running on the Lypson Game Engine. As the MOD files are of small size, the music player is more efficient when compared with those previously used.</p>

This bachelor thesis describes the development of a MOD music player to run on GBA (Game Boy Advance) for Lypson Game Engine. GBA is a basic platform for embedded development, and the stereo system makes it possible to use the platform as a music player. The sound players of the GBA for Lypson Game Engine were designed to play wave files and the size of typical wave files is in the order of megabytes. MOD files are much smaller when compared with wave ones. Therefore, to avoid consuming the resources of the CPU and memory to process and store wave files, the use of MOD files represents a better alternative.The development took C++ as programming language and the development platform used was HAM. The first step was to obtain samples of music, and then control the hardware of GBA to play sound. After that, came the phase of combining it with Lipson Game Engine. These tasks enabled the acquisition of knowledge about the frame of MOD files; learning how to make the GBA play sound and mastering the operating instruction of GBA hardware by the process of development. In addition, it provided a chance to learn about embedded development, which represented a starting point to learn about embedded programming in general.As for the main result, it was achieved by the successful development of the MOD Player, which is now running on the Lypson Game Engine. As the MOD files are of small size, the music player is more efficient when compared with those previously used.

This thesis was submitted to the faculty of Innovation, Design and Technology, IDT, at Mälardalen university in Västerås, Sweden as a partial fulfillment of the requirements to obtain the M.Sc. in computer science, specializing in embedded systems. The work presented was carried out in the months January to June in 2014 partially in Volvo Construction Equipment, Volvo CE, Eskilstuna, and partially at Mälardalen university in Västerås. Federated Resilient Embedded Systems Technology for AUTOSAR, FRESTA, is a collaborative project between Volvo and the Swedish Institute of Computer Science, SICS, that aims to make it possible to add third party applications to vehicle’s computer systems without compromising system security and robustness. The mechanism is developed by SICS for AUTOSAR, AUTomotive Open System ARchitecture, an open standardized automotive software architecture for vehicles. The following report documents the efforts to study and port the FRESTA mechanism to the Volvo CE platform, and develop a Java application to test the porting. The investigation will aspire to determine if it is feasible to introduce Java based third party applications to resource constrained embedded systems, without causing a deterioration in the predictability and security of the system. / Avhandlingen lades fram för fakulteten för innovation, design och teknik, IDT, vid Mälardalens högskola i Västerås som en del av kraven för att erhålla M.Sc. i datavetenskap med inriktning mot inbyggda system. Arbetet genomfördes under månaderna januari till juni 2014 delvis i Volvo Construction Equipment, Volvo CE, Eskilstuna, och delvis vid Mälardalens högskola i Västerås. Federated Resilient Embedded Systems Technology for AUTOSAR, FRESTA, är ett samarbetsprojekt mellan Volvo och Svenska Institutet för datavetenskap, SICS, som syftar till att göra det möjligt att lägga tredjepartsapplikationer till fordonets datorsystem utan att äventyra systemets säkerhet och robusthet. Mekanismen är utvecklat av SICS för AUTOSAR, Automotive Open System Architecture, en öppen standardiserad fordons programvaruarkitektur för fordon. Följande rapport dokumenterar arbetet med att studera Fresta mekanismen till Volvo CE-plattformen, och utveckla ett Java-program för att testa portning. Undersökningen kommer att sträva efter att avgöra om det är genomförbart att införa en Java-baserad tredje part för att resursbegränsa inbyggda system, utan att orsaka en försämring av förutsägbarhet och säkerhet i systemet.

Thesis deals with design of acquisition system, working on developing platform STEMLab (Red Pitaya). Goal is possibility of monitoring analog signals with adjustable sampling frequency and length of acquisition. Software was created for both controlling part (Python application) and for platform itself (embedded C, Python) using the appropriate FPGA-HW design (HDL). Thesis describe how to work with platform ecosystem, control and behaviour of aplications created during the proces of getting acquainted with the platform and options how aplications could be created.

Cílem této diplomové práce bylo navrhnout moduly určené k demonstraci a testování některých obvodů, používaných v automobilové technice. Jedná se o LIN transceiver NCV7420 a osmivýstupový výkonový budič AMIS-39101. Návrh spočíval ve vybrání a popisu parametrů vhodných podpůrných obvodů, vytvoření celkového schématu a navržení desky plošných spojů tohoto modulu s ohledem na kompaktní rozměry a předpokládané testy. Dalším krokem byla tvorba firmware řídicího mikrokontroléru (C8051F344), jež zajišťuje LIN komunikaci, řízení budiče a základní monitorovací funkce. Poslední část popisuje software pro hostitelský PC umožňující komfortní řízení sítě složené z těchto modulů. Pro úplnost byl tento projekt doplněn o přehled vlastností sběrnice LIN a metodiky testování LIN transceiveru z hlediska funkčních parametrů i některých EMC měření. V příloha obsahuje kompletní schéma modulu, výkresy desek plošných spojů, seznam řídicích příkazů a fotografie modulu.

Author describes the creation of software for the initial sensor test platform and controll computer. The platform can measure inertial and pressure sensors regardless their specific type. Measurement is provided by automatic test which is defined by the user. Also, the author describes the creation and implementation of communication protocols between control software (on Windows platform) and test platform (embedded C).

This thesis is classified as an internal experimental project whose aim is to design HW and low level SW of simplified version of the controller for TFE731 turbofan engine according to defined requirements. The expected outputs in addition to the system design is also information about possible technical problems and difficulties arising during the analysis and development of the system. The work covers a brief look into the history of aviation and avionics, theoretical analysis turbofan engine, analysis of measured and controlled variables. Based on the requirements analysis and I/O values is made circuit design (HW) and design of the low level control software.

Future space missions, such as Mars Science Laboratory, suggest the engineering of some of the most complex man-rated autonomous software systems. The present process-oriented certification methodologies are becoming prohibitively expensive and do not reach the level of detail of providing guidelines for the development and validation of concurrent software. Time and concurrency are the most critical notions in an autonomous space system. In this work we present the design and implementation of the first concurrency and time centered framework for product-oriented software certification of autonomous space systems. To achieve fast and reliable concurrent interactions, we define and apply the notion of Semantically Enhanced Containers (SEC). SECs are data structures that are designed to provide the flexibility and usability of the popular ISO C++ STL containers, while at the same time they are hand-crafted to guarantee domain-specific policies, such as conformance to a given concurrency model. The application of nonblocking programming techniques is critical to the implementation of our SEC containers. Lock-free algorithms help avoid the hazards of deadlock, livelock, and priority inversion, and at the same time deliver fast and scalable performance. Practical lock-free algorithms are notoriously difficult to design and implement and pose a number of hard problems such as ABA avoidance, high complexity, portability, and meeting the linearizability correctness requirements. This dissertation presents the design of the first lock-free dynamically resizable array. Our approach o ers a set of practical, portable, lock-free, and linearizable STL vector operations and a fast and space effcient implementation when compared to the alternative lock- and STM-based techniques. Currently, the literature does not offer an explicit analysis of the ABA problem, its relation to the most commonly applied nonblocking programming techniques, and the possibilities for its detection and avoidance. Eliminating the hazards of ABA is left to the ingenuity of the software designer. We present a generic and practical solution to the fundamental ABA problem for lock-free descriptor-based designs. To enable our SEC container with the property of validating domain-specific invariants, we present Basic Query, our expression template-based library for statically extracting semantic information from C++ source code. The use of static analysis allows for a far more efficient implementation of our nonblocking containers than would have been otherwise possible when relying on the traditional run-time based techniques. Shared data in a real-time cyber-physical system can often be polymorphic (as is the case with a number of components part of the Mission Data System's Data Management Services). The use of dynamic cast is important in the design of autonomous real-time systems since the operation allows for a direct representation of the management and behavior of polymorphic data. To allow for the application of dynamic cast in mission critical code, we validate and improve a methodology for constant-time dynamic cast that shifts the complexity of the operation to the compiler's static checker. In a case study that demonstrates the applicability of the programming and validation techniques of our certification framework, we show the process of verification and semantic parallelization of the Mission Data System's (MDS) Goal Networks. MDS provides an experimental platform for testing and development of autonomous real-time flight applications.

Future space missions, such as Mars Science Laboratory, suggest the engineering of some of the most complex man-rated autonomous software systems. The present process-oriented certification methodologies are becoming prohibitively expensive and do not reach the level of detail of providing guidelines for the development and validation of concurrent software. Time and concurrency are the most critical notions in an autonomous space system. In this work we present the design and implementation of the first concurrency and time centered framework for product-oriented software certification of autonomous space systems. To achieve fast and reliable concurrent interactions, we define and apply the notion of Semantically Enhanced Containers (SEC). SECs are data structures that are designed to provide the flexibility and usability of the popular ISO C++ STL containers, while at the same time they are hand-crafted to guarantee domain-specific policies, such as conformance to a given concurrency model. The application of nonblocking programming techniques is critical to the implementation of our SEC containers. Lock-free algorithms help avoid the hazards of deadlock, livelock, and priority inversion, and at the same time deliver fast and scalable performance. Practical lock-free algorithms are notoriously difficult to design and implement and pose a number of hard problems such as ABA avoidance, high complexity, portability, and meeting the linearizability correctness requirements. This dissertation presents the design of the first lock-free dynamically resizable array. Our approach o ers a set of practical, portable, lock-free, and linearizable STL vector operations and a fast and space effcient implementation when compared to the alternative lock- and STM-based techniques. Currently, the literature does not offer an explicit analysis of the ABA problem, its relation to the most commonly applied nonblocking programming techniques, and the possibilities for its detection and avoidance. Eliminating the hazards of ABA is left to the ingenuity of the software designer. We present a generic and practical solution to the fundamental ABA problem for lock-free descriptor-based designs. To enable our SEC container with the property of validating domain-specific invariants, we present Basic Query, our expression template-based library for statically extracting semantic information from C++ source code. The use of static analysis allows for a far more efficient implementation of our nonblocking containers than would have been otherwise possible when relying on the traditional run-time based techniques. Shared data in a real-time cyber-physical system can often be polymorphic (as is the case with a number of components part of the Mission Data System's Data Management Services). The use of dynamic cast is important in the design of autonomous real-time systems since the operation allows for a direct representation of the management and behavior of polymorphic data. To allow for the application of dynamic cast in mission critical code, we validate and improve a methodology for constant-time dynamic cast that shifts the complexity of the operation to the compiler's static checker. In a case study that demonstrates the applicability of the programming and validation techniques of our certification framework, we show the process of verification and semantic parallelization of the Mission Data System's (MDS) Goal Networks. MDS provides an experimental platform for testing and development of autonomous real-time flight applications.