Search for dissertations about: "Computer Science with specialization in Real Time Systems"

Showing result 1 - 5 of 12 swedish dissertations containing the words Computer Science with specialization in Real Time Systems.

  1. 1. Real-Time Workload Models : Expressiveness vs. Analysis Efficiency

    Author : Martin Stigge; Wang Yi; Sanjoy Baruah; Uppsala universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Real-time systems; task models; EDF; fixed-priority scheduling; schedulability analysis; response-time analysis; abstraction refinement; Datavetenskap med inriktning mot realtidssystem; Computer Science with specialization in Real Time Systems;

    Abstract : The requirements for real-time systems in safety-critical applications typically contain strict timing constraints. The design of such a system must be subject to extensive validation to guarantee that critical timing constraints will never be violated while the system operates. READ MORE

  2. 2. Autonomous Agents and the Concept of Concepts

    Author : Paul Davidsson; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURAL SCIENCES; Artificial intelligens; Data- och systemvetenskap; computer technology; Systems engineering; Adaptive Behavior; Anticipation; Cognitive Modeling; Concept Representation; Concept Learning; Artificial Intelligence; Autonomous Agents; Artificiell intelligens;

    Abstract : This thesis has two main themes, autonomous agents and concepts. An autonomous agent is a system capable of interacting with its environment via its own sensors and effectors in order to accomplish some task. Arguments against both purely reactive and purely deliberative agent architectures are presented in favor for hybrid approaches. READ MORE

  3. 3. Hierarchical Modeling and Analysis of Real Time Systems

    Author : Alexandre David; Wang Yi; Purush Iyer; Uppsala universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Computer Science with specialization in Real Time Systems; Computer science; Datavetenskap;

    Abstract : UPPAAL is a tool for model-checking real-time systems developed jointly by Uppsala University and Aalborg University. It has been applied successfully in case studies ranging from communication protocols to multimedia applications. The tool is designed to verify systems that can be modeled as networks of timed automata. READ MORE

  4. 4. New Techniques for Building Timing-Predictable Embedded Systems

    Author : Nan Guan; Wang Yi; Lothar Thiele; Uppsala universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Real-time systems; WCET analysis; cache analysis; abstract interpretation; multiprocessor scheduling; fixed-priority scheduling; EDF; multi-core processors; response time analysis; utilization bound; real-time calculus; scalability; Datavetenskap med inriktning mot realtidssystem; Computer Science with specialization in Real Time Systems;

    Abstract : Embedded systems are becoming ubiquitous in our daily life. Due to close interaction with physical world, embedded systems are typically subject to timing constraints. At design time, it must be ensured that the run-time behaviors of such systems satisfy the pre-specified timing constraints under any circumstance. READ MORE

  5. 5. Models and Complexity Results in Real-Time Scheduling Theory

    Author : Pontus Ekberg; Wang Yi; Alberto Marchetti-Spaccamela; Uppsala universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Real-time systems; Scheduling theory; Task models; Computational complexity; Datavetenskap med inriktning mot inbyggda system; Computer Science with specialization in Embedded Systems;

    Abstract : When designing real-time systems, we want to prove that they will satisfy given timing constraints at run time. The main objective of real-time scheduling theory is to analyze properties of mathematical models that capture the temporal behaviors of such systems. READ MORE