Optimizing the Automotive Security Development Process in Early Process Design Phases

Security is a relatively new topic in the automotive industry. In the former days, the only security defense methods were the engine immobilizer and the anti-theft alarm system. The rising connection of vehicles to external networks made it necessary to extend the security effort by introducing security development processes. These processes include, amongothers, risk analysis and treatment steps. In parallel, the development of ISO/SAE 21434 and UN-ECE No. R155 started. The long development cycles in the automotive industry made it necessary to align the development processes' early designs with the standards' draft releases. This work aims to design a new consistent, complete and efficient security development process, aligned with the normative references. The resulting development process design aligns with the overall development methodology of the underlying, evaluated development process. Use cases serve as a basis for evaluating improvements and the method designs. This work concentrates on the left leg of the V-Model. Nevertheless, future work targets extensions for a holistic development approach for safety and security.:I. Foundation 1. Introduction 2. Automotive Development 3. Methodology II. Meta-Functional Aspects 4. Dependability as an Umbrella-Term 5. Security Taxonomy 6. Terms and Definitions III. Security Development Process Design 7. Security Relevance Evaluation 8. Function-oriented Security Risk Analysis 9. Security Risk Analysis on System Level 10. Risk Treatment IV. Use Cases and Evaluation 11. Evaluation Criteria 12. Use Case: Security Relevance Evaluation 13. Use Case: Function-oriented Security Risk Analysis 14. Use Case: System Security Risk Analysis 15. Use Case: Risk Treatment V. Closing 16. Discussion 17. Conclusion 18. Future Work Appendix A. Attacker Model Categories and Rating Appendix B. Basic Threat Classes for System SRA Appendix C. Categories of Defense Method Propertie

Proceedings of Junior Researcher Workshop on Real-Time Computing

It is our great pleasure to welcome you to Junior Researcher Workshop on Real-Time Computing 2007, which is held conjointly with the 15th conference on Real-Time and Network Systems (RTNS'07). The first successful edition was held conjointly with the French Summer School on Real-Time Systems 2005 (http://etr05.loria.fr). Its main purpose is to bring together junior researchers (Ph.D. students, postdoc, ...) working on real-time systems. This workshop is a good opportunity to present our works and share ideas with other junior researchers and not only, since we will present our work to the audience of the main conference. In response to the call for papers, 14 papers were submitted and the international Program Committee provided detailed comments to improve these work-in-progress papers. We hope that our remarks will help the authors to submit improved long versions of theirs papers to the next edition of RTNS. JRWRTC'07 would not be possible without the generous contribution of many volunteers and institutions which supported RTNS'07. First, we would like to express our sincere gratitude to our sponsors for their financial support : Conseil Général de Meuthe et Moselle, Conseil Régional de Lorraine, Communauté Urbaine du Grand Nancy, Université Henri Poincaré, Institut National Polytechnique de Lorraine and LORIA and INRIA Lorraine. We are thankful to Pascal Mary for authorizing us to use his nice picture of “place Stanislas” for the proceedings and web site (many others are available at www.laplusbelleplacedumonde.com). Finally, we are most grateful to the local organizing committee that helped to organize the conference

Detailed occupancy prediction, occupancy-sensing control and advanced behavioural modelling within whole-building energy simulation

Cette étude a pour but de combler l'écart entre l'état actuel de la simulation énergétique dans le domaine du bâtiment (i.e. hypothèses et modèles) et la connaissance empirique sur le comportement des usagers en matière de contrôle environnemental. L'application principale issue de cette thèse est un module de simulation autonome qui vise la modélisation à haute résolution et à haute fréquence des interactions personne-milieu: de l'occupation des locaux (i.e. l'affectation individuelle d'un environnement modélisé), du contrôle basé uniquement sur la présence ou l'absence des occupants (e.g. détecteurs de mouvement), jusqu'aux modèles comportementaux plus avancés (e.g. commutation manuelle des appareils d'éclairage, l'utilisation des fenêtres ouvrantes). L'intégration du module au sein du logiciel libre ESP-r, un programme qui permet de simuler l'ensemble des interactions bâtiment-systèmes-environnement, permet d'étudier à quel point les modèles d'interactions personne-milieu, issus des études en milieu réel, peuvent influencer les besoins énergétiques d'un bâtiment donné. Certains traits comportementaux, couramment associés aux modèles de contrôle manuel des systèmes d'éclairage, caractérisent également le comportement individuel au niveau des fenêtres ouvrantes; une conclusion issue d'une étude pilote en milieu réel sur le campus de l'Université Laval (Québec). Cette constatation suggère certains traits communs pouvant décrire le comportement des usagers en matière de contrôle environnemental. Le module développé permet également d'étudier le potentiel écoénergétique de stratégies innovatrices: l'application de stratégies de contrôle reposant sur l'adaptation thermique dans un contexte de climatisation hybride, et basées sur l'opération de fenêtres ouvrantes en tant que commutateurs entre climat naturel et climat artificiel. Les résultats préliminaires suggèrent que pour les climats nordiques ou méridionaux, ces approches permettent effectivement de réduire les besoins en climatisation, mais qu'en contre partie les besoins en chauffage augmentent considérablement en raison de l'utilisation des fenêtres en périodes plus tempérées. L'intérêt de la méthode est ici mis en évidence dans sa capacité à simuler globalement l'ensemble des conséquences énergétiques de l'interaction sociale avec l'environnement bâti.This study sets out to bridge the gap between building energy simulation and empirical evidence on occupant behaviour. The major output is a self-contained simulation module that aims to control all occupant-related phenomena which can affect energy use in buildings. It provides high resolution and high frequency occupancy prediction (i.e. when occupants as individual agents occupy a modelled environment), occupant-sensing control (i.e. as driven by the mere presence of one or more occupants, such as occupancy-sensing lighting controls), as well as advanced behavioural models (i.e. active personal control, such as manual switching of lights, manual adjustments to window blinds, operable windows, personalized air-conditioning units). The module is integrated within the ESP-r free software, a whole-building energy simulation program. Simulation results clearly show that occupants-based phenomena exert a strong influence on simulated energy use, revealing a number of limitations in key assumptions in current energy simulation practice. Key behavioural traits, commonly associated to lighting behavioural patterns, also appear to be associated to personal control of operable windows, as demonstrated in a pilot field study in a Université Laval pavilion in Québec. This may suggest an abstract quality to certain behavioural concepts regarding different environmental controls. The study then focuses on the use of the developed work to investigate the energy saving potential of novel yet untried strategies: adaptive comfort control algorithms in hybrid environments, based on the use of operable windows as switching mechanisms between natural and artificial modes of environmental control. Results suggest that for both heating- and cooling-dominant climates, adaptive comfort control effectively reduces cooling requirements, yet operable window use during cooler conditions appear to increase heating requirements. The usefulness of the original method is here illustrated by providing a more complete view on energy use attributed to occupant behaviour

Programmation sûre de plates-formes embarquées de type multi/pluri-cœurs

The purpose of this document is to describe an overview of my work on the topic of "programming mutli/many-core COTS in the context of aeronautics" and to propose future research work.L’objectif de ce document est de décrire une synthèse des travaux que j’ai menés autour du thème de "la programmation sûre de plates-formes embarquées" et de proposer des perspectives de recherche pour les années à venir

EUSN 2021 Book of Abstracts, Fifth European Conference on Social Networks

Book of abstract of the fifth European conference on Social Networks EUSN 202

Batteries and Supercapacitors Aging

Electrochemical energy storage is a key element of systems in a wide range of sectors, such as electro-mobility, portable devices, and renewable energy. The energy storage systems (ESSs) considered here are batteries, supercapacitors, and hybrid components such as lithium-ion capacitors. The durability of ESSs determines the total cost of ownership, the global impacts (lifecycle) on a large portion of these applications and, thus, their viability. Understanding ESS aging is a key to optimizing their design and usability in terms of their intended applications. Knowledge of ESS aging is also essential to improve their dependability (reliability, availability, maintainability, and safety). This Special Issue includes 12 research papers and 1 review article focusing on battery, supercapacitor, and hybrid capacitor aging

Musical Haptics

Haptic Musical Instruments; Haptic Psychophysics; Interface Design and Evaluation; User Experience; Musical Performanc

DevOps for Trustworthy Smart IoT Systems

ENACT is a research project funded by the European Commission under its H2020 program. The project consortium consists of twelve industry and research member organisations spread across the whole EU. The overall goal of the ENACT project was to provide a novel set of solutions to enable DevOps in the realm of trustworthy Smart IoT Systems. Smart IoT Systems (SIS) are complex systems involving not only sensors but also actuators with control loops distributed all across the IoT, Edge and Cloud infrastructure. Since smart IoT systems typically operate in a changing and often unpredictable environment, the ability of these systems to continuously evolve and adapt to their new environment is decisive to ensure and increase their trustworthiness, quality and user experience. DevOps has established itself as a software development life-cycle model that encourages developers to continuously bring new features to the system under operation without sacrificing quality. This book reports on the ENACT work to empower the development and operation as well as the continuous and agile evolution of SIS, which is necessary to adapt the system to changes in its environment, such as newly appearing trustworthiness threats

The making of world society: perspectives from transnational research

Do the current changes of both geographical and symbolic boundaries lead to the emergence of a world society? How do transnational migration, communication and worldwide economic and political networks manifest themselves in globalised modernity? This book presents innovative contributions to transnationalisation research and world society theory based on empirical studies from Asia, Africa, Latin America and Europe. Practicable methodologies complete theoretical inquiries and provide examples of applied research, which also might be used in teaching