Sökning: "automatiserad modellverifiering"

Hittade 2 uppsatser innehållade orden automatiserad modellverifiering.

  1. 1. Analys av simulation för implementationer i en automatiserad verkstad

    M1-uppsats, KTH/Hälsoinformatik och logistik

    Författare :Robert Kärrbrant; Daniel Labriz; [2019]
    Nyckelord :Mathematics; simulation; model verification; random numbers; assembly lines; Matematik; simulering; modellverifiering; slumpmässiga tal; monteringslina;

    Sammanfattning : En verkstad som tillverkar växellådor planerade att bygga om verkstaden. Det fanns flera problem i verkstaden som indirekt påverkade produktionen. Att tåg stod stilla utan att göra ett aktivt arbete på en huvudled i verkstaden sågs som ett stort problem. Ett annat problem var att det fanns för många tåg i verkstaden. LÄS MER

  3. 2. Formal Verification of a LTE Security Protocol for Dual-Connectivity : An Evaluation of Automatic Model Checking Tools

    Master-uppsats, KTH/Radio Systems Laboratory (RS Lab)

    Författare :Katharina Pfeffer; [2014]
    Nyckelord :security; authenticated key-exchange; 3GPP; LTE; formal methods; protocol verification; automated model checking; säkerhet; autentiserad etablering av nycklar; 3GPP; LTE; formella metoder; protokollverifiering; automatiserad modellverifiering;

    Sammanfattning : Security protocols are ubiquitously used in various applications with the intention to ensure secure and private communication. To achieve this goal, a mechanism offering reliable and systematic protocol verification is needed. LÄS MER