Search for dissertations about: "real-time verification"

Showing result 1 - 5 of 42 swedish dissertations containing the words real-time verification.

  1. 1. Real Time Drag Minimization

    University dissertation from Stockholm : KTH

    Author : Marianne Jacobsen; KTH.; [2006]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Aeronautics; optimization; experimental verification; TECHNOLOGY Engineering mechanics Vehicle engineering; TEKNIKVETENSKAP Teknisk mekanik Farkostteknik;

    Abstract : This thesis focuses on the use of multiple redundant control surfaces to increase performance during flight. There is no clear-cut definition of performance. It may differ between applications, but here, the amount of drag for a given flight condition is used. READ MORE

  2. 2. Design and Verification of Component Based Real-Time Systems

    University dissertation from Uppsala : Acta Universitatis Upsaliensis

    Author : John Håkansson; Uppsala universitet.; Uppsala universitet.; [2009]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Component Based Software; Real-Time Systems; Model Checking; Verification; Timed Automata; Embedded Systems; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap; Datavetenskap; Computer Science;

    Abstract : The design of embedded real-time systems is becoming more and more challengingdue to the increasing complexity of new hardware platforms, requirements onnew system functionality, and economical constraints on system development.Component based design has been successful for the development of general-purposecomputer systems such as destop and e-business. READ MORE

  3. 3. Consolidating Automotive Real-Time Applications on Many-Core Platforms

    University dissertation from Västerås : Malardalen University

    Author : Matthias Becker; Mälardalens högskola.; [2017]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Many-Core; Automotive; Network-on-Chip; Real-Time; Timing analysis; Computer Science; datavetenskap;

    Abstract : Automotive systems have transitioned from basic transportation utilities to sophisticated systems. The rapid increase in functionality comes along with a steep increase in software complexity. This manifests itself in a surge of the number of functionalities as well as the complexity of existing functions. READ MORE

  4. 4. Practical verification of real-time systems

    University dissertation from Uppsala University

    Author : Alexandre David; Uppsala universitet.; Uppsala universitet.; [2001]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Abstract : Formal methods are becoming mature enough to be used on nontrivial examples. They are particularly well fitted for real-time systems whose correctness is defined in terms of correct responses at correct times. Most common real-time systems are of reasonable size and can therefore be handled by an automatic verification tool such as Uppaal. READ MORE

  5. 5. Verification and Scheduling Techniques for Real-Time Embedded Systems

    University dissertation from Institutionen för datavetenskap

    Author : Luis Alejandro Cortés; Linköpings universitet.; Linköpings universitet.; [2005]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer systems; Embedded computer systems; real-time systems; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap;

    Abstract : Embedded computer systems have become ubiquitous. They are used in a wide spectrum of applications, ranging from household appliances and mobile devices to vehicle controllers and medical equipment. READ MORE