Det här rapporten är en del av mitt examensarbete för högskoleingenjörsexamen i elektroteknik vid Växjö Universitet, MSI. Arbetet är en del av ett större projekt kallat Kranstyrningsprojektet som bedrivs av Växjö Universitet, Rottne Industri med flera, vars syfte är att underlätta för förare att kontrollera den kran som finns på Rottnes skotare. För projektet har det använts en laborationskran och nu har önskemålet varit att det till kranen ska installeras ett nytt styrsystem från dSPACE. Dessutom vill man att nya givare ska sättas på kranen och kopplas till dSPACE. Man vill även ha en manual för att nya studenter ska kunna använda systemet. Det nya dSPACE-systemet består av en datorlåda med processor- och I/O-kort. Man kommunicerar med dSPACE från en PC. Arbetet med installationen har stött på flera problem och arbetet har dragit ut på tiden. När systemet till slut gick att använda utfördes ett par tester och sen implementerades det på kranen. Arbete med att ta fram underlag för installation av accelerometrar på kranen pågick samtidigt och en jämförelse mellan olika alternativ gjordes. Arbetet resulterade i att laborationskranen nu går att styra med det nyinköpta systemet från dSPACE och en manual skapades för att underlätta användandet av systemet. / This document is a part of my bachelor degree thesis in electronic engineering was done at Växjö University, MSI. This work is a part of a bigger project called Crane Tip Control which is pursued by Växjö University, Rottne Industri and others, whose purpose is to facilitate for drivers to control the crane used on forwarders from Rottne. For this project, a laboratory crane has been used and they requested that a new control system from dSPACE was installed to the crane. Also they want new sensors to be placed on the crane and connected to dSPACE. A manual should also be created for new students who want to use the system. The new dSPACE-system consists of a computer box with processor- and I/O-boards. Communication with dSPACE is done via a PC. The work with the installation has encountered many problems and the work has been overrun. When the system finally was working, some tests were performed and then the system was installed at the crane. A task to assemble data for installation of accelerometers, was done during the same time and a comparison between different alternatives was made. The work resulted in the laboratory crane is now able to be controled by the new dSPACE-system and a manual was created to facilitate the usage of the system.

<p>Det här rapporten är en del av mitt examensarbete för högskoleingenjörsexamen i elektroteknik vid Växjö Universitet, MSI. Arbetet är en del av ett större projekt kallat Kranstyrningsprojektet som bedrivs av Växjö Universitet, Rottne Industri med flera, vars syfte är att underlätta för förare att kontrollera den kran som finns på Rottnes skotare. För projektet har det använts en laborationskran och nu har önskemålet varit att det till kranen ska installeras ett nytt styrsystem från dSPACE. Dessutom vill man att nya givare ska sättas på kranen och kopplas till dSPACE. Man vill även ha en manual för att nya studenter ska kunna använda systemet. Det nya dSPACE-systemet består av en datorlåda med processor- och I/O-kort. Man kommunicerar med dSPACE från en PC. Arbetet med installationen har stött på flera problem och arbetet har dragit ut på tiden. När systemet till slut gick att använda utfördes ett par tester och sen implementerades det på kranen. Arbete med att ta fram underlag för installation av accelerometrar på kranen pågick samtidigt och en jämförelse mellan olika alternativ gjordes. Arbetet resulterade i att laborationskranen nu går att styra med det nyinköpta systemet från dSPACE och en manual skapades för att underlätta användandet av systemet.</p> / <p>This document is a part of my bachelor degree thesis in electronic engineering was done at Växjö University, MSI. This work is a part of a bigger project called Crane Tip Control which is pursued by Växjö University, Rottne Industri and others, whose purpose is to facilitate for drivers to control the crane used on forwarders from Rottne. For this project, a laboratory crane has been used and they requested that a new control system from dSPACE was installed to the crane. Also they want new sensors to be placed on the crane and connected to dSPACE. A manual should also be created for new students who want to use the system. The new dSPACE-system consists of a computer box with processor- and I/O-boards. Communication with dSPACE is done via a PC. The work with the installation has encountered many problems and the work has been overrun. When the system finally was working, some tests were performed and then the system was installed at the crane. A task to assemble data for installation of accelerometers, was done during the same time and a comparison between different alternatives was made. The work resulted in the laboratory crane is now able to be controled by the new dSPACE-system and a manual was created to facilitate the usage of the system.</p>

À l’heure actuelle et depuis plusieurs années, les nouveaux systèmes développés par les industriels ne cessent de se complexifier, de faire intervenir toujours plus de technologies différentes et cela, pour maximiser la rentabilité, améliorer les fonctionnalités, voire proposer de nouveaux services. L’approche d’ingénierie système à base de modèles (ISBM) adresse particulièrement ces problématiques et est de plus en plus plébiscitée par les industriels. Pour autant, l’ISBM ne permet pas d’assurer la sûreté de fonctionnement (SdF) de nos systèmes modernes. C’est pourquoi ces travaux visent à assurer la cohésion de l’ISBM avec les études de SdF ainsi que sa valorisation pour ces études. Le langage de modélisation SysML est choisi pour réifier l’ensemble des résultats des activités d’ingénierie système sous la forme d’un modèle système. Ce modèle système est ensuite manipulé par les processus de la méthodologie MéDISIS, définie dans la thèse, afin de faciliter les études de SdF. La thèse aborde notamment la génération d’AMDEC fonctionnelle et l’application de la méthodologie FIDES pour l’évaluation de fiabilité, avec l’aide de bases de données pérénisant les informations dysfonctionnelles. Les principes précédents sont aussi appliqués à un projet industriel conséquent : le projet LEA qui consiste à la réalisation d’un prototype de véhicule hypersonique. La thèse met l’accent sur l’étude de SdF des composants de type COTS qui sont courant au sein du projet LEA. / Nowadays, industrial systems are getting more and more complicated, integrating various technologies. Their designs involve many different engineering fields to maximize rentability and to offer the most up to date functionalities and services. The Model-Based System Engineering (MBSE) approach address specifically these issues by allowing a more global way of designing a complex system from many points of view. However, MBSE does not ensure dependability. That is the reason why, in this thesis, our work aims to connect the MBSE approach with dependability analysis. The SysML modeling language is used to reify the results of system engineering activities, to obtain a model of the system. This model is then computed to extract data that will help dependability analysis. These automatic processes of extraction and redaction are part of the MéDISIS methodology which is defined in this thesis. Two aspect of the MéDISIS methodology are discussed: the generation of functional FMEA and the use of the FIDES methodology in association with SysML to evaluate the failure rate of COTS. This work and the whole MéDISIS methodology are applied in the industrial context of the LEA project. This project, financed by MBDA, consists in designing an hypersonic vehicle.

abstract: A Cyber Physical System consists of a computer monitoring and controlling physical processes usually in a feedback loop. These systems are increasingly becoming part of our daily life ranging from smart buildings to medical devices to automobiles. The controller comprises discrete software which may be operating in one of the many possible operating modes and interacting with a changing physical environment in a feedback loop. The systems with such a mix of discrete and continuous dynamics are usually termed as hybrid systems. In general, these systems are safety critical, hence their correct operation must be verified. Model Based Design (MBD) languages like Simulink are being used extensively for the design and analysis of hybrid systems due to the ease in system design and automatic code generation. It also allows testing and verification of these systems before deployment. One of the main challenges in the verification of these systems is to test all the operating modes of the control software and reduce the amount of user intervention. This research aims to provide an automated framework for the structural analysis and instrumentation of hybrid system models developed in Simulink. The behavior of the components introducing discontinuities in the model are automatically extracted in the form of state transition graphs. The framework is integrated in the S-TaLiRo toolbox to demonstrate the improvement in mode coverage. / Dissertation/Thesis / Masters Thesis Computer Science 2016

Embedded systems are present in many fields of application where failure may be critical. Such systems often possess characteristics that hampers the testing activity, as large amount of produced data and temporal requirements which must be specified and evaluated. There are tools that support the development of models for analysis and simulation still in the design stage. After being evaluated, a model may be used as basis to the implementation. In this case, it is important to ensure that the model is consistent with the specification. Otherwise, a divergence will be propagated to the final code. Therefore, the model must be tested prior to the codification. Simulink is a standard development and simulation tool for models of embedded systems. Its wide application in the industry has promoted the creation of free-software alternatives, as XCos. In the literature, there are researches which seek to improve the testing activity for Simulink-like models. The proposed solutions usually focus on test case selection strategies. However, little efforts have been directed to the oracle problem, that is, the difficulty in evaluating if an execution agrees with the specification. The objective of this doctorate proposal is to provide an oracle generation approach for Simulink-like models which addresses the characteristics previously summarized. Specifically, it is proposed a process, methods, procedures and a tool that enable the partially-automated generation of oracles for such models. As a main contribution, it is expected an improvement in the evaluation process of embedded systems in terms of quality, cost and time / Sistemas embarcados estão presentes em diversas áreas de aplicação em que falhas podem ser críticas. Tais sistemas frequentemente possuem características que tornam a fase de teste particularmente desafiadora, como a produção de grande quantidade de dados e requisitos temporais que precisam ser validados de acordo com a especificação. Existem ferramentas que auxiliam no desenvolvimento de modelos para análise e simulação do comportamento de sistemas embarcados ainda na fase de design. Após ser avaliado, o modelo pode ser usado como base para a implementação. Neste caso, deve-se buscar garantir que um modelo esteja de acordo com a especificação. Do contrário, tal divergência será propagada para a implementação. Portanto, e importante que o modelo seja testado antes da fase de implementação. Simulink e uma ferramenta-padrão de desenvolvimento e simulação de modelos de sistemas embarcados. Sua ampla aplicação na indústria incentivou a criação de alternativas de software livres como XCos. Na literatura, existem pesquisas que visam a aprimorar a atividade de teste de modelos Simulink-like. As soluções propostas geralmente focam em estratégias de seleção de casos de teste. Mas pouco esforço tem sido direcionado ao problema do oráculo, isto e, na dificuldade em avaliar se a execução está de acordo com a especificação. O objetivo desta proposta de doutorado é prover uma abordagem de geração de oráculos de teste para modelos simulink-like que contemple as características previamente resumidas. Especificamente, é proposto um processo, métodos, procedimentos e uma ferramenta que viabilizem a geração parcialmente automatizada de oráculos de teste para modelos Simulink-like. Como contribuição principal, é esperada a melhora da qualidade, custo e tempo do processo de validação de sistemas embarcados suportados por modelagem em Simulink e ferramentas similares

Veículos Aéreos não Tripulados (VANTs) são aeronaves que voam sem tripulação e são capazes de realizar diversos tipos de missões, como vigilância, coleta de dados topográficos e monitoramento ambiental. Este é um domínio que tem muito a ganhar com a aplicação da abordagem de Linha de Produtos de Software (LPS), uma vez que é rico em variabilidades e cada modelo de VANT tem também muitas partes comuns. Neste trabalho é apresentada uma infraestrutura tecnológica e de configuração de ativos em Simulink, gerenciados pelas ferramentas Pure::variant e Hephaestos para uma LPS de VANTs. Um conjunto de padrões para especificação de variabilidades em Simulink é proposto, bem como uma extensão para a ferramenta Hephaestus. Uma comparação entre as ferramentas Pure::variants e Hephaestus é apresentada / Unmanned Aerial Vehicles (UAVs) are aircrafts that can fly without any crew and are capable to realize several types of missions such as surveillance, topographic data collection and environmental monitoring. This is a domain which can benefit very much with the adoption of the Software Product Lines (SPL) approach, as each UAV model is rich in variabilities and has many common parts. In this work it is presented a software asset configuration infrastructure for the Simulink environment, managed by the tools Pure::variants and Hephaestus for a UAV SPL. A set of patterns of variability specification in Simulink is proposed as well as an extension to Hephaestus to support a SPL product engineering for Simulink. A comparison between Pure::variants and Hephaestus is also presented

This master thesis describes the design of a DC/DC converter for one photovoltaic panel with a 250 W peak power. The master thesis is divided into parts dealing with detailed design of power electronics, analog circuit design, description of control MPPT algorithms and software for control circuit. The chapter with the mathematical modeling of the converter created in the Matlab Simulink was added beyond the assignment.

The aim of the diploma thesis was to design an electromagnetic generator to the purpose of supplying signalling and safety devices on the rail tracks. The electromagnetic generator is a separate electrical source, which is mainly needed for safety in the case of not covered tracks by electrical installation. The thesis proposes two types of electromagnetic generator and one with non-linear stiffness, which are designed for the passage of trains with low frequency.

Master’s thesis deals with the issue of electric vehicles. In thesis’s outset is overview about sources of electric power and types of electric engines applicable for electric vehicles. The main part of this document is creating model of vehicles with engine and source of power for them in Simulink. The resulting model includes models of ultracapacitor and synchronous motor with permanent magnets. Vehicles in model is presented by load of electric engine. In last part of document are executes ride simulations on the model which was created and subsequently simulations are analyzed.

This thesis describe approaches for autopilots for small unmanned aerial vehicles. Part of thesis is implementation of autopilot in Matlab/Simulink. The goal is to control computation model of the aircraft. Main part of thesis desribes high layer of control and navigation with focus on trajectory planning. Final algorithm is based on following the reference point between the aircraft and waypoint. Algorithm solves special positions of waypoints and error flag.