Search for dissertations about: "real-time calculus"

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

  1. 1. A calculus of real time systems

    Author : Yi Wang; [1991]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; timed calculi; Milner s CCS; process algebras; real time systems;

    Abstract : .... READ MORE

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

    University dissertation from Luleå : Luleå tekniska universitet

    Author : Viktor Leijon; [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

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

    University dissertation from Luleå : Luleå tekniska universitet

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

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

    University dissertation from Luleå : Luleå tekniska universitet

    Author : Xing Fan; [2007]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; schedulability analysis; packet-switching; real-time communication; active networking; protocol overhead; FCFS and EDF scheduling; switched Ethernet; embedded systems;

    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

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

    University dissertation from Gothenburg : Chalmers university of technology

    Author : Xing Fan; [2007]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems; real-time communication; packet-switching; swithed Ethernet; FCFS and EDF scheduling; schedulability analysis; active networking; protocol overhead; TECHNOLOGY Information technology Computer science Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap Datalogi; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik 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