Search

L’objectif de ces recommandations est de préciser le cadre juridique, délimiter le rôle des Services de prévention et de santé au travail et effectuer des recommandations sur la mise en œuvre des visites en vue d’un suivi post-exposition ou post-professionnel.

We propose here solutions to the FMTV 2015 challenge of a distributed video processing system using four different formalisms, as well as the description of the challenge itself. This artifact contains several solutions to various subchallenges, and instructions and scripts to reproduce these results smoothly., DARTS, Vol. 9, Special Issue of the 35th Euromicro Conference on Real-Time Systems (ECRTS 2023), pages 4:1-4:6

We present here the main features and lessons learned from the first edition of what has now become the ECRTS industrial challenge, together with the final description of the challenge and a comparative overview of the proposed solutions. This verification challenge, proposed by Thales, was first discussed in 2014 as part of a dedicated workshop (FMTV, a satellite event of the FM 2014 conference), and solutions were discussed for the first time at the WATERS 2015 workshop. The use case for the verification challenge is an aerial video tracking system. A specificity of this system lies in the fact that periods are constant but known with a limited precision only. The first part of the challenge focuses on the video frame processing system. It consists in computing maximum values of the end-to-end latency of the frames sent by the camera to the display, for two different buffer sizes, and then the minimum duration between two consecutive frame losses. The second challenge is about computing end-to-end latencies on the tracking and camera control for two different values of jitter. Solutions based on five different tools - Fiacre/Tina, CPAL (simulation and analysis), IMITATOR, UPPAAL and MAST - were submitted for discussion at WATERS 2015. While none of these solutions provided a full answer to the challenge, a combination of several of them did allow to draw some conclusions., LIPIcs, Vol. 262, 35th Euromicro Conference on Real-Time Systems (ECRTS 2023), pages 19:1-19:18

International audience; The process of scientific research resembles that of an investigator : observations, hypotheses, verifications, conclusions. In the case of ecological devastation, our community describes the state and dynamics of the contemporary world, tries to understand the causes in order to better propose means of action. But as is often the case for investigators, the possibility of their own responsibility is not often considered. For this, it is necessary to undertake a reflexive observation of one’s own functioning, and of the relationships that one weaves with the dynamics of the world. We report on the setting up of a possible instrument for this reflexivity, and how collective discussion makes it possible to find ways for scientists, at all organisational levels, to exercise their environmental responsibility.; El proceso de investigación científica se asemeja al de un detective : observaciones, hipótesis, comprobaciones, conclusiones. En el caso de la devastación ecológica, nuestra comunidad describe el estado y la dinámica del mundo contemporáneo, intenta comprender las causas para proponer los mejores medios de acción. Pero, como suele ocurrir con los detectives, no se suele considerar la posibilidad de la propia responsabilidad. Para ello, es necesario emprender una observación reflexiva del propio funcionamiento, y de las relaciones que uno teje con la dinámica del mundo. Informamos sobre la puesta en marcha de un posible instrumento para esta reflexividad, y sobre cómo el debate colectivo permite encontrar vías para que los científicos, a todos los niveles organizativos, ejerzan su responsabilidad medioambiental.; Le geste de la recherche scientifique ressemble à celui d’une enquêtrice : observations, hypothèses, vérifications, conclusions. En ce qui concerne les ravages écologiques, notre communauté décrit l’état et la dynamique du monde contemporain, tente d’en connaître les causes pour mieux proposer des moyens d’action. Mais, comme souvent pour l’enquêteur, la possibilité de sa propre responsabilité n’est pas souvent envisagée. Il est nécessaire pour cela d’entamer une observation réflexive de son propre fonctionnement, et des relations qu’on tisse avec la dynamique du monde. Nous relatons la mise en place d’un instrument possible de cette réflexivité, et comment la discussion collective permet de trouver des moyens pour des scientifiques, à tous niveaux organisationnels, d’exercer leur responsabilité environnementale.

Le geste de la recherche scientifique ressemble à celui d’une enquêtrice : observations, hypothèses, vérifications, conclusions. En ce qui concerne les ravages écologiques, notre communauté décrit l’état et la dynamique du monde contemporain, tente d’en connaître les causes pour mieux proposer des moyens d’action. Mais, comme souvent pour l’enquêteur, la possibilité de sa propre responsabilité n’est pas souvent envisagée. Il est nécessaire pour cela d’entamer une observation réflexive de son propre fonctionnement, et des relations qu’on tisse avec la dynamique du monde. Nous relatons la mise en place d’un instrument possible de cette réflexivité, et comment la discussion collective permet de trouver des moyens pour des scientifiques, à tous niveaux organisationnels, d’exercer leur responsabilité environnementale. The process of scientific research resembles that of an investigator : observations, hypotheses, verifications, conclusions. In the case of ecological devastation, our community describes the state and dynamics of the contemporary world, tries to understand the causes in order to better propose means of action. But as is often the case for investigators, the possibility of their own responsibility is not often considered. For this, it is necessary to undertake a reflexive observation of one’s own functioning, and of the relationships that one weaves with the dynamics of the world. We report on the setting up of a possible instrument for this reflexivity, and how collective discussion makes it possible to find ways for scientists, at all organisational levels, to exercise their environmental responsibility. El proceso de investigación científica se asemeja al de un detective : observaciones, hipótesis, comprobaciones, conclusiones. En el caso de la devastación ecológica, nuestra comunidad describe el estado y la dinámica del mundo contemporáneo, intenta comprender las causas para proponer los mejores medios de acción. Pero, como suele ocurrir con los detectives, no se suele considerar la posibilidad de la propia responsabilidad. Para ello, es necesario emprender una observación reflexiva del propio funcionamiento, y de las relaciones que uno teje con la dinámica del mundo. Informamos sobre la puesta en marcha de un posible instrumento para esta reflexividad, y sobre cómo el debate colectivo permite encontrar vías para que los científicos, a todos los niveles organizativos, ejerzan su responsabilidad medioambiental.

International audience; While the direct environmental impacts of digital technologies are now well documented, it is often said that they could also help reduce greenhouse gas (GHG) emissions significantly in many domains such as transportation, building, manufacturing, agriculture, and energy. Assessing such claims is essential to avoid delaying alternative action or research. This also applies to related claims about how much GHG emissions existing digital technologies are already avoiding. In this paper, we point out critical issues related to these topics in the state of the art. First, most papers do not provide enough details on the scenarios underlying their evaluations: which hypotheses they are based on and why, and why specific scenarios are chosen as the baseline. This is a key point because it may lead to overestimating the current or potential benefits of digital solutions. Second, results are rarely discussed in the context of global strategies for GHG emissions reduction. These leaves open how the proposed technologies would fit into a realistic plan for meeting current GHG reduction goals. To overcome the underlined limitations, we propose a set of guidelines that all studies on digital solutions for mitigating GHG emissions should satisfy, point out overlooked research directions, and provide concrete examples and initial results for the specific case of carpooling.

International audience; Occupational physicians as health professionals practice within the framework of the Public Health Code. Employers, employees and their colleagues can file a complaint against them? with the French Medical Board. The purpose of this article is to take stock of these complaints over the past 20years.; Les médecins du travail en tant que professionnels de santé exercent dans le cadre du Code de santé publique. Les employeurs, salariés et leurs confrères peuvent porter plainte contre eux? auprès du Conseil de l’Ordre des Médecins. L’objet de cet article est de faire le bilan de ces plaintes au cours des 20 dernières années.

This erratum relates to Ahrendts et al. [2018], a conference paper at ECRTS in 2018 with the title ”Verifying Weakly-Hard Real-Time Properties of Traffic Streams in Switched Networks”. The central contribution of the paper is the computation of (m,k)-guarantees for traffic streams in switched networks. An (m,k)-guarantee states that no more than m out k consecutive frame transmissions may violate the end-to-end deadline of a traffic stream. The authors discovered that the computed (m,k)-guarantees in their paper are in fact only valid under restrictive assumptions.

International audience

Classical Response Time Analysis (RTA) and Network Calculus (NC) are two major formalisms used for the verification of real-time properties. The related paper offer mathematical links between these two different theories. Based on these links, it then proves the equivalence of various key notions in both frameworks. This enables specialists of both formalisms to get increase confidence on their models, or even, like the authors, to discover errors in theorems by investigating apparent discrepancies between some notions expected to be equivalent. The presented mathematical results are all mechanically checked with the interactive theorem prover Coq, building on existing formalizations of RTA and NC. Establishing such a link between NC and RTA paves the way for improved real-time analyses obtained by combining both theories to enjoy their respective strengths (e.g., multicore analyses for RTA or clock drifts for NC). This artifact enables to reproduce these proofs., DARTS, Vol. 8, Special Issue of the 34th Euromicro Conference on Real-Time Systems (ECRTS 2022), pages 3:1-3:3

International audience

National audience; La loi du 2 février 2016 et les plans successifs de développement des soins palliatifs n'ont pas empêché que la question de l'accompagnement de la fin de vie soit de nouveau au coeur du débat public. Trois propositions de loi ont été déposées dès la fin de l'année 2017 et ont été relayées par une tribune de 156 députés réclamant l'adoption "sans délai" d'une nouvelle loi reconnaissant "aux malades en fin de vie la libre disposition de leur corps" . Deux nouvelles propositions ont été déposées en janvier 2021 sur le bureau de l'Assemblée nationale. Faut-il de nouveau légiférer ? Faut-il davantage examiner les mesures de mises en oeuvre par les équipes médicales pour comprendre les freins et leviers d'un meilleur accompagnement des patients en fin de vie ? Ces questions s'étaient déjà posées en 2015, elles se posent de nouveau aujourd'hui. Une approche pluridisciplinaire permet de mieux apprécier les termes du débat. A l'occasion de la journée d'études du 2 décembre 2020, l'équipe de recherche du projet AcSOI-VIE (Accompagnement de la fin de vie : regards croisés des patients et des soignants) a partagé de nouvelles réflexions sur la thématique de l'accompagnement de la fin de vie et de son appropriation par les professionnels de santé. Cet ouvrage réunit l'ensemble de ces contributions.