Técnicas de diseño de pruebas en sistemas embebidos

El software es, cada vez más, una parte muy importante de cualquier circuito electrónico moderno, por ejemplo, un circuito realizado con algún tipo de microprocesador debe incorporar un programa de control por pequeño que sea. Al utilizarse programas informáticos en los circuitos electrónicos modernos, es muy aconsejable, por no decir imprescindible, realizar una serie de pruebas de calidad del diseño realizado. Estas pruebas son cada vez más complicadas de realizar debido al gran tamaño del software empleado en los sistemas actuales, por este motivo, es necesario estructurar una serie de pruebas con el fin de realizar un sistema de calidad, y en algunos casos, un sistema que no presente ningún peligro para el ser humano o el medio ambiente. Esta propuesta consta de la explicación de las técnicas de diseño de pruebas que existen actualmente (por lo menos las más básicas ya que es un tema muy extenso) para realizar el control de calidad del software que puede contener un sistema embebido. Además, muchos circuitos electrónicos, debido a su control o exigencia hardware, es imprescindible que sean manipulados por algún programa que requiera más que un simple microprocesador, me refiero a que se deban controlar por medio de un pequeño programa manipulado por un sistema operativo, ya sea Linux, AIX, Unix, Windows, etc., en este caso el control de calidad se debería llevar a cabo con otras técnicas de diseño. También se puede dar el caso que el circuito electrónico a controlar se deba hacer por medio de una página web. El objetivo es realizar un estudio de las actuales técnicas de diseño de pruebas que están orientadas al desarrollo de sistemas embebidos. ABSTRACT. Software is increasingly a very important part of any modern electronic circuit, for example, a circuit made with some type of microprocessor must incorporate a control program no matter the small it is. When computer programs are used in modern electronic circuits, it is quite advisable if not indispensable to perform a series of quality tests of the design. These tests are becoming more and more difficult to be performed due to the large size of the software used in current systems, which is why it is necessary to structure a series of tests in order to perform a quality system, and in some cases, a system with no danger to humans or to the environment. This proposal consists of an explanation of the techniques used in the tests (at least the most basic ones since it is a very large topic) for quality control of software which may contain an embedded system. In addition, a lot of electronic circuits, due to its control or required hardware, it is essential to be manipulated by a program that requires more than a simple microprocessor, I mean that they must be controlled by means of a small program handled by an operating system, being Linux, AIX, Unix, Windows, etc., in this case the quality control should be carried out with other design techniques. The objective is to study the current test design techniques that are geared to the development of embedded systems. It can also occur that the electronic circuit should be controlled by means of a web page.

Modelo térmico de una máquina FZG de pruebas de engranajes

Un modelo térmico de una caja de engranajes brinda la oportunidad de realizar un estudio más profundo sobre el calor disipado, relacionado con la pérdida de rendimiento en la transmisión por engranajes, hasta ahora sólo conocido indirectamente a través de ciertos ensayos. Un programa basado en un sistema de ecuaciones diferenciales ordinarias fue desarrollado en MATLAB para hacer el modelado térmico de una caja de ensayos de engranajes FZG. Dependiendo de las condiciones de funcionamiento del equipo, como son el nivel de precarga aplicada a los engranajes, el nivel de aceite usado en lubricación por barbotaje, la velocidad de la rueda y el tipo de acabado de los engranajes, se obtendrá distintos resultados. El modelo está basado en una red térmica en la cual cada nodo representa un elemento del equipo. Con las resistencias térmicas, los valores de las pérdidas de potencia (generadores de calor) y la inercia térmica de cada elemento, la evolución de la temperatura en el tiempo fue obtenida aplicando el primer principio de la termodinámica a cada nodo en cada instante de tiempo. Gracias a esto, la transferencia de calor entre los distintos elementos, las pérdidas de potencia, las resistencias térmicas y otros posibles parámetros (ratio del calor transmitido de las ruedas al aceite sobre las pérdidas por fricción) fueron también estimados en cada instante de tiempo en forma de matrices o vectores. Los resultados muestran una amplia capacidad y versatilidad del programa en términos de análisis térmico: el sentido y magnitud del flujo calorífico, herramientas visuales como la animación de la red térmica y de los elementos de la caja conforme se va calentando y la posibilidad de análisis térmico para diferentes condiciones de funcionamiento con sólo cambiar ciertas variables en el programa. Con estas funciones es posible dar un enfoque y abordar el estudio de la mínima cantidad de lubricante necesaria y otras maneras de amortiguar el sobrecalentamiento, además de conocer la temperatura de contacto entre engranajes. Esta temperatura, que es imposible de determinar experimentalmente, supondría un gran avance para tratar el desgaste superficial de engranajes.

Comparaciones entre el factor "G" de Cattell y algunas pruebas de condición física en mis alumnos de 5º de EGB

Una de las cuestiones que más me ha interesado durante el tiempo que he estado cursando estudios en el Instituto Nacional de Educación Física de Madrid, y posteriormente en mi actividad educativa, es la posible relación entre la condición, la capacidad o el rendimiento físico o deportivo y la capacidad del rendimiento intelectual, así como las matizaciones posibles dentro de este amplísimo y complejo tema. Muchas veces he tenido que escuchar de compañeros en las tareas educativas, afirmaciones rotundas sin ninguna base científica acerca de la relación positiva o negativa, aunque casi siempre negativa, entre la capacidad física e intelectual, muy a menudo hechos en base a un sujeto que suspende prácticamente todas sus asignaturas y sin embargo obtiene sobresaliente en su calificación de Educación Física. No siendo este un caso muy frecuente, a estos educadores no se les ha ocurrido pensar en que la causa de esa diferencia tan destacada en el nivel de calificaciones, pueda ser la motivación y no la capacidad, tampoco piensan aun en el caso de que lo que hiciese la diferencia fuese una cuestión de capacidades, el que se produzca en algún caso aislado no implica ni que tenga que ocurrir siempre ni que a nivel general exista una relación negativa. La observación directa de los niños componentes de los equipos de baloncesto del colegio en el que imparto mis clases, me ha hecho ver que la mayor parte de ellos obtienen buenos rendimientos académicos, pocos mediocres, y muy pocos realmente bajos. Estos niños han sido seleccionados para formar parte de los equipos fundamentalmente por su buena condición física, lo cual podría hacer pensar en una posible relación, aunque no necesaria, entre condición física y rendimiento académico. Sin embargo gran cantidad de factores aparte de la inteligencia pueden influir en el mencionado rendimiento. Llegando el momento de plantear la realización de mi trabajo fin de carrera, en gran parte mediatizado por todo lo expuesto anteriormente, decidí centrarlo en la posible relación entre los diversos factores de la condición física, ésta misma y la inteligencia general. Teniendo en cuenta que estos son los factores más primarios y por consiguiente los que menos se van a ver influenciados por otros.

Análisis de los patrones nutricionales y de sueño en un colectivo que realizó las pruebas físicas de acceso

El presente trabajo tiene como objetivo describir las pautas nutricionales y de sueño en un colectivo de aspirantes a estudiantes en la FCAyD el día que realizaron las pruebas físicas para el acceso, entre los días 30 de junio y 4 de julio del año 2014.

Análisis de la composición corporal y de hábitos alimentarios de jóvenes activos durante las pruebas físicas de acceso a la facultad de ciencias de la actividad física y el deporte

Introducción: El objetivo de este Trabajo Fin de Grado, fue analizar en una muestra de sujetos que se presentaron a las pruebas físicas de acceso a la facultad de INEF en Julio de 2014, las variables antropométricas y los hábitos alimentarios del día concreto de las pruebas de ingreso. Se profundizó en analizar como contribuyeron ese día los diferentes grupos de alimentos al aporte total de energía, y se evaluó la calidad del desayuno ingerido previamente a la realización de estas pruebas físicas.

Desarrollo de manejadores y pruebas de integración del computador de a bordo del microsatélite UPMSat-2

Varios grupos de la Universidad Politécnica de Madrid se encuentran actualmente desarrollando un micro-satélite de experimentación bajo el proyecto UPMSat-2, sucesor de otro exitoso proyecto similar, el UPM-Sat 1. Bajo este marco la autora del presente documento ha llevado a cabo la realización de tres tareas fundamentales para hacer posible la puesta en órbita de dicho satélite. Las tareas principales definidas como alcance de este proyecto pretenden facilitar el uso de la memoria no volátil del computador de a bordo y comprobar el funcionamiento de todos los sistemas del satélite. Por ello se ha realizado el arranque desde la memoria no volátil junto con un manejador para el uso de la misma y un conjunto de pruebas de validación del software e integración del hardware. La satisfacción con los resultados obtenidos ha hecho posible la inclusión del software y pruebas desarrolladas al conjunto de todo el software del proyecto UPMSat-2, contribuyendo así a la capacidad del satélite para ser puesto en órbita.---ABSTRACT---UPMSat-2, the successor of UPM-Sat 1, is a joint project for the development of a micro-satellite for experimentation, which is being carried out by various research groups at Universidad Politécnica de Madrid. The author of this document has developed three main tasks to make possible the correct operation of this satellite during the duration of its mission. The scope of the present work is to enable the use of the on-board computer’s non-volatile memory and the development of a software to test that the satellite’s subsystems are working properly. To this end, the non-volatile memory’s boot sequence has been implemented together with the driver to use such memory, and a series of validation and integration tests for the software and the hardware. The results of the this work have been satisfactory, therefore they have been included in UPMSat-2’s software, contributing this way to the capacity of the satellite to carry out its mission.

Análisis, simulación y pruebas de un convertidor DC/DC para aplicaciones aeronáuticas

En la actualidad se está desarrollando la electrónica para el diseño de sistemas de conversión de potencia de alta frecuencia, que reduce notablemente el peso y el ruido de los dispositivos convertidores y aumenta a su vez la densidad de potencia sin afectar negativamente al rendimiento, coste o fiabilidad de dichos dispositivos. La disciplina que se encarga de investigar y crear estos sistemas es la electrónica de potencia. Este documento recoge la metodología empleada para el diseño, análisis y simulación de un convertidor DC/DC de 10 kW de aplicación aeronáutica. Este dispositivo forma parte de un proyecto en el que colaboran el Centro de Electrónica Industrial de la Universidad Politécnica de Madrid (CEI - UPM) y las empresas Indra y Airbus. Su objetivo es el diseño y construcción de un rectificador trifásico que proporcione una salida continua de 28 V y 10 kW de potencia. Durante su aplicación final, se dispondrá de dos dispositivos idénticos al diseñado en este proyecto, aportando cada uno de ellos 5 kW, sin embargo, debido a la importancia en seguridad en las aplicaciones aeronáuticas, cada rectificador debe ser capaz de aportar 10 kW de potencia en caso de fallo en uno de ellos. En primer lugar, este trabajo explica el diseño elegido para dicho convertidor, que sigue una topología Dual Active Bridge (DAB), en creciente interés para el desarrollo de dispositivos de potencia en alta frecuencia por sus mejoras en eficiencia y densidad de potencia. Esta topología consiste en dos puentes completos de dispositivos de conmutación, en este caso MOSFET, con un transformador entre medias diseñado para proporcionar la tensión de salida deseada. La topología ha sido modificada para satisfacer especificaciones del proyecto y cumplir las expectativas del diseño preliminar, que se centra en la transición suave de corriente en el transformador, siendo clave el diseño de un filtro resonante en serie con el transformador que proporciona una corriente senoidal con valor nulo en los instantes de conmutación de los MOSFET. Una vez introducida la topología, el siguiente capítulo se centra en el procedimiento de selección de componentes internos del convertidor: destacando el análisis de condensadores y MOSFET. Para su selección, se han estudiado las exigencias eléctricas en los puntos en los que estarán instalados, conociendo así las tensiones y corrientes que deberán soportar. Para asegurar un diseño seguro, los componentes han sido seleccionados de forma que durante su funcionamiento se les exija como máximo el 70% de sus capacidades eléctricas y físicas. Además, a partir de los datos aportados por los fabricantes ha sido posible estimar las pérdidas durante su funcionamiento. Este proyecto tiene un enfoque de aplicación aeronáutica, lo que exige un diseño robusto y seguro, que debe garantizar una detección rápida de fallos, de modo que sea capaz de aislar la anomalía de forma eficaz y no se propague a otros componentes del dispositivo. Para asegurarlo, se ha realizado la selección de sensores de tensión y corriente, que permiten la detección de fallos y la monitorización del convertidor. Al final de este apartado se muestra el esquema de alimentación, se analiza el consumo de los MOSFET y los sensores y se recopilan las pérdidas estimadas por los componentes internos del convertidor. Una vez terminado el diseño y selección de componentes, se muestran las simulaciones realizadas para prever el comportamiento del convertidor. Se presenta el modelo construido y las modificaciones instaladas para las diferentes simulaciones. Se destacan el diseño del regulador que introduce la entrada de corriente del convertidor para analizar su arranque, la construcción de una máquina de estados para analizar la detección de tensiones y corrientes fuera del intervalo correspondiente del correcto funcionamiento, y el modelo de MOSFET para simular los fallos posibles en estos dispositivos. También se analiza la influencia de la oscilación de la carga en los valores de tensión y en la resonancia del convertidor. Tras la simulación del equipo se describen las pruebas realizadas en los componentes magnéticos construidos dentro del periodo de elaboración de este trabajo: el transformador y la bobina externa, diseñada para mejorar el filtro resonante. La etapa final de este trabajo se ha centrado en la elaboración de un código de generación de señales PWM que controlen el funcionamiento de los MOSFET. Para esto se ha programado una tarjeta de control del procesador digital de señales (DSP)Delfino (TMS320F28335) instalado en una placa de experimentación (TMS320C2000), desarrollado por la empresa Texas Instruments, que facilita el acceso a los terminales GPIO y ADC del DSP durante el desarrollo del código, anexo a este documento.

Pruebas de Software. Fundamentos y Técnicas

Este proyecto estudia los fundamentos y las técnicas de las pruebas de software. Veremos lo importante que pueden llegar a ser las pruebas, mostrando diferentes desastres causados por fallos en el software. También estudiaremos las diferentes herramientas que se utilizan para llevar a cabo la gestión, administración y ejecución de estas pruebas. Finalmente aplicaremos los conceptos estudiados mediante un caso práctico. Crearemos los casos de prueba funcionales basándonos en las especificaciones del protocolo MDB/ICP e instalaremos y aprenderemos cómo crear estos casos con una de las herramientas estudiadas en la parte teórica. ABSTRACT: This project studies the fundamentals and techniques of software testing. We will see how important the evidence showing different disasters caused by bugs in the software can become. We will also study the different tools used to carry out the management, administration and execution of these tests. Finally, we apply the concepts studied by a case study. We create test cases based on functional specifications MDB/ICP protocol We will install and learn how to create such cases by one of the tools studied in the theoretical part.

Atletismo, pruebas combinadas : diferencias en cada una de las pruebas del decatlón según el nivel del deportista. Sugerencias para el entrenamiento

Debido a mi gran afición por el atletismo, he decidido dirigir mi Trabajo de Fin de Grado hacia un estudio que permita conocer los entresijos de esta prueba tan peculiar dentro del mundo de deporte, ya que siendo considerada una prueba única en sí misma, la forman varias pruebas de carácter individual o parcial. Quiero obtener una idea bastante concisa de cómo se debe afrontar el entrenamiento (tan complejo) de esta prueba, enfocada a un rendimiento máximo por parte del atleta en cada una de las pruebas que lo forman, pero sobretodo con el objetivo de lograr la mayor mejora posible en el resultado del cómputo total de las 10 pruebas. Para llegar a este objetivo analizaré y compararé los rankings mundiales absolutos en categoría masculina de los años 1992, 2002 y 2012 en la prueba de decatlón para obtener resultados comparables tanto entre cada una de las pruebas como grupos de pruebas, y diferenciando a su vez por niveles de cada grupo de atletas evaluado.

Existencia de otro mundo : demostrada con pruebas fundadas en la naturaleza, en la filosofía, en la historia y en la religión : obra traducida del francés.

Mode of access: Internet.

Tratado de las pruebas judiciales /

Mode of access: Internet.

[¿Se hallan en la patología externa pruebas irrecusables del poder de la naturaleza medicatriz?] : discurso leído en la Universidad Central, en el acto solemne de recibir la investidura de Doctor en la Facultad de Medicina, por Don Ramón Pallarés Nomdedeu.

Tesis Universidad Central, 1866.

Cédula con insercion de un breve expedido por su santidad, á instancia y con consentimiento de su magestad, por la qual se manda observar el nuevo método, que se prescribe en él, de hacer las pruebas á los provistos en dignidades, canongías ...

Certifica la copia Juan Francisco de Lastiri.