Development of a MATLAB/Simulink - Arduino environment for experimental practices in control engineering teaching

This project presents the steps followed when implementing a platform based on MATLAB/Simulink and Arduino for the restoration of digital control practices. During this project, an Arduino shield has being designed. Along with this, a web page has also been created where all the material done during all this project is available and can be freely used. So anyone interested on doing a project can have a starting point instead of starting a project from scratch, which most of times this results hard to implement. Taking all this into account, the document is structured in the following manner. The first chapter talks about the hardware used and designed. The second one explains the software used and the configurations done on the laboratory’s PCs. After that, the web page Duino-Based Learning is explained, where you can find the five projects carried out in the "Control Automàtic" subject with their corresponding results. In this section too, as an additional research, the implemented indirect adaptive control will be explained, where the parameter estimation has been done by the Recursive Least Square algorithm. The last four sections before presenting the conclusions of the work, correspond to a satisfaction questionnaire done to the teachers that have used the setup, the costs and saves of the project, the environmental impact and the planning of the project respectively

Automatic software for controlling cryogenic systems

A technical discussion of the lessons learned during the seven years of software development/testing which occurred on the Liquid Oxygen System for the Space Shuttle at the Kennedy Space Center is given. Problems which were solved during these years came into four distinct phases: design/debug before simulation runs, verification using simulation with models up through Space Transportation System-1 launch, hardware usage from first launch to Space Transportation System-5 launch, and future use. Each problem/solution describes the apparent problem requirements/constraints, usable alternatives, selected action, and results

Formal Executable Models for Automatic Detection of Timing Anomalies

A timing anomaly is a counterintuitive timing behavior in the sense that a local fast execution slows down an overall global execution. The presence of such behaviors is inconvenient for the WCET analysis which requires, via abstractions, a certain monotony property to compute safe bounds. In this paper we explore how to systematically execute a previously proposed formal definition of timing anomalies. We ground our work on formal designs of architecture models upon which we employ guided model checking techniques. Our goal is towards the automatic detection of timing anomalies in given computer architecture designs