Search for dissertations about: "embedded values"

Showing result 1 - 5 of 129 swedish dissertations containing the words embedded values.

2. 1. Preservation of Extra-Functional Properties in Embedded Systems Development

   Author : Mehrdad Saadatmand; Mikael Sjödin; Antonio Cicchetti; Vittorio Cortellessa; Mälardalens högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Software Engineering; Embedded Systems; Non-Functional Requirements; Extra-Functional Properties; Model-Driven Development; Trade-off analysis; Computer Science; datavetenskap;

   Abstract : The interaction of embedded systems with their environments and their resource limitations make it important to take into account properties such as timing, security, and resource consumption in designing such systems. These so-called Extra-Functional Properties (EFPs) capture and describe the quality and characteristics of a system, and they need to be taken into account from early phases of development and throughout the system's lifecycle. READ MORE

4. 2. Maintenance Consideration for Long Life Cycle Embedded System

   Author : Xiaozhou Meng; Benny Thörnberg; Mattias O'Nils; Mittuniversitetet; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Abstract :      In this thesis, the work presented is in relation to consideration to the maintenance of a long life cycle embedded system. Various issues can present problems for maintaining a long life cycle embedded system, such as component obsolescence and IP (intellectual property) portability. READ MORE

5. 3. A functional approach to heterogeneous computing in embedded systems

   Author : Markus Aronsson; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Abstract : Developing programs for embedded systems presents quite a challenge; not only should programs be resource efficient, as they operate under memory and timing constraints, but they should also take full advantage of the hardware to achieve maximum performance. Since performance is such a significant factor in the design of embedded systems, modern systems typically incorporate more than one kind of processing element to benefit from specialized processing capabilities. READ MORE

6. 4. Exploring Efficient Implementations of Deep Learning Applications on Embedded Platforms

   Author : Nesma Rezk; Zain Ul-Abdin; Ahmed Hemani; Högskolan i Halmstad; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Abstract : The promising results of deep learning (deep neural network) models in many applications such as speech recognition and computer vision have aroused a need for their realization on embedded platforms. Augmenting DL (Deep Learning) in embedded platforms grants them the support to intelligent tasks in smart homes, mobile phones, and healthcare applications. READ MORE

7. 5. Automated Deductive Verification of Safety-Critical Embedded Software

   Author : Christian Lidström; Dilian Gurov; Musard Balliu; Bernhard Beckert; KTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; software sontracts; contract-based design; formal verification; deductive verification; contract inference; program instrumentation; embedded software; embedded systems; Frama-C; Datalogi; Computer Science;

   Abstract : Embedded systems are everywhere in society, and in many industries, such as the automotive industry, embedded systems are safety-critical. Embedded systems are today also increasingly controlled by software, with advances in, for example, autonomous driving. READ MORE