Search for dissertations about: "Datorteknik"
Showing result 11 - 15 of 431 swedish dissertations containing the word Datorteknik.
-
11. Practical verification of real-time systems
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
-
12. On-chip monitoring for non-intrusive hardware/software observability
Abstract : The increased complexity in today's state-of-the-art computer systems make them hard to analyse, test, and debug. Moreover, the advances in hardware technology give system designers enormous possibilities to explore hardware as a means to implement performance demanding functionality. READ MORE
-
13. A Modular Tool Architecture for Worst-Case Execution Time Analysis
Abstract : Estimations of the Worst-Case Execution Time (WCET) are required in providing guarantees for timing of programs used in computer controlled products and other real-time computer systems. To derive program WCET estimates, both the properties of the software and the hardware must be considered. READ MORE
-
14. Interprocess communication utilising special purpose hardware
Abstract : Real-Time Systems are computer systems with constraints on the timing of actions. To ease the development and maintenance of application software, Real-time Systems often make use of a Real-Time Operating System (RTOS). Its main task is scheduling of application processes (tasks). READ MORE
-
15. An Indirection Architecture for the Internet
Abstract : We present an indirection architecture for the Internet called SelNet. SelNet provides a uniform indirection mechanism for controlling the route that packets take through the network and which functions are invoked to process these packets. READ MORE