Search for dissertations about: "artificial intelligence and software testing"

Showing result 1 - 5 of 8 swedish dissertations containing the words artificial intelligence and software testing.

  2. 1. Artificial Intelligence for Monitoring and Diagnosis of Robotic Spacecraft

    Author : David John Atkinson; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; robot plan execution; NASA; ; software systems; artificial intelligence algorithms;

    Abstract : In this thesis the application of artificial intelligence to monitoring and diagnosis of robotic spacecraft is discussed. Several software prototype systems were developed to serve as testbeds for the research and to evaluate the effectiveness of the approach against real problems and current techniques used in NASA's planetary exploration program. READ MORE

  4. 2. Engineering Software for Resilient Cyber-Physical Systems

    Author : Ricardo Diniz Caldas; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : Designing, implementing, and verifying resilient cyber-physical systems is challenging. Resilience is the ability to provide the required capability when facing adversity. READ MORE

  5. 3. Formal Methods for Scalable Synthesis and Verification of Autonomous Systems : Mission Planning and Collision Avoidance

    Author : Rong Gu; Cristina Seceleanu; Kristina Lundqvist; Eduard Paul Enoiu; Rajeev Alur; Mälardalens universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; autonomous agents; synthesis; verification; planning; collision avoidance; formal methods; model checking; Computer Science; datavetenskap;

    Abstract : Autonomous systems (a.k.a., agents) are often designed to move and execute tasks, without or with little human intervention. READ MORE

  6. 4. Securing Information Assets : Understanding, Measuring and Protecting against Social Engineering Attacks

    Author : Marcus Nohlberg; Benkt Wangler; Stewart Kowalski; Angela Sasse; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer and systems science; Data- och systemvetenskap; Computer and Systems Sciences; data- och systemvetenskap; Teknik;

    Abstract : Social engineering denotes, within the realm of security, a type of attack against the human element during which the assailant induces the victim to release information or perform actions they should not. Our research on social engineering is divided into three areas: understanding, measuring and protecting. READ MORE

  7. 5. Hardware/Software Co-Design of Heterogeneous Manycore Architectures

    Author : Süleyman Savas; Tomas Nordström; Zain Ul-Abdin; Jari Nurmi; Högskolan i Halmstad; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; hardware software co-design; manycore architectures; heterogeneous manycores; processor design; parallel computing; high performance computing;

    Abstract : In the era of big data, advanced sensing, and artificial intelligence, the required computation power is provided mostly by multicore and manycore architectures. However, the performance demand keeps growing. Thus the computer architectures need to continue evolving and provide higher performance. READ MORE