Search for dissertations about: "Avdelningen För Datorteknik Uppsala Universitet"
Showing result 1 - 5 of 109 swedish dissertations containing the words Avdelningen För Datorteknik Uppsala Universitet.
-
1. Code synthesis for timed automata
Abstract : In this thesis, we study executable behaviours of timed models. The focus is on synthesis of executable code with predictable behaviours from high level abstract models. We assume that a timed system consists of two parts: the control software and the plant (i.e. READ MORE
-
2. Efficient symbolic state exploration of timed systems : Theory and implementation
Abstract : Timing aspects are important for the correctness of safety-critical systems. It is crucial that these aspects are carefully analysed in designing such systems. UPPAAL is a tool designed to automate the analysis process. READ MORE
-
3. Methods for run time analysis of data locality
Abstract : The growing gap between processor clock speed and DRAM access time puts new demands on software and development tools. Deep memory hierarchies and high cache miss penalties in present and emerging computer systems make execution time sensitive to data locality. READ MORE
-
4. 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
-
5. 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
