Essays about: "dependability analysis"

Showing result 1 - 5 of 34 essays containing the words dependability analysis.

  1. 1. Advancements in Dependability Analysis of Safety-Critical Systems : Addressing Specification Formulation and Verification Challenges

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Zelin Yu; [2023]
    Keywords : Specification theory; Contracts; Automata theory; Refinement; Specifikationsteori; Kontrakt; Automatteori; Förfina;

    Abstract : Safety-critical systems have garnered increasing attention, particularly regarding their dependability analysis. In modern times, these systems comprise numerous components, making it crucial to verify that lower-level components adhere to their specifications will ensure the overall system’s compliance with its top-level specification. READ MORE

  3. 2. Energy demand and biogas production in rural areas : A case study in the Raqayapampa community in Bolivia

    University essay from KTH/Skolan för industriell teknik och management (ITM)

    Author : Halvor Solheim Haugen; Noel Arancibia Holm; [2023]
    Keywords : ;

    Abstract : Improved access to energy can greatly improve living standards, and there are correlations between increased access to electricity and higher scores on both the Human Development Index (HDI) and the Educational Development Index (EDI). Increasing access to energy can also help decrease dependability on hazardous fuels and energy sources, such as firewood for cooking. READ MORE

  4. 3. Improving Dependability of Space-Cloud Payload Processor by Storage System

    University essay from Mälardalens universitet/Akademin för innovation, design och teknik

    Author : Hassan Said; Stephanie Liza Johansson; [2023]
    Keywords : Fault tolerant; Markov analysis; Onboard processing; SSD array architecture; SSD; EDAC; RAID; Hamming code; Reed Solomon; Dependability evaluation; File systems; ZFS; Ext4.;

    Abstract : Due to the usage of complicated platforms and current high-performance space computing technology, onboard processing in small satellites is expanding. Space-cloud payload processors with Commercial Off-The-Shelf (COTS) components, that are required to be radiation-tolerant, are used to perform the onboard processing. READ MORE

  5. 4. Comparative Analysis of Language Models: hallucinations in ChatGPT : Prompt Study

    University essay from Linnéuniversitetet/Institutionen för datavetenskap och medieteknik (DM)

    Author : Elias Hanna; Alija Levic; [2023]
    Keywords : Large Language Models; Hallucinations; ChatGPT; Stora Språkmodeller; Hallucinationer; ChatGPT;

    Abstract : This thesis looks at the percentage of hallucinations in two large language models (LLM), ChatGPT 3.5 and ChatGPT 4 output for a set of prompts. This work was motivated by two factors: the release of ChatGPT 4 and its parent company OpenAI, claiming it to be much more potent than its predecessor ChatGPT 3. READ MORE

  6. 5. Drone Flight Controller Reliability Analysis within EU Standardization

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Ke Wei-Heng; [2023]
    Keywords : EASA; SORA Process; Reliability; Fault tolerance; Flight Controller; SITL; EASA; SORA Process; Tillförlitlighet; Feltolerans; Flight Controller; SITL;

    Abstract : As the drone market expands, the corresponding standardization follows. Drone standardization can vary geographically based on the regulations and requirements of different areas. READ MORE