Sökning: "Timed Automata"

Visar resultat 6 - 10 av 17 uppsatser innehållade orden Timed Automata.

1. 6. 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

3. 7. 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

4. 8. 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

5. 9. Connecting a Design Framework for Service-oriented Systems with UPPAAL model-checker

   Master-uppsats, Akademin för innovation, design och teknik

   Författare :Predrag Filipovikj; [2013]
   Nyckelord :SOS; UPPAAL; REMES; design framework; formal modeling;

   Sammanfattning : In the context of Service-Oriented Systems (SOS), services represent loosely coupled discrete units that can be created, invoked, composed and decomposed upon a client request. In such a setting, where complex systems are composed out of services based on the client request, ensuring the expected level of Quality-of-Service (QoS) becomes a difficult task. LÄS MER

7. 10. GPU-accelerated Model Checking of Periodic Self-Suspending Real-Time Tasks

   Kandidat-uppsats, Akademin för innovation, design och teknik

   Författare :Tim Liberg; Per-Erik Måhl; [2012]
   Nyckelord :GPU; Model Checking; Verification; CUDA; STS; Tree search; GPGPU; Periodic Self-Suspending Tasks; Real-Time; Scheduling; Timed automata;

   Sammanfattning : Efficient model checking is important in order to make this type of software verification useful for systems that are complex in their structure. If a system is too large or complex then model checking does not simply scale, i.e., it could take too much time to verify the system. LÄS MER