Sökning: "Mikael Sjödin"

Visar resultat 1 - 5 av 18 avhandlingar innehållade orden Mikael Sjödin.

  1. 1. Predictable high-speed communications for distributed real-time systems

    Författare :Mikael Sjödin; Uppsala universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; Information technology; Informationsteknik; Computer Systems; Datorteknik;

    Sammanfattning : The ubiquitous use of computers in modern society is rapidly changing our way of life. In many existing and emerging applications the timely response to events is of utmost importance. Consider for instance a modern vehicle with embedded computers that must react to driver commands within well specified timing tolerances. LÄS MER

  2. 2. Hierarchical Real Time Scheduling and Synchronization

    Författare :Moris Behnam; Mikael Sjödin; Thomas Nolte; Björn Andersson; Mälardalens högskola; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Computer engineering; Datorteknik; Datavetenskap;

    Sammanfattning :   The Hierarchical Scheduling Framework (HSF) has been introduced to enable compositional schedulability analysis and execution of embedded software systems with real-time constraints. In this thesis, we consider a system consisting of a number of semi-independent components called subsystems, and these subsystems are allowed to share logical resources. LÄS MER

  3. 3. Synchronization Protocols for a Compositional Real-Time Scheduling Framework

    Författare :Moris Behnam; Thomas Nolte; Mikael Sjödin; Giuseppe Lipare; Mälardalens högskola; []
    Nyckelord :Computer Science; datavetenskap;

    Sammanfattning : In this thesis we propose techniques to simplify the integration of subsystems while minimizing the overall amount of CPU resources needed to guarantee the schedulability of real-time tasks. In addition, we provide solutions to the problem of allowing for the use of logical resources requiring mutual exclusion. LÄS MER

  4. 4. A Study of Combinatorial Optimization Problems in Industrial Computer Systems

    Författare :Markus Bohlin; Björn Lisper; Per Kreuger; Mikael Sjödin; Petru Eles; Mälardalens högskola; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; Computer science; Datalogi; Computer Science; datavetenskap;

    Sammanfattning : A combinatorial optimization problem is an optimization problem where the number of possible solutions are finite and grow combinatorially with the problem size. Combinatorial problems exist everywhere in industrial systems. LÄS MER

  5. 5. A Model-driven Development Approach with Temporal Awareness for Vehicular Embedded Systems

    Författare :Alessio Bucaioni; Mikael Sjödin; Matthias Tichy; Mälardalens högskola; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; TEKNIK OCH TEKNOLOGIER; NATURAL SCIENCES; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Sammanfattning : Considering the ubiquitousness of software in modern vehicles, its increased value and development cost, an efficient software development became of paramount importance for the vehicular domain. It has been identified that early verification of non functional properties of  vehicular embedded software such as, timing, reliability and safety, is crucial to efficiency. LÄS MER