154 research outputs found

    Heterogeneous Runtime Monitoring for Real-Time Systems with art2kitekt

    Full text link
    [EN] Monitoring the execution of real-time systems has many advantages, it is not only useful to understand the behaviour of an application but also to find unfulfilled timing constraints in an implementation. However, real-time operating systems usually do not include the tracing tools to observe the behaviour during the execution. This paper presents the art2kitekt runtime monitoring tool, used to measure and to visualise the temporal characteristics of a real-time application. To demonstrate the functionality of the tool, the behaviour of an RTEMS-based application running over a Xilinx Zynq UltraScale+ is observed.The work presented in this paper has received funding from the ECSEL Joint Undertaking under grant agreement No 737475 (AQUAS project). This Joint Undertaking receives support from the European Unions Horizon 2020 research and innovation programme and Spain, France, United Kingdom, Austria, Italy, Czech Republic, Germany.García-Gordillo, M.; Valls, J.; Sáez Barona, S. (2019). Heterogeneous Runtime Monitoring for Real-Time Systems with art2kitekt. IEEE. 266-273. https://doi.org/10.1109/ETFA.2019.8869537S26627

    Manual de uso y estilo de redes sociales de la Universidad de Sevilla

    Get PDF

    Contribución al estudio del sujeto revolucionario la potencia plebeya como categoría analítica. el caso Boliviano

    Get PDF
    Desde una revisión teórica presentada cronológica y relacionalmente, se hace un análisis general de las condiciones en que el llamado sujeto político o sujeto revolucionario en una sociedad, de carácter colectivo, surge, identifica, desarrolla y ejecuta su acción política. Así, lo que pretende el autor es hacer una revisión crítica de varias categorías iniciales, tratando de evidenciar su nexo interno y analítico para detallar las similitudes, puntos de encuentro y diferencias que mantienen, a fin de proponer una nueva perspectiva analítica sobre el llamado sujeto político en la sociedad, perspectiva que se ha permitido llamar de la potencia plebeya. Ello, a partir del título de la compilación de ensayos del intelectual boliviano Álvaro García Linera: La potencia plebeya. Acción colectiva e identidades indígenas, obreras y populares en Bolivia. Finalmente, el autor propone una pequeña revisión de la construcción hecha, teniendo el caso boliviano como contraste reflexivo y punto de llegada del análisis general, tratando de implementar la revisión conceptual propuesta."From a theoretical review presented chronologically and relationally, an general analysis is made of the conditions under which the so-called political subject or revolutionary subject in a society, of collective nature, emerges, identifies, develops and executes its political action. So what the author claims is a critical review of several initial categories, trying to prove their internal analytical nexus for the purpose of detail the similarities and differences remain, in order to propose a new analytical perspective on the so-called subject political in the society, perspective is allowed to call the plebeian power. This, from the title of the collection of essays bolivian intellectual Álvaro García Linera: The plebeian power. Collective action and indigenous, workers and popular identities in Bolivia. Finally, the author proposes a brief review of the construction done, taking the bolivian case as reflective contrast and arrival point of the overall analysis, trying to ""implement"" the conceptual review proposed."Politólogo (a)Pregrad

    Correlación entre carga de síntomas y calidad de vida relacionada con la salud en adultos con arritmia cardiaca

    Get PDF
    92 páginasLas enfermedades cardiovasculares son la principal causa de muerte y discapacidad para la poblacion mundial y dentro de estas, las arritmias cardiacas contribuyen al deterioro de la calidad de vida, afectando económica y socialmente a las personas que la padecen y sus familias(1). Para el año 2015 la Organización Mundial de la Salud afirmo que murieron a causa de las enfermedades cardiovasculares 17,7 millones de personas, lo cual representó un 31% de todas las muertes registradas en el mundo, y de estas muertes 7,4 millones se debieron a la cardiopatía coronaria, 6,7 millones a accidentes cerebro vasculares los cuales en su mayoría son causados por arritmias cardiacas como la fibrilacion auricular(2). Las arritmias cardíacas son desórdenes de la actividad eléctrica del corazón que conducen a una pérdida del ritmo normal y pueden ocasionar diversos síntomas tales como palpitaciones, ahogo en reposo o con el esfuerzo, dolor de pecho, mareos, desmayos, ansiedad y fatiga entre otros; las arritmias se clasifican según la Sociedad Española de Cardiología (3), en bradiarritmias (bradicardia sinusal y bloqueos auriculoventriculares) y taquiarritmias, que se dividen en supraventriculares (taquicardia supraventricular, taquicardia sinusal, fibrilación auricular (FA) y flutter) y ventriculares (taquicardia ventricular sostenida y no sostenida, fibrilación ventricular), se resalta la fibrilación auricular como la más común, con una incidencia de 1 a 2 % en la población general y con un incremento de la prevalencia en los pacientes de mayor edad según la Asociación Europea de Cardiología (4).Maestría en EnfermeríaMagíster en Enfermerí

    Client-side adaptation: An approach based in reutilization using transversal models

    Get PDF
    Improving navigability in Web applications is essential for applications success. Our research aims to improve the user experience by applying novel techniques such as concern-sensitive navigation. Concern-sensitive navigation allows enriching Web pages with content related to the context in which they are accessed. In previous works, we showed how this technique can be applied during the development process; at present we are working in a client-side adaptation approach to apply concern-sensitive navigation to existing applications. This approach is open to other adaptation kinds which are illustrated in this position paper. We also outline a set of tools we are developing to simplify the process of adaptation.Publicado en Lecture Notes in Computer Science book series (LNCS, vol. 6385).Laboratorio de Investigación y Formación en Informática Avanzad

    Why did Christianity Misunderstand the Qur\u27an?

    Get PDF
    La presente invención se dirige a un procedimiento para la obtención de ácido Oregánico y derivados del mismo, a los compuestos intermedios de esta síntesis y al uso de estos compuestos en la preparación del ácido Oregánico y derivados del mismo.Peer reviewedConsejo Superior de Investigaciones CientíficasB1 Patente sin examen previ

    Scenario-Based Validation & Verification, the ENABLE-S3 Approach

    Full text link
    [EN] Automated systems can be found on many current vehi- cles, either land, air or maritime. The reliability, safety and robustness of these systems is extremely important, hence validation approaches need to adapt to the ever- evolving necessities of the industry. The ENABLE-S3 architecture addresses the problem of extensive testing by introducing a set of tools and methodologies that can be used to build up a testing environment for different domains. In this manuscript, a special focus is given to the solution developed for the Reconfigurable Video Processor from the aerospace domain.This work has been conducted within the ENABLE-S3 project that has received funding from the ECSEL Joint Undertaking under grant agreement No 692455. This joint undertaking receives support from the European Unions HORIZON 2020 research and innovation programme and Austria, Denmark, Germany, Finland, Czech Republic, Italy, Spain, Portugal, Poland, Ireland, Belgium, France, Netherlands, United Kingdom, Slovakia, Norway.Valls Mompó, JJ.; García-Gordillo, M.; Sáez Barona, S. (2019). Scenario-Based Validation & Verification, the ENABLE-S3 Approach. Ada User Journal. 40(4):230-235. http://hdl.handle.net/10251/164062S23023540
    corecore