Sökning: "Timed Automata"

Visar resultat 1 - 5 av 14 uppsatser innehållade orden Timed Automata.

  1. 1. A Formal Analysis Framework For EAST-ADL Architectural Models Extended With Behavioral Specifications In Simulink

    Magister-uppsats, Mälardalens högskola/Akademin för innovation, design och teknik; Mälardalens högskola/Akademin för innovation, design och teknik

    Författare :Vasja Çollaku; Paolo Shestani; [2019]
    Nyckelord :UPPAAL; EAST-ADL; Simulink; MetaEdit ; Timed Automata; Brake-by-Wire; Model-Driven Development; Model Checking;

    Sammanfattning : Model-Driven Development is a development approach which is being used frequently in the automotive context in order to design models. EAST-ADL is an architectural language which models systems according to their architectural features, whereas Simulink is a tool environment which models systems according to their behavior. LÄS MER

  2. 2. A Mutation Analysis Framework for Simulink Models

    Kandidat-uppsats, Mälardalens högskola/Akademin för innovation, design och teknik

    Författare :Henrik Runge; [2018]
    Nyckelord :mutation; testing; simulink; mutant;

    Sammanfattning : Mutation analysis is a fault-based method used for introducing small changes into a program, producing mutants based on mutation operators, classes of commonly occurring faults. Mutation analysis has been used in the last couple of decades for evaluating how good test cases produced by software testing are at detecting faults. LÄS MER

  3. 3. Automatic Test Generation and Mutation Analysis using UPPAAL SMC

    Kandidat-uppsats, Mälardalens högskola/Akademin för innovation, design och teknik

    Författare :Jonatan Larsson; [2017]
    Nyckelord :UPPAAL SMC; Automatic Testing; Mutation Analysis; Test Generation; Priced Timed Automata; C#;

    Sammanfattning : Software testing is an important process for ensuring the quality of the software. As the complexity of the software increases, traditional means of manual testing becomes increasingly more complex and time consuming. In most embedded systems, designing software with as few errors as possible is often critical. LÄS MER

  4. 4. Analysis of Model-based Testing methods for Embedded Systems

    Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Mehrdad Bagheri; [2016]
    Nyckelord :;

    Sammanfattning : The work presented in this master's thesis is a part of the Artemis-MBAT project. MBAT will provide European industry with a new leading-edge Validation and Verification technology in the form of a Reference Technology Platform (RTP) that will enable the production of high-quality and safe embedded systems at reduced cost in terms of time and money [1]. LÄS MER

  5. 5. Model checking transaction properties for concurrent real-time transactions in UPPAAL

    Magister-uppsats, Mälardalens högskola/Inbyggda system

    Författare :Jinle Li; [2016]
    Nyckelord :Real-time transaction management; MVCC; model-checking; timeliness; isolation;

    Sammanfattning : As a technique to ensure absence of undesired interference in transactional computations, Concurrency Control (CC) guarantees logical data consistency via providing transaction isolation, thus contributing to their dependability. However, single-version CC, which requires that a transaction system always works on the current version of a data item, may introduce unpredictable delays for real-time transactions because of unbounded blocking time which may cause deadline misses. LÄS MER