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

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

2. 16. On Falsification of Large-Scale Cyber-Physical Systems

   Author : Johan Lidén Eddeland; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Test Coverage; Testing; Optimization; Simulation-Based Verification; Formal Requirements; Cyber-Physical Systems; Falsification;

   Abstract : In the development of modern Cyber-Physical Systems, Model-Based Testing of the closed-loop system is an approach for finding potential faults and increasing quality of developed products. Testing is done on many different abstraction levels, and for large-scale industrial systems, there are several challenges. READ MORE

4. 17. Programming Language Primitives and Tools for Integrated Real-Time Systems Development

   Author : Saranya Natarajan; David Broman; Haibo Zeng; KTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Real-Time System; Programming Language; Compiler; Informations- och kommunikationsteknik; Information and Communication Technology;

   Abstract : The correctness of real-time systems depends on both its logical and temporal correctness. Typically, real-time systems are developed in several steps. First, the application is divided into a number of recurrent tasks and implemented using a programming language. READ MORE

5. 18. Response time analysis for implementation of distributed control systems

   Author : Ola Redell; KTH; []
   Keywords : real-time systems; response time analysis; control systems; control jitter;

   Abstract : Methods for performing response time analysis of real-timesystems are important, not only for their use in traditionalschedulability testing, but also for deriving bounds on outputtiming variations in control applications. Automatic controlsystems are inherently sensitive to variations in periodicityand end-to-end delays. READ MORE

6. 19. Towards Augmented Exploratory Testing

   Author : Stefan Karlsson; Adnan Causevic; Sundmark Daniel; Emil Alégroth; Mälardalens universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

   Abstract : Software systems have an increasing presence in our society. With our infrastructure, such as food and water supply, controlled by complex software systems, it is essential to keep failures to a minimum. READ MORE

7. 20. On Complex Hydrostatic Transmissions : Design of a Two-Motor Concept using Computer-Aided Development Tools

   Author : Mikael Sannelius; Jan Wikander; Stockholm Kungliga Tekniska Högskolan; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Abstract : Hydrostatic drives are being used in heavy, low-speed vehicles to an ever-increasing extent. The reason for this is that a number of advantages can be achieved such as stepless gear ratios, simple power distribution and high stiffness. Increased demands have led to an interest for new conceptual designs for hydrostatic transmissions. READ MORE