Analysis of the expert report by the forensic pathologist and specialist in Legal Medicine, Ms. C.C.A.:

This work analizes the issue at hand by transiting two pathways or levels of analysis, each one intensly connected to the other. At a macro level, it convers a cased solved through experts’ knowlege. At a micro level, one expert report involved is analyzed. This case’s context and how it was solved shed light on the expert report’s fallencies. The expert report and the expert deposition in court explain how the case developed and how it was finally solved.El presente trabajo discurre en dos niveles de análisis que, sin embargo, se encuentran densamente interconectados. Por un lado, a nivel macro, se presenta un caso concreto decidido, principalmente, con base en las opiniones de los expertos. A nivel micro, se analiza el informe pericial de una de las peritas en cuestión. El contexto y la resolución del caso planteado sirven para brindar luz sobre las falencias del informe pericial en estudio, objeto principal del presente trabajo. El informe pericial y la declaración de la perita en comento, a su vez, informan sobre el devenir del juicio a nivel macro y sobre la decisión final tomada por los sentenciadores

El Efecto de la Edad Relativa (RAE) en el fútbol profesional español masculino y femenino: temporada 2016 – 2017.

El efecto de la edad relativa (Relative Age Effect, RAE) ha sido, y sigue siendo, motivo de estudio desde hace muchos años, afectando tanto al ámbito educativo como al deportivo, en el que intervienen aspectos de carácter económico, social y psicológico entre otros, que pueden ser decisivos a la hora del desarrollo y maduración del individuo. El objetivo del presente estudio es comprobar si se produce un efecto de la edad relativa en la Liga de Fútbol Profesional española (LFP), tanto en la primera división masculina (Liga Santander) como en la primera división femenina (Liga Iberdrola), teniendo en cuenta que el corte de edad actual para la formación de las categorías es el del año natural. El análisis ha incluido a todos los futbolistas de la primera división española masculina de la temporada 2016-2017, con un total de 484 jugadores distribuidos entre los 20 equipos que conforman la Liga Santander, así como a todas las futbolistas de la primera división española femenina de la temporada 2016-2017, siendo un total de 361 jugadoras distribuidas en 16 equipos, que son los que conforman la Liga Iberdrola. El resultado del estudio confirma un importante efecto de la edad relativa en el fútbol profesional en España, siendo mayor en la liga masculina, donde el 61,98% de los futbolistas han nacido en el primer semestre del año, mientras que en la liga femenina disminuye, aunque se mantiene por encima de la mitad, siendo el 53,74% de las futbolistas las que nacieron en el primer semestre del año. Además se ha realizado el estudio del efecto de la edad relativa llevando a cabo una diferenciación por nacionalidad y posición en el terreno de juego de ambas competiciones, de los cuales se han obtenido resultados muy significativos.pre-print1119 K

Risk of hypertension and Use of antihypertensive drugs in the physically active population under-70 years old—spanish health survey

Introduction: Reducing the prevalence of hypertension is a major priority of the World Health Organization (WHO). Its high prevalence and associated risks generate high economic and social costs. Physical activity (PA) is associated with a decrease in hypertension and in the use of antihypertensive drugs. Objective: To explore the association between PA levels (PAL), prevalence of hypertension and the use of antihypertensive drugs in Spanish population. To calculate risks of hypertension and use of antihypertensive in the inactive versus physically active population. Method: This cross-sectional study used data from 17717 individuals, sampled in the 2017 National Health Survey. Interaction by sex, age groups, body mass index (BMI), hypertension prevalence, antihypertensive drugs use and PAL, using a pairwise z-test, and dependence relationships between variables, were studied using a chi square test. Odds ratios of hypertension and antihypertensive drug use were calculated among the inactive and the physically active populations. Results: The findings showed a significant inverse association between prevalence of hypertension, antihypertensive use, and PAL in both sexes and different age and BMI groups, with lower prevalence of hypertension and antihypertensive use when PAL were higher. The risks of hypertension and antihypertensive use seems to be reduced when related to higher PAL compared to inactive people. Conclusions: High PAL is associated with lower prevalence of hypertension and lower antihypertensive use. Thus, being physically active or very active may reduce the risks of suffering from hypertension and the need to use antihypertensives compared to inactive people or walkersinfo:eu-repo/semantics/publishedVersio

Static analysis of WCET in a satellite software subsystem

This paper describes the authors? experience with static analysis of both WCET and stack usage of a satellite on-board software subsystem. The work is a continuation of a previous case study that used a dynamic WCET analysis tool on an earlier version of the same software system. In particular, the AbsInt aiT tool has been evaluated by analysing both C and Ada code generated by Simulink within the UPMSat-2 project. Some aspects of the aiT tool, specifically those dealing with SPARC register windows, are compared to another static analysis tool, Bound-T. The results of the analysis are discussed, and some conclusions on the use of static WCET analysis tools on the SPARC architecture are commented in the paper

ARINC-653 Inter-partition communications and the ravenscar profile

The ARINC-653 standard is often used to build mixed-criticality systems, using a partitioned architecture. Inter-partition communication is carried out by means of a message-passing mechanism based on ports. The standard includes an API for Ada, but the implementation semantics of operation ports is not fully defined. Furthermore, the API was defined for the Ada 95 standard, and therefore does not take into account the enhancements to the real-time features of the language that have been incorporated in the 2005 and 2013 standards, most notably the Ravenscar profile. This paper is aimed at clarifying the implementation of ARINC communication ports in Ada and the Ravenscar profile. ARINC communication ports are analysed, and their compatibility with the Ravenscar profile is assessed. A new API that can be used with the profile is defined, and a pilot implementation is introduced

Herramientas de análisis temporal para el desarrollo de sistemas de tiempo real críticos.

El presente documento describe la integración de herramientas para el análisis temporal en el conjunto de herramientas ASSERT. El proceso de desarrollo, el conjunto de herramientas y la máquina virtual de ASSERT se orientan al desarrollo de sistemas distribuidos empotrados de tiempo real con requisitos de fiabilidad muy exigentes. El enfoque del proyecto ASSERT es el de “convertir diseños heterogéneos realizados por el hombre en software homogéneo generado automáticamente”. Para ello utiliza el modelo computacional de Ravenscar, que es un modelo de concurrencia que permite el análisis estático del comportamiento de tiempo real. Por lo tanto, el uso de herramientas para el análisis de la planificabilidad y el cálculo del tiempo de cómputo en el peor caso es de importancia primordial. En este documento se detalla la adecuación de distintas herramientas a los sistemas distribuidos empotrados de tiempo real críticos, para su posterior integración en el proceso de desarroll

Experience in programming device drivers with the Ravenscar profile.

The Ravenscar profile defines a subset of Ada tasking that can be statically analysable for real-time properties. The implications of the Ravenscar profile and other commonly used high-integrity restrictions for developing device drivers are analysed in the paper, and some guidelines are provided based on the analysis. The technical content of the paper is based on the authors' experience in developing communication drivers for the Open Ravenscar real time Kernel (ORK) that are well suited for space onboard applications. A reference architecture for device drivers is proposed, and two instances of drivers based on it are described

In support of extending the Ravenscar profile

This paper discusses different approaches for implementing an EEPROM memory driver which is part of the UPMSat2 satellite on-board computer software. The Ravenscar profile restrictions are to be observed in order to ensure the analysability of the system, and therefore the approaches are evaluated against the profile. Results of this evaluation as well as considerations on a possible extension of the Ravenscar profile with respect protected entries are presented