Sökning: "embedded generation"

Visar resultat 21 - 25 av 120 avhandlingar innehållade orden embedded generation.

1. 21. On Falsification of Large-Scale Cyber-Physical Systems

   Författare :Johan Lidén Eddeland; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Test Coverage; Testing; Optimization; Simulation-Based Verification; Formal Requirements; Cyber-Physical Systems; Falsification;

   Sammanfattning : In the development of modern Cyber-Physical Systems, Model-Based Testing of the closed-loop system is an approach for finding potential faults and increasing quality of developed products. Testing is done on many different abstraction levels, and for large-scale industrial systems, there are several challenges. LÄS MER

3. 22. INCREMENTAL FAULT DIAGNOSABILITY AND SECURITY/PRIVACY VERIFICATION

   Författare :Mona Noori-Hosseini; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Temporal logic; Anonymity; Opacity; Discrete event systems.; Automation; Formal verification; Fault diagnosability; Incremental abstraction;

   Sammanfattning : Dynamical systems can be classified into two groups. One group is continuoustime systems that describe the physical system behavior, and therefore are typically modeled by differential equations. The other group is discrete event systems (DES)s that represent the sequential and logical behavior of a system. LÄS MER

4. 23. Compiling Concurrent Programs for Manycores

   Författare :Essayas Gebrewahid; Bertil Svensson; Veronica Gaspes; Zain Ul-Abdin; Johan Eker; Högskolan i Halmstad; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Sammanfattning : The arrival of manycore systems enforces new approaches for developing applications in order to exploit the available hardware resources. Developing applications for manycores requires programmers to partition the application into subtasks, consider the dependence between the subtasks, understand the underlying hardware and select an appropriate programming model. LÄS MER

5. 24. On intelligent automation systems

   Författare :Endre Erös; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; automated planning; Automation; testing and coverability.; modeling; virtual preparation and commissioning; robot operating system;

   Sammanfattning : Developing automation systems that are capable of handling dynamic and unpredictable situations is a challenging task, as it requires adapting to a changing environment and managing potentially unforeseen action outcomes. In contrast to traditional automation, where control code is explicitly pro- grammed, a model-based approach might be a more appropriate solution for automating such systems. LÄS MER

7. 25. Integrated millimeter Wave CMOS Power Amplifiers for 5G Systems

   Författare :Christian Elgaard; Integrerade elektroniksystem; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Sammanfattning : The anticipated continuation of the last three decades of growth of global demand for high-speed high-coverage mobile data, calls for massive investments in cellular infrastructure, for the ongoing roll out of the fifth generation of mobile systems, but also later for the sixth generation. A key enabler, for the high-speed part, is for the cellular system to move up in frequency and support communication at millimeter-wave (mmW) frequencies (24 – 70 GHz), where available wideband spectrum exist. LÄS MER