Search for dissertations about: "thesis on real time testing"

Showing result 6 - 10 of 145 swedish dissertations containing the words thesis on real time testing.

  1. 6. A Mutation-based Framework for Automated Testing of Timeliness

    Author : Robert Nilsson; Sten F. Andler; Michael G. Hinchey; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Automated Testing; Timeliness; Real-time systems; Time constraints; Model-based; Mutation testing; Computer science; Datalogi;

    Abstract : A problem when testing timeliness of event-triggered real-time systems is that response times depend on the execution order of concurrent tasks. Conventional testing methods ignore task interleaving and timing and thus do not help determine which execution orders need to be exercised to gain confidence in temporal correctness. READ MORE

  2. 7. Distributed vehicle testing : dynamic simulation for automotive winter testing

    Author : Mikael Nybacka; Luleå tekniska universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Funktionella produkter; Functional Product Development;

    Abstract : Today, rather than provide parts similar to their competitors and rely on one or two automakers, successful automotive component suppliers focus heavily on innovation and collaboration with several manufacturers in a global market. In this thesis, an as-is scenario for automotive winter testing is presented. READ MORE

  3. 8. On Subscale Flight Testing : Applications in Aircraft Conceptual Design

    Author : Alejandro Sobron; Petter Krus; David Lundström; Zdobyslaw Goraj; Linköpings universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : Downscaled physical models, also referred to as subscale models, have played an essential role in the investigation of the complex physics of flight until the recent disruption of numerical simulation. Despite the fact that improvements in computational methods are slowly pushing experimental techniques towards a secondary role as verification or calibration tools, real-world testing of physical prototypes still provides an unmatched confidence. READ MORE

  4. 9. Verification Based Failure Detection for Real-Time Java and Floating-Point Computations

    Author : Gabriele Paganelli; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Debugging; Floating-Point; Formal Methods; Testing; Real-Time Java; Coverage; Satisfiability Modulo Theories; Certification; Formal Specification;

    Abstract : To err is human, and machines help us avoiding errors. This thesis presents two ways, based on verification technology, to prevent failures.Safety critical Real-Time Java applications usually need a certification. Tests fulfilling specific coverage criteria can be part of such certification, like in the DO-178 standard. READ MORE

  5. 10. On subscale flight testing : Cost-effective techniques for research and development

    Author : Alejandro Sobrón Rueda; Petter Krus; David Lundström; Mirko Hornung; Linköpings universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : Experiments with downscaled or subscale physical models have traditionally been an essential source of information in aerospace research and development. Physical models are very effective at revealing unforeseen issues and providing confidence in design predictions or hypotheses. READ MORE