Search for dissertations about: "real-time calculus"

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

2. 1. A calculus of real time systems

   Author : Yi Wang; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; timed calculi; Milner s CCS; process algebras; real time systems;

   Abstract : .... READ MORE

4. 2. A time constrained real-time process calculus

   Author : Viktor Leijon; Luleå tekniska universitet; []
   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

5. 3. New Techniques for Building Timing-Predictable Embedded Systems

   Author : Nan Guan; Wang Yi; Lothar Thiele; Uppsala universitet; []
   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

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

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

   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

7. 5. A Timely Journey Through the Cloud

   Author : Victor Millnert; Institutionen för reglerteknik; []
   Keywords : 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