Search for dissertations about: "synchronous data flow"

Showing result 1 - 5 of 12 swedish dissertations containing the words synchronous data flow.

2. 1. Types for Crash Preventionn

   Author : Lars Pareto; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; reliability; dependability; concurrent programming; denotational semantics; real-time systems and embedded systems; data-flow; dynamic storage management; applicative functional programming languages ; type systems;

   Abstract : This thesis seeks to strengthen the capabilities of static polymorphic type-checking (as known from typed lambda calculus and functional programming) to allow a larger class of programming errors to be caught at compile time: the goal is to not only prevent illegal uses of data, but to also errors that lead to busy-loops, deadlocks, stack-overflows and heap-overflows. The thesis exploits that, for recursive programs, many correctness properties (including freedom from errors leading to busy-loops, etc. READ MORE

4. 2. Securing Interactive Systems

   Author : Willard Thor Rafnsson; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; program analysis; concurrency; multi-threading; covert channels; semantics-based security; language-based security; information-flow security; runtime enforcement; parallelism; scheduling; program transformation; information-flow control; fairness;

   Abstract : This thesis provides means to achieve end-to-end information-flow security in interactive systems. The elusiveness of this problem stems from the fact that interaction patterns, primitives, synchronous communication and nondeterminism combine in ways where seemingly innocuous systems compromise security in unexpected ways under interaction. READ MORE

5. 3. Adaptive and Resource-Efficient Systems for the Internet of Things

   Author : Laura Harms; Chalmers tekniska högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Time-Synchronization; Routing; Opportunistic Routing; Industrial Internet of Things; Bluetooth Low Energy; Internet of Things; IEEE 802.15.4; TinyML; IIoT; TSCH; Centralized Scheduling; BLE; Time-Slotted Channel Hopping; IoT; Synchronous Transmissions;

   Abstract : With the growing number of Internet of Things (IoT) devices and the emergence of the Industrial Internet of Things (IIoT), there is a growing demand for adaptive and resource-efficient wireless communication protocols and systems. Industrial networks play a crucial role in monitoring pipelines and facilitating communication among collaborating devices, such as robots in a smart factory. READ MORE

6. 4. Towards a Trustworthy Stack: Formal Verification of Low-Level Hardware and Software

   Author : Ning Dong; Roberto Guanciale; Mads Dam; Magnus Myreen; KTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Formal Verification; Information Flow; Refinement; Interactive Theorem Prover; HOL4; Serial Interface; Pipelined Processor; Microarchitecture; Out-of-order Execution; Formell Verifiering; Informationsflöde; Förfining; Interaktiva Bevisprogrammet; HOL4; Seriellt Gränssnitt; Pipelined Processor; Mikroarkitektur; Omordnad Exekvering; Datalogi; Computer Science;

   Abstract : Computer systems, consisting of hardware and software, have gained significant importance in the digitalised world. These computer systems rely on critical components to provide core functionalities and handle sensitive data. READ MORE

7. 5. Performance Analysis and Implementationof Predictable Streaming Applications onMultiprocessor Systems-on-Chip

   Author : Jun Zhu; Ingo Sander; Axel Jantsch; Shuvra Bhattacharyya; KTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Performance analysis; streaming applications; multprocessor; systems-on-chip; Information technology; Informationsteknik; SRA - ICT; SRA - Informations- och kommunikationsteknik;

   Abstract : Driven by the increasing capacity of integrated circuits, multiprocessorsystems-on-chip (MPSoCs) are widely used in modern consumer electron-ics devices. In this thesis, the performance analysis and implementationmethodologies are explored to design predictable streaming applications onMPSoCs computing platforms. READ MORE