Search for dissertations about: "black-box model"

Showing result 1 - 5 of 71 swedish dissertations containing the words black-box model.

  2. 1. Model-Based Test Case Generation for Real-Time Systems

    Author : Anders Hessel; Paul Pettersson; Bengt Jonsson; Bernhard K. Aichernig; Uppsala universitet; []
    Keywords : Model-Based Testing; Model Checking; Coverage Criteria; Real-Time Systems; Black-Box Testing; Timed Automata; Test Case Generation; Conformance Testing;

    Abstract : Testing is the dominant verification technique used in the software industry today. The use of automatic test case execution increases, but the creation of test cases remains manual and thus error prone and expensive. To automate generation and selection of test cases, model-based testing techniques have been suggested. READ MORE

  4. 2. Demystifying the Black Box - Exploring How Users Make Sense of Fully Automated Vehicles

    Author : Mikael Johansson; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; HUMANIORA; HUMANITIES; NATURVETENSKAP; NATURAL SCIENCES; Automated vehicles; Driving Automation; Meaning; Conceptual model; Make sense; Product semantics; Signifiers; Understanding;

    Abstract : Vehicles are becoming increasingly automated. Already today vehicles are able to take over and assist the human driver in certain driving tasks, and the scope of technical possibilities is rapidly expanding. However, for the proliferation of AVs to occur, there are several challenges that must first be overcome. READ MORE

  5. 3. Recursive black-box identification of nonlinear state-space ODE models

    Author : Linda Brus; Bengt Carlsson; Torbjörn Wigren; Uppsala universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Elektroteknik med inriktning mot reglerteknik; Electrical Engineering with specialization in Automatic Control;

    Abstract : Nonlinear system identification methods is a topic that has been gaining interest over the last years. One reason is the many application areas in controller design and system development. However, the problem of modeling nonlinear systems is complex and finding a general method that can be used for many different applications is difficult. READ MORE

  6. 4. NADH:quinone oxidoreductase: the black box of the respiratory chain

    Author : Robert Roth; Biokemi och Strukturbiologi; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NADH:quinone oxidoreductase; Complex I; electron transport; membrane protein; ubiquinone; respiratory chain; respiration; metabolism; Metabolism; Biokemi; Biochemistry;

    Abstract : Complex I or NADH:quinone oxidoreductase the largest, most complex and least understood of the five membrane-bound enzyme complexes constituting the mitochondrial respiratory chain. The enzyme is present in all types of organisms, from bacteria to mammals. READ MORE

  7. 5. Towards Automated Software Testing : Techniques, Classifications and Frameworks

    Author : Richard Torkar; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; automated software testing; black box; white box; comparisons; classifications;

    Abstract : Software is today used in more and different ways than ever before. From refrigerators and cars to space shuttles and smart cards. As such, most software, usually need to adhere to a specification, i.e. READ MORE