Sökning: "system specification"

Visar resultat 1 - 5 av 589 uppsatser innehållade orden system specification.

  1. 1. Challenges in Specifying Safety-Critical Systems with AI-Components

    Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Iswarya Malleswaran; Shruthi Dinakaran; [2023-09-26]
    Nyckelord :Software engineering; Requirement engineering; Specification; Safety; Computer Science; Engineering; Machine learning; Deep learning; Runtime monitor; Data Selection; Data Collection;

    Sammanfattning : Safety is an important feature in automotive industry. Safety critical system such as Advanced Driver Assistance System (ADAS) and Autonomous Driving (AD) follows certain processes and procedures in order to perform the desired function safely. LÄS MER

  3. 2. Ett användbart intranät : Analys och ombyggnad av ett intranät i SharePoint och SPFx

    M1-uppsats, Mittuniversitetet/Institutionen för data- och elektroteknik (2023-)

    Författare :Lina Petersson; [2023]
    Nyckelord :SharePoint; SharePoint Framework SPFx ; intranät; användbarhet;

    Sammanfattning : The purpose of this project has been to create a structured intranet with high usability for BorgWarner Landskronas department Validation and its sub departments. The company uses SharePoint and based on analyses made SharePoint pages have been created and extra functionality has been developed using SharePoint Framework. LÄS MER

  4. 3. Code Synthesis for Heterogeneous Platforms

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Zhouxiang Fu; [2023]
    Nyckelord :Code Synthesis; Heterogeneous Platform; Zero-Overhead Topology Infrastructure; Kodsyntes; Heterogen plattform; Zero-Overhead Topologi Infrastruktur;

    Sammanfattning : Heterogeneous platforms, systems with both general-purpose processors and task-specific hardware, are largely used in industry to increase efficiency, but the heterogeneity also increases the difficulty of design and verification. We often need to wait for the completion of all the modules to know whether the functionality of the design is correct or not, which can cause costly and tedious design iteration cycles. LÄS MER

  5. 4. Investigations and Development in the Area of Automated Security Evaluation of Android Devices with Focus on Bluetooth

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Robin Holmquist; [2023]
    Nyckelord :Bluetooth; Android; Common Criteria; Automated dynamic security evaluation; Mobile device security; Bluetooth; Android; Common Criteria; Automatiserad dynamisk s¨akerhetstestning; S¨akerhet f¨or mobila enheter;

    Sammanfattning : Bluetooth is a technology that has been implemented in over 5 billion devices and therefore has a considerable impact. It is the dominant technology for shortrange wireless communication. LÄS MER

  7. 5. A requirements engineering approach in the development of an AI-based classification system for road markings in autonomous driving : a case study

    Master-uppsats, Blekinge Tekniska Högskola/Institutionen för programvaruteknik

    Författare :Srija Sunkara; [2023]
    Nyckelord :Requirements Engineering; Machine Learning; Goal-Oriented Requirements Engineering; Autonomous Driving; Point Cloud Classification;

    Sammanfattning : Background: Requirements engineering (RE) is the process of identifying, defining, documenting, and validating requirements. However, RE approaches are usually not applied to AI-based systems due to their ambiguity and is still a growing subject. LÄS MER