Sökning: "System Trustworthiness"

Visar resultat 1 - 5 av 21 avhandlingar innehållade orden System Trustworthiness.

  1. 1. Designing Trustworthy Autonomous Systems

    Författare :Piergiuseppe Mallozzi; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; System Trustworthiness; Reactive Synthesis; Monitoring and enforcement; Assume-Guarantee Contracts; Runtime verification; Autonomous Systems; Formal Verification; Reinforcement Learning;

    Sammanfattning : The design of autonomous systems is challenging and ensuring their trustworthiness can have different meanings, such as i) ensuring consistency and completeness of the requirements by a correct elicitation and formalization process; ii) ensuring that requirements are correctly mapped to system implementations so that any system behaviors never violate its requirements; iii) maximizing the reuse of available components and subsystems in order to cope with the design complexity; and iv) ensuring correct coordination of the system with its environment. Several techniques have been proposed over the years to cope with specific problems. LÄS MER

  3. 2. Engineering Trustworthy Self-Adaptive Autonomous Systems

    Författare :Piergiuseppe Mallozzi; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Machine Learning; Monitoring and enforcement.; Automotive; System Trustworthiness; Autonomous Systems; Runtime verification; Formal Verification;

    Sammanfattning : Autonomous Systems (AS) are becoming ubiquitous in our society. Some examples are autonomous vehicles, unmanned aerial vehicles (UAV), autonomous trading systems, self-managing Telecom networks and smart factories. LÄS MER

  4. 3. Towards an assessment of safety and security interplay in automated driving systems

    Författare :Martin Skoglund; Hans Hansson; Sasikumar Punnekkat; Fredrik Warg; Georg Macher; Mälardalens universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Functional Safety; Cybersecurity; Automotive; Automated Drivning; Assessment; Computer Science; datavetenskap;

    Sammanfattning : We are currently in the midst of significant changes in the road transport system, including the transformation to fossil-free propulsion and the shift to higher levels of automation. The next level in automation is soon upon us and is encompassed by the broader term Connected, Cooperative and Automated Mobility (CCAM) which is relevant for the entire transportation system. LÄS MER

  5. 4. Learning-by-modeling : Novel Computational Approaches for Exploring the Dynamics of Learning and Self-governance in Social-ecological Systems

    Författare :Emilie Lindkvist; Maja Schlüter; Jon Norberg; Örjan Ekeberg; James Dyke; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Complex adaptive systems; Renewable resources; Adaptive management; Small-scale fisheries; Artificial intelligence; Reinforcement learning; Agent-based modeling; agent-baserade modeller; artificiell intelligens; social-ekologiska system; komplexa adaptiva system; förnyelsebara naturresurser; adaptiv förvaltning; Sustainability Science; vetenskap om hållbar utveckling;

    Sammanfattning : As a consequence of global environmental change, sustainable management and governance of natural resources face critical challenges, such as dealing with non-linear dynamics, increased resource variability, and uncertainty. This thesis seeks to address some of these challenges by using simulation models. LÄS MER

  7. 5. Authentic Communication and Trustworthy Location in Mobile Networks

    Författare :Felipe Boeira; Mikael Asplund; Marinho Barcellos; Alexey Vinel; Panos Papadimitratos; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Widespread mobile network connectivity has changed society and, consequently, increased our dependency on its proper functioning for transportation, safety, finance, and more. This thesis is concerned with improving the security of mobile networks and focuses on two such instances: vehicular and cellular networks. LÄS MER