Sökning: "Mälardalens Universitet"

Visar resultat 1 - 5 av 91 avhandlingar innehållade orden Mälardalens Universitet.

  1. 1. Safety Analysis of Systems-of-Systems

    Författare :Stephan Baumgart; Joakim Fröberg; Sasikumar Punnekkat; Iain Bate; Mälardalens universitet; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; System-of-Systems; Safety Analysis; Hazard Analysis; Model-based Development; Computer Science; datavetenskap;

    Sammanfattning : Safety-critical systems may fail dangerously with severe consequences to the health of the involved humans, costly equipment, the environment, or other valuable assets of a stakeholder. For these classes of systems, the developers are obliged to analyze each potentially hazardous situation thoroughly. LÄS MER

  2. 2. Investigation of nitrogen recovery from concentrated wastewater

    Författare :Aubrey Beckinghausen; Monica Odlare; Eva Thorin; Sebastian Schwede; Ershad Ullah Khan; Mälardalens universitet; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; nitrogen; ammonium; recovery; circular economy; wastewater; Energy- and Environmental Engineering; energi- och miljöteknik;

    Sammanfattning : Nitrogen recovery from wastewater treatment for fertilizers is a research topic that exists at the intersection of multiple topics important to the future of sustainable society. First, nitrogen recovery from wastewater implies a departure from the current methods of nitrogen mitigation, which involve nitrogen removal by conversion of various aqueous species to inert nitrogen gas. LÄS MER

  3. 3. Extending and Improving the Security Abstraction Model for Architectural Models of Autonomous Vehicles

    Författare :Matthias Bergler; Kristina Lundqvist; Ramin Tavakoli Kolagari; Friedhelm Stappert; Mälardalens universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

    Sammanfattning : .... LÄS MER

  4. 4. Improving the Efficiency and Reliability of Text Messaging Gateways

    Författare :Daniel Brahneborg; Wasif Afzal; Kristina Kunert; Mälardalens universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; Computer Science; datavetenskap;

    Sammanfattning : When software communicates, it typically uses some middleware. In this thesis we focus on the group of middleware called “messaging gateways”, which normally uses the store-and-forward architecture. LÄS MER

  5. 5. Automatic Characterization and Mitigation of Shared-resource Contention in Multi-core Systems

    Författare :Jakob Danielsson; Mikael Sjödin; Moris Behnam; Seceleanu Tiberiu; Marcus Jägemar; Håkan Grahn; Mälardalens universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

    Sammanfattning : Multi-core computers are infamous for being hard to use in time-critical systems due to execution-time variations as an effect of shared resource contention. In this thesis, we study the problem of shared resource contention, which occurs when multiple applications executing on different cores do not have exclusive access to of a shared hardware resource. LÄS MER