Sökning: "Operativsystem"

Visar resultat 1 - 5 av 6 avhandlingar innehållade ordet Operativsystem.

  1. 1. Performance and Implementation Complexity in Multiprocessor Operating System Kernels

    Författare :Simon Kågström; Blekinge Tekniska Högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Operativsystem; multiprocessorer; implementationskomplexitet;

    Sammanfattning : The increasing use of multiprocessor computers require operating system adaptations to take advantage of the computing power. However, porting an operating system kernel to run on a multiprocessor can be very difficult because of a large code base, concurrency issues when dealing with multiple threads of execution, and limited tool support for development. LÄS MER

  3. 2. Towards a Multi-OS Architecture for Consistent User Interface Experience

    Författare :Tobias Holstein; Gordana Dodig-Crnkovic; Christian Berger; Elina Vartiainen; Manh Tien Tran; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

    Sammanfattning : Vehicles have greatly changed over the last decades. Originally, they were used as a means of transportation, and their drivers were solely engaged in the driving task. In modern cars the user, i.e. LÄS MER

  4. 3. Proving Safety and Security of Binary Programs

    Författare :Andreas Lindner; Roberto Guanciale; Mads Dam; Tamara Rezk; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Binary Code; Binary Analysis; Formal Verification; Model-Based Testing; Theorem Proving; HOL4; Intermediate Language; Instruction Set Architectures; ISA; Observational Models; Symbolic Execution; Weakest-Precondition; Execution Time Analysis; binärkod; binärkodsanalys; formell verifiering; modellbaserad testning; satsbevisning; HOL4; mellankod; instruktionsuppsättningar; ISA; observationsmodeller; symbolisk exekvering; minst restriktiva villkoret; analys av övre tidsgräns; Datalogi; Computer Science;

    Sammanfattning : With the increasing ubiquity of computing devices, their correct and secure operation is of growing importance. In particular, critical components that provide core functionalities or process sensitive data have to operate as intended. LÄS MER

  5. 4. No Hypervisor Is an Island : System-wide Isolation Guarantees for Low Level Code

    Författare :Oliver Schwarz; Mads Dam; Christian Gehrmann; Gerwin Klein; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Platform Security; Hypervisor; Formal Verification; Theorem Proving; HOL4; DMA; Peripheral Devices; Instruction Set Architectures; ISA; Information Flow; Boot; Computer Science; Datalogi;

    Sammanfattning : The times when malware was mostly written by curious teenagers are long gone. Nowadays, threats come from criminals, competitors, and government agencies. Some of them are very skilled and very targeted in their attacks. LÄS MER

  7. 5. Improving Development of Communication Software in Industrial Control Systems using Simulation

    Författare :Niclas Ericsson; Mats Björkman; Johan Åkerberg; Thomas Lennvall; Per Hurtig; RISE; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Sciences; Datavetenskap datalogi ;

    Sammanfattning : In the industrial domain customers expect a product longevity of 10-20 years, with high reliability and availability. Since industrial distributed control systems often are safety critical, aspects such as determinism, low latency and jitter are crucial. LÄS MER