Towards model-driven engineering for mixed-criticality systems: multiPARTES approach

Mixed criticality systems emerges as a suitable solution for dealing with the complexity, performance and costs of future embedded and dependable systems. However, this paradigm adds additional complexity to their development. This paper proposes an approach for dealing with this scenario that relies on hardware virtualization and Model-Driven Engineering (MDE). Hardware virtualization ensures isolation between subsystems with different criticality levels. MDE is intended to bridge the gap between design issues and partitioning concerns. MDE tooling will enhance the functional models by annotating partitioning and extra-functional properties. System partitioning and subsystems allocation will be generated with a high degree of automation. System configuration will be validated for ensuring that the resources assigned to a partition are sufficient for executing the allocated software components and that time requirements are met.

Diseño de un software de intermediación de comunicación para sistemas distribuidos de tiempo real críticos en Java

Las facilidades e independencia de plataforma de Java han generado un gran interés en la comunidad de tiempo real. Dicho interés se ha reflejado en la especificación RTSJ (Real-Time Specification for Java), que extiende y adapta el lenguaje Java para permitir el desarrollo de sistemas de tiempo real. Adicionalmente, se han desarrollado perfiles de RTSJ para garantizar la predecibilidad en sistemas de tiempo real críticos. Sin embargo, RTSJ y sus perfiles no proporcionan facilidades para sistemas distribuidos. El objetivo de este trabajo es afrontar dicha limitación definiendo un nuevo modelo de RMI (Remote Method Invocation) basado en los principales perfiles de RTSJ para sistemas de tiempo real crítico. Este trabajo presenta el diseño y la implementación de RMI-HRT (RMI-Hard Real-Time) que está enfocado a sistemas de tiempo real crítico con requisitos de alta integridad.

Nitrogen fertigation: An integrated agronomic and environmental study

Proper management of the N applied to crops is necessary in order to increase yield, improve water use efficiency (WUE) and reduce the pollutions risks with the least economic, environmental and health costs. A field study with melon crops was conducted during 2005, 2006 and 2007 in central Spain, using 11 different amounts of N. Some environmental indexes have been proposed, to provide an essential tool for determining the groundwater pollution risks associated with common agricultural practices. These indexes are related to variation in the nitrate concentration of drinking water (Impact Index (II)) and groundwater (Environmental Impact Index (EII)). Also, the Management Efficiency (ME) was calculated, which is related to the amount of fruit produced per gram of N leached (Nl). To determine the optimum dose of N, it was also necessary to know the N mineralisation (NM). Our results show that 160 kg ha−1 of available N (Nav) produced the maximum fruit yield (FY), enhanced WUE and gave an NM of 85 kg ha−1, while the impact indexes did not exceed the fixed maximum allowable limits and ME was adequate. The proposed indexes proved to be an effective tool for determining the risk of nitrate contamination and confirmed that the optimum dose of N corresponded to the maximum FY with minimal loss of Nl.

Kinematical Comparison of the 200 m Backstroke Turns between National and Regional Level Swimmers

biomecanica de la natación

A new procedure for race analysis in swimming based on individual distance measurements

biomecanica de la natación

Effect of target change during the simple attack in fencing

BIOMECANBICA DE LA ESGRIMA

Effect of Uncertainty on the Reaction Response in Fencing

Biomecanica del rendimiento en esgrima

Evolución de la longitud de zancada en la prueba de 60 metros vallas

La investigación científica acerca de la longitud de las zancadas en la prueba de vallas altas, tanto en pista cubierta como aire libre, se ha llevado a cabo mediante estudios en dos y tres dimensiones o empleando técnicas similares. Dichos estudios se han desarrollado bien sobre una o dos vallas o analizando el intervalo entre ellas. De este modo, existen referencias sobre la longitud de la zancada en el paso de la segunda valla [3], más frecuentemente sobre la tercera, cuarta o quinta valla [4] y, en ocasiones, analizando la octava o novena valla [2]. En cualquier caso, estos trabajos no han sido realizados sobre todos los deportistas que competían en la serie y, frecuentemente, se han llevado a cabo en condiciones de entrenamiento. Es por ello que el objetivo de la presente investigación fuese conocer cuáles eran los valores en competición a lo largo de toda la prueba en una amplia muestra de atletas, analizando la posible existencia de variaciones en la longitud de zancada entre las vallas.

Servicio de análisis biomecánico para corredores populares

En la actualidad uno de los deportes más practicados de forma no profesional es la carrera, y como se ha podido observar durante los últimos años una gran parte de los corredores suele sufrir lesiones en la parte inferior del cuerpo por lo menos una vez al año. El motivo de este trabajo es prestar un servicio a corredores populares con la intención de ayudarles y aconsejarles cómo prevenir dichas lesiones, para que puedan disfrutar de éste deporte con salud, para ello se les ha realizado un estudio del análisis de la pisada, hallando diferentes ángulos de pronosupinación y fuerzas de impacto. Este servicio se ha realizado durante los meses de marzo, abril y mayo. Y esperamos que sirva de punto de inflexión para que en un futuro, aumente este tipo de estudios y así conseguir más datos sobre los corredores y de esta manera mejorar la carrera y salud de los deportistas de este país.

Aproximación al diseño de un cuantificador de entrenamiento de fuerza

En el ámbito de la actividad física, cada vez es más común el uso de gadgets para cuantificar el entrenamiento que realizamos. De esta manera, el usuario dispone de datos de distancia, velocidad, calorías quemadas… lo que le supone un mayor conocimiento sobre la calidad del entrenamiento que ha realizado. Pero si nos fijamos en el mercado de este tipo de gadgets solo miden entrenamiento cardiovascular sin haber aún ninguno que cuantifique un entrenamiento de fuerza, el cual sería de gran utilidad debido a la cantidad de beneficios y resultados distintos que se pueden obtener según se modifiquen de una manera u otra las cargas de entrenamiento. Para este trabajo hemos realizado un estudio sobre la eficacia que presentan los acelerómetros a la hora de cuantificar los movimientos que se realizan en entrenamientos de fuerza con pesos libres. Para ello comparamos los datos obtenidos por el acelerómetro y el sistema de VICON de captura de movimiento para comprobar el margen de erros existente y hasta qué punto podría ser factible diseñar un gadget que mida el entrenamiento de fuerza basado en el uso de acelerómetros.

Análisis biomecánico zancada a zancada de la prueba "60 metros vallas" durante los campeonatos del mundo y de España de pista cubierta Valencia 2008

El principal objetivo del presente trabajo de investigación fue determinar las diferencias en distintas variables relacionadas con el rendimiento físico entre atletas de distinto nivel durante la prueba de los 60 metros vallas. Un total de 59 vallistas masculinos (los 31 participantes en el Campeonato del Mundo Absoluto de Pista Cubierta y los 28 participantes en el Campeonato de España Absoluto de Pista Cubierta, ambos celebrados en Valencia en el año 2008) formaron la muestra del estudio. El análisis biomecánico se realizó mediante un sistema fotogramétrico en dos dimensiones que permitió calcular, aplicando algoritmos basados en el procedimiento de la DLT (Abdel-Aziz y Karara, 1971), las coordenadas (x, y) de los sucesivos apoyos de los pies de los atletas sobre toda la superficie de competición. La filmación de las pruebas se llevó a cabo con seis cámaras de vídeo, ubicadas sobre la gradas, con una frecuencia de muestreo para el tratamiento de los datos de 50 Hz. En la fase de salida, los atletas de nivel superior mostraron una menor longitud (p<0,05) y tiempo de zancada (p<0,001), debido a un menor tiempo de vuelo (p<0,05). En la fase de vallas, los atletas de nivel más elevado presentaron mayores distancia de ataque a la valla (p<0,001), así como menores distancias de caída de la valla (p<0,001), tiempos de zancada (p<0,01-0,001) y de apoyo (p<0,01-0,001 ) en los cuatro pasos que conforman cada ciclo de vallas, así como un menor tiempo de vuelo en el paso de valla (p<0,001) y en el paso de transición (p<0,001). De manera adicional, se encontraron importantes diferencias en el reparto de los pasos entre vallas entre la primera y tercera valla y el resto de obstáculos. En la fase final, se observó una mayor longitud de zancada en los atletas de nivel superior (p<0,001), así como un menor tiempo de zancada (p<0,01) y de apoyo (p<0,01). Los resultados obtenidos en el presente estudio de investigación avalan la utilización de la fotogrametría en dos dimensiones para el análisis biomecánico de la prueba de 60 metros vallas en competición. Su aplicación en competiciones del máximo nivel internacional ha posibilitado conocer las características de los vallistas a lo largo de toda la prueba y determinar posibles implicaciones de cara al proceso de entrenamiento. ABSTRACT The aim of this research was to determine the differences in different variables related to physical performance among athletes of different levels during the race of 60 meter hurdles. A total of 59 male hurdlers (the 31 participants in the World Indoor Championship and the 28 participants in the Spanish Indoor Championship, both held in Valencia in 2008) formed the sample of the study. The biomechanical analysis of athletes was performed using a two-dimensional photogrammetric system which enabled calculation, applying algorithms based on the DLT method (Abdel -Aziz y Karara , 1971), the coordinates (x , y) of the successive supports of the feet on the entire competition surface. Filming test was conducted with six video cameras, located on the bleachers, with a sampling frequency for data processing of 50 Hz. In the approach run phase, the top-level athletes showed a smaller length step (p<0.05), and shorter step time (p<0.001), due to a shorter step flight time (p<0.05). In the hurdle unit phase, the higher level athletes had greater take-off distances (p<0.001), shorter landing distances (p<0.001), smaller step times (p<0.01-0.001), and support times (p<0.01- 0.001) in the four steps that comprised each hurdle unit, and smaller flight times in the hurdle step (p < 0.001), and the recovery step (p<0.001). Additionally, differences in the distribution of hurdle unit steps between the first and third hurdle, and other hurdles were found. In the run-in phase, a greater step length in top-level athletes (p<0.001), and a shorter step time (p<0.01) and contact time (p<0.01) was observed. The results obtained in this study support the use of photogrammetry in two dimensions for biomechanical analysis in 60 meter hurdles competition events. Its application at the highest international level competitions has allowed to know the characteristics of the hurdlers over the entire race and identify possible implications for the training process.

Estrategia guiada por modelos para incluir aspectos de seguridad en sistemas empotrados basados en servicios web

En los sistemas distribuidos modernos, como la Internet o Web de las Cosas, la seguridad juega un papel preponderante. Debe prestarse especial atención a la consideración de estos aspectos en las primeras etapas de desarrollo. En este contexto, el desarrollo guiado por modelos de requisitos no funcionales (NF) presenta especial interés, ya que aborda dichas características NF en la etapa de diseño, cuando todavía se pueden realizar análisis, y aun hay margen para modificaciones antes de que estas sean muy costosas. El uso de estas metodologías guiadas por modelos ofrece beneficios tales como el aumento de la productividad, una mayor reutilización de los elementos de diseño, o una mejor mantenibilidad del sistema. Este artículo presenta una estrategia de desarrollo que permite integrar aspectos NF de seguridad (confidencialidad, integridad, y control de acceso) en los sistemas de software empotrado.

Utilización del compost de orujo de uva en el cultivo del melón en Castilla-La Mancha

En el año 2010 se comenzó en el Centro Agrario El Chaparrillo un proyecto de investigación en colaboración con la Universidad Politécnica de Madrid y la Universidad de Castilla-La Mancha, teniendo como objetivo principal evaluar el comportamiento como enmienda orgánica y fertilizante del compost de orujo, obtenido de las viñas castellano-manchegas de la zona de Socuéllamos, en un cultivo de melón. En este artículo de muestran los resultados.

Experience in spacecraft on-board software development

This paper describes some important aspects of high- integrity software development based on the authors' work. Current group research is oriented towards mixed- criticality partitioned systems, development tools, real- time kernels, and language features. The UPMSat-2 satellite software is being used as technology demonstra- tor and a case study for the assessment of the research results. The flight software that will run on the satellite is based on proven technology, such as GNAT/ORK+ and LEON3. There is an experimental version that is being built using a partitioned approach, aiming at assessing a toolset targeting partitioned multi-core em- bedded systems. The singularities of both approaches are discussed, as well as some of the tools that are being used for developing the software.

Higher levels of physical fitness are associated with a reduced risk of suffering sarcopenic obesity and better perceived health among elderly. The EXERNET multi-center study

Evaluar la asociación entre los niveles físicos de la aptitud, de calidad relacionada con la salud de la vida (CVRS) y la obesidad sarcopénica