Sökning: "lundqvist 2013"

Visar resultat 6 - 7 av 7 avhandlingar innehållade orden lundqvist 2013.

  1. 6. Architecture-Based Verification of Dependable Embedded Systems

    Författare :Andreas Johnsen; Kristina Lundqvist; Paul Pettersson; Birgitta Lindström; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; architecture-based verification; dependable embedded systems; AADL; architecture quality assurance; UPPAAL; Computer Science; datavetenskap;

    Sammanfattning : Quality assurance of dependable embedded systems is becoming increasingly difficult, as developers are required to build more complex systems on tighter budgets. As systems become more complex, system architects must make increasingly complex architecture design decisions. LÄS MER

  3. 7. Apply heat pump systems in commercial household products to reduce environmental impact : How to halve the electricity consumption for a household dishwasher

    Författare :Peder Bengtsson; Jonas Berghel; Per Lundqvist; Karlstads universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; household appliance; electricity consumption; heat pump; environmental impact; Miljö- och energisystem; Environmental and Energy Systems;

    Sammanfattning : In the household appliance industry, heat pump systems have been used for a long time in refrigerators and freezers to cool food, and the industry has driven the development of small, high-quality, low-price heat pump components. In the last few decades, heat pump systems have been introduced in other household appliances, with the express purpose of reducing electricity consumption. LÄS MER