Search

Ensuring correctness of timed behaviors in cyber-physical systems (CPS) using closed-loop verification is challenging due to the hybrid dynamics in both systems and environments. Simulink and Stateflow are tools for model-based design that support a variety of mechanisms for modeling and analyzing hybrid dynamics of real-time embedded systems. In this paper, we present an SMT-based approach for formal analysis of the hybrid-dynamic timing behaviors of CPS modeled in Simulink blocks and Stateflow states (S/S). The hierarchically interconnected S/S are flattened and translated into the input language of SMT solver for formal verification. A translation algorithm is provided to facilitate the translation. Formal verification of timing constraints against the S/S models is reduced to the validity checking of the resulting SMT encodings. The applicability of our approach is demonstrated on an unmanned surface vessel case study.

International audience

The Société du Canal de Provence (SCP) Company supports the water needs of many areas: the Provencal region of France, Haiti, Senegal and Sri Lanka. It operates both in France and worldwide for a sustainable water management thanks to its expertise, its assistance and its operations of hydraulic infrastructures. Today, it sells more than 180 million cubic meters of raw, drinkable and clarified water to individuals, manufacturers, companies, communities and farmers.The Technical and Regulatory Management Group offers methodological and technical tools and regulatory assistance for operations and maintenance services first. As an apprentice learner I have evolved within the group in the QSE and safety regulatory monitoring of the works. This document develops the chosen methodology to work on a new project at the SCP on the safety of a raw water transport structure: the Canal de Provence.In the PACA region, raw water has been transported through open gravity channels for over 60 years. The decree of 12 May 2015 has led to the official classification of the SCP open channels by the DREAL. Thus, the objective is to analyze the regulatory compliance of the works in the light of this decree. The project then proceeds with the development of an operating framework describing the recommended rules to ensure proper monitoring and maintenance of SCP channels.The alternation is a strong asset allowing to anticipate the professional life. In addition to technical and scientific training at the beginning of my studies, the PRNT master brought me the knowledge of risk prevention in the industrial world. This learning was perfectly adapted to the professional environment and allowed me to take advantage of my dual competence.; La Société du Canal de Provence subvient aux besoins en eau à beaucoup de territoires : la région provençale de la France, en Haïti, au Sénégal, au Sri Lanka. Elle intervient sur les 5 continents du monde pour une gestion durable en eau grâce à ses expertises, son assistance, ses aménagements. Elle vend aujourd’hui de plus de 180 Mm3 d’eau brute, potable et clarifiée à destination de particuliers, industriels et entreprises, collectivités, agriculteurs.Le groupe gestion technique et réglementaire propose des outils méthodiques et techniques et une assistance réglementaire en priorité pour les services exploitation et maintenance. En tant qu’ingénieure apprentie j’ai évolué au sein de ce groupe dans les suivis réglementaire QSE et sûreté des ouvrages. Ce mémoire développe la méthodologie choisie pour travailler sur un nouveau projet à la Société du Canal de Provence sur la sûreté d’un ouvrage de transport de l’eau brute : le canal de Provence.Dans la région PACA, l’eau brute est transportée par des canaux à ciel ouvert de manière gravitaire depuis plus de 60 ans. Le décret du 12 mai 2015 actionne le classement officiel de canaux à ciel ouvert de la SCP par la DREAL. L’objectif est d’analyser la conformité réglementaire de ce décret. Ensuite le projet continue par l’élaboration d’un référentiel d’exploitation décrivant les règles conseillées pour assurer une surveillance et un entretien adaptés aux canaux de la SCP.En plus d’une formation technique et scientifique au commencement de mes études, le master m’a apporté des connaissances en prévention des risques industriels parfaitement adapté au milieu professionnel. Cette alternance m’a permis de mettre à profit ma double compétence et a été un atout pour anticiper les exigences de ma prochaine vie professionnelle.

Bonnaud Laure, Lascoumes Pierre. Quelle administration pour le développement durable ?. In: Revue Juridique de l'Environnement, n°1, 2015. pp. 9-12.

As the biggest estate of the country, the state must set an example with regard to reducing the impact of the estate portfolio on the environment, and with regard to the portfolio management strategies. Following the circular dated 19 January 2009 regarding the state’s property policy, the Prime Minister highlighted the state’s effort to adopt a new organisation for the state’s property portfolio. Consequently, a new phase of the estate policy began on 16 december 2014, through the circular describing the SDIR project, which started early 2015 in five pilote areas : Basse and Haute Normandie, Pays de la Loire, Rhône-Alpes and La Réunion. This project emphasises the public policy’s effort to reorganise the state’s property portfolio, and it should assist with developing the essential tools for this new structure. This work is about the analysis of the deconcentrated services’ positioning in the SDIR project. After a presentation of the contextual elements, investigations in the five pilot areas will bring further reflexions and indicate potential directions for improvement. Finally, in order to enhance the services’ positioning, this research also offers recommendations and an action plan regarding the prospect of generalising the SDIR to other areas.; En tant que propriétaire du plus grand parc de bâtiments du pays, l’État doit se montrer exemplaire dans sa contribution à la réduction de l’impact environnemental de son parc immobilier et dans sa gestion. Suite à la circulaire du 16 janvier 2009 relative à la politique immobilière de l’État, le Premier ministre soulignait la volonté d’adopter une nouvelle organisation pour le patrimoine immobilier de l’État. Une nouvelle phase de la politique immobilière a ainsi débuté le 16 décembre 2014 à travers la circulaire relative à l’expérimentation des schémas directeurs immobiliers régionaux (SDIR). Cette expérimentation a été lancée début 2015 dans 5 régions pilotes : Basse et Haute Normandie, Pays de la Loire, Rhône-Alpes et la Réunion. Elle souligne la volonté de réorganisation du patrimoine immobilier de l’État par les politiques publiques et va permettre de mettre en place les outils nécessaires à cette nouvelle organisation. Ce travail est l’analyse du positionnement des services déconcentrés dans le cadre des SDIR expérimentaux. Après une présentation des éléments de contexte, des enquêtes auprès des régions expérimentatrices viendront alimenter la réflexion et faire apparaitre les pistes d’amélioration à envisager. Enfin, dans le but d’améliorer le positionnement des services, cette étude propose des recommandations et un plan d’actions dans la perspective de généralisation des SDIR aux autres régions.

Le développement durable est devenu un slogan aussi flou que prégnant qui conduit souvent à des décisions inattendues. C'est le cas pour la fusion de deux frères ennemis : les ministères de l'équipement et de l'écologie. Le livre montre le contexte politique particulier qui a inscrit cette vaste réforme à la fois comme une action symétrique au Grenelle de l'environnement et comme l'affirmation d'une écologie de droite. Au-delà de ce volontarisme, il souligne l'importance des facteurs historiques et des enjeux professionnels qui ont rendu possible cette fusion présentée comme un modèle réussi de modernisation de l'État. L'analyse est menée à trois niveaux : la réforme des structures centrales du ministère celle des services territoriaux (essentiellement régionaux) enfin, celle des principaux acteurs ayant concrétisé cette vaste série de changements.

International audience; L’article s’intéresse à la création en France d’une administration du développement durable auniveau régional. Il éclaire les choix de structuration de cette bureaucratie émergente à partir d’uneétude décrivant la conception des 21 directions régionales de l’écologie, de l’aménagement et dulogement (DREAL) issues de cette réforme. Il présente les principales architectures institutionnellesretenues et met en évidence l’influence respective des acteurs centraux et régionaux sur leschoix d’organisation de ces services. Il montre enfin que si les directions régionales reprennentpour partie les modèles ministériels antérieurs, elles sont en même temps des lieux où s’invententdes formatages administratifs originaux, non programmés par l’administration centrale et différenciésselon les régions.

National audience

Le développement durable est devenu un slogan aussi flou que prégnant qui conduit souvent à des décisions inattendues. C'est le cas pour la fusion de deux frères ennemis : les ministères de l'équipement et de l'écologie. Le livre montre le contexte politique particulier qui a inscrit cette vaste réforme à la fois comme une action symétrique au Grenelle de l'environnement et comme l'affirmation d'une écologie de droite. Au-delà de ce volontarisme, il souligne l'importance des facteurs historiques et des enjeux professionnels qui ont rendu possible cette fusion présentée comme un modèle réussi de modernisation de l'État. L'analyse est menée à trois niveaux : la réforme des structures centrales du ministère celle des services territoriaux (essentiellement régionaux) enfin, celle des principaux acteurs ayant concrétisé cette vaste série de changements.