Sökning: "UPPAAL"

Visar resultat 1 - 5 av 16 uppsatser innehållade ordet UPPAAL.

  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 Comparative Analysis of Dynamic Software Update Methods in regard to Safety-critical Systems

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

    Författare :Max Enelund; Dennis Karlberg; Niklas le Comte; [2017-09-18]
    Nyckelord :Dynamic software update; Safety-critical; Code relinking; Reference indirection; Experiment; model checking;

    Sammanfattning : Software is an ever evolving product that is updatedto extend the functionality and to reduce bugs within a system.Many systems are required to maintain a high availability toprovide their services. Dynamic software update is a mechanismwhich allows the software to be updated during run-time. 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. 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 :Automatic test generation; UPPAAL SMC; Model-based testing; Mutation Analysis; MATS;

    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

  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