Search for dissertations about: "real-time calculus"

Showing result 1 - 5 of 6 swedish dissertations containing the words real-time calculus.

  1. 1. A time constrained real-time process calculus

    University dissertation from Luleå : Luleå tekniska universitet

    Author : Viktor Leijon; Luleå tekniska universitet.; [2008]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Inbyggda system; Embedded System;

    Abstract : There are two important questions to ask regarding the correct execution of a real-time program: (i) Is there a platform such that the program executes correctly? (ii) Does the program execute correctly on a particular platform? The execution of a program is correct if all actions are taken within their execution window, i.e. READ MORE

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

    University dissertation from Uppsala : Acta Universitatis Upsaliensis

    Author : Nan Guan; Uppsala universitet.; Uppsala universitet.; [2013]
    Keywords : 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

  3. 3. Real-Time Services in Packet-Switched Networks for Embedded Applications

    University dissertation from Gothenburg : Chalmers university of technology

    Author : Xing Fan; Högskolan i Halmstad.; [2007]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TECHNOLOGY Information technology Computer science Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap Datalogi; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap; embedded systems; real-time communication; packet-switching; swithed Ethernet; FCFS and EDF scheduling; schedulability analysis; active networking; protocol overhead; switched Ethernet;

    Abstract : Embedded applications have become more and more complex, increasing the demands on the communication network. For reasons such as safety and usability, there are real-time constraints that must be met. Also, to offer high performance, network protocols should offer efficient user services aimed at specific types of communication. READ MORE

  4. 4. A Timely Journey Through the Cloud

    University dissertation from Department of Automatic Control, Lund Institute of Technology, Lund University

    Author : Victor Millnert; Lunds universitet.; Lund University.; Lunds universitet.; Lund University.; [2019-09-13]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Real-Time Systems; Cloud; End-to-End Deadlines; Control Theory; Dynamic Networks; AutoSAC; Horizontal Scaling; Admission Control; Virtual Network Functions; Forwarding Chains; Network Calculus;

    Abstract : This thesis treats the intersection between two of the largest transformations we are seeing within our society today; the cloud and the Internet-of-Things (IoT). The aim of this thesis is to investigate different ways to model and control a network of cloud services so that timing-critical IoT applications can make use of them. READ MORE

  5. 5. Fair Scheduling and Resource Allocation in Packet Based Radio Access Networks

    University dissertation from Department of Communication Systems, Lund University

    Author : Torgny Holmberg; Lunds universitet.; Lund University.; [2003]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Telecommunication engineering; HiperAccess; network calculus; fairness; Scheduling; resource allocation; Telekommunikationsteknik;

    Abstract : Wireless communication systems are by nature and by regulations limited in bandwidth and are therefore limited in capacity. Services with Quality of Service (QoS) requirements will enforce a more efficient utilisation of the available capacity. READ MORE