Sökning: "embedded computing"

Visar resultat 16 - 20 av 108 avhandlingar innehållade orden embedded computing.

  1. 16. Design of Assured and Efficient Safety-critical Systems

    Författare :Nesredin Mahmud; Cristina Seceleanu; Guillermo Rodriguez-Navas; Joost-Pieter Katoen; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems design; safety critical systems; real time systems; formal method; optimization; model checking; Simulink; Computer Science; datavetenskap;

    Sammanfattning : Safety-critical   systems   need   to   be   analyzed rigorously to remove software/specifications errors, that is, their requirements specifications should be unambiguous, comprehensible and consistent, and the software design should conform to the specifications, hence avoiding undesirable system failures. Currently, there is a lack of effective and scalable methods to specify and analyze requirements, and formally analyze the behavioral models of embedded systems. LÄS MER

  3. 17. Reconfigurable Optical Interconnection Networks for High-Performance Embedded

    Författare :Sacki Agelis; Håkan Forsberg; Högskolan i Halmstad; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; MOEMS; Micro-optical-electrical mechanical systems; Reconfigurable interconnection networks; Data communication; Telecommunication; Radar signal processing; Asymmetric application; Symmetric application; STAP; SAR; Embedded systems; VCSEL; Parallel processing system; Optical communication;

    Sammanfattning : In embedded computer and communication system the capacity demand for interconnection networks is increasing continuously in order to achieve high-performance systems. Recent breakthroughs show that by using reconfigurability inside a single chip substantial performance gains can be added. LÄS MER

  4. 18. Resource-Constrained Embedded Control and Computing Systems

    Författare :Dan Henriksson; Institutionen för reglerteknik; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; robotteknik; reglerteknik; kontroll; Automation; robotics; control engineering; Automatiska system; numerisk analys; system; Datalogi; control; numerical analysis; systems; Computer science; Server control; Simulation tools; Feedback scheduling; Real-time control systems; Resource constraints;

    Sammanfattning : This thesis deals with methods for handling resource constraints in embedded control systems and real-time computing systems. By dynamic feedback-based resource scheduling it is possible to achieve adaptability andincreased performance for these systems. LÄS MER

  5. 19. Deep Learning on the Edge : A Flexible Multi-level Optimization Approach

    Författare :Nesma Rezk; Magnus Jonsson; Mahdi Fazeli; Antonio Carlos Schneider Beck; Högskolan i Halmstad; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : Recent advances in Deep Learning (DL) research have been adopted in a wide variety of applications, including autonomous driving, AI in health care, and smart homes. In parallel, research in high-performance embedded computing has resulted in advanced hardware platforms that offer enhanced performance and energy efficiency for demanding computations. LÄS MER

  7. 20. Dependable Distributed Control System : Redundancy and Concurrency defects

    Författare :Bjarne Johansson; Thomas Nolte; Alessandro Papadopoulos; Luis Almeida; Mälardalens universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Sammanfattning : Intelligent devices, interconnectivity, and information exchange are characteristics often associated with Industry 4.0. A peer-to-peer-oriented architecture with the network as the system center succeeds the traditional controller-centric topology used in today's distributed control systems, improving information exchange in future designs. LÄS MER