Natural phenomena such as earthquakes that cause the destruction of bridges and can cause tsunamis, among other phenomena and disasters, are on the rise as a result of climate change, which is affecting our planet. Th...
详细信息
ISBN:
(纸本)9781665454025
Natural phenomena such as earthquakes that cause the destruction of bridges and can cause tsunamis, among other phenomena and disasters, are on the rise as a result of climate change, which is affecting our planet. This is because of the rise in average global temperature and the development of extreme rains, which causes rivers to overflow. The use of satellites for terrestrial observation has made it possible to keep tabs on events throughout the world in recent years. However, these satellite systems aren't without their drawbacks; one is that cloud cover may make it difficult to accurately record photographs. It is done based on the clouds present, and another drawback is the visiting time that the satellites have, which means that the area that you want to record the image is not always available, so you have to wait for the day and the time in which the satellite orbit can pass through the area of interest that the image is to be recorded. Drones, which fly at low altitudes and do not have cloud problems, are one such alternative, solving a problem of satellites, on cloud cover. In light of this, in the present work, a methodology based on low-cost systems is proposed for on-board processing in drones of such data in the event of an emergency, such as after the effects of rain or an earthquake. Methodology involves processing the image in an embedded device, which is coupled to the drone and connected to the camera, in such a way that the information that is sent to the ground station, concentrates on the affected area; this allows for faster decision-making and lessens the impact of the natural disaster. Therefore, it is shown by testing of the embeddedcomputer based on a Raspberry pi 3 for detecting changes in land cover and transmitting this information to an earth station.
Networks-on-Chips (NoCs) recently became widely used, from multi-core CPUs to edge-AI accelerators. Emulation on FPGAs promises to accelerate their RTL modeling compared to slow simulations. However, realistic test st...
详细信息
Networks-on-Chips (NoCs) recently became widely used, from multi-core CPUs to edge-AI accelerators. Emulation on FPGAs promises to accelerate their RTL modeling compared to slow simulations. However, realistic test stimuli are challenging to generate in hardware for diverse applications. In other words, both a fast and flexible design framework is required. The most promising solution is hybrid emulation, in which parts of the design are simulated in software, and the other parts are emulated in hardware. This paper proposes a novel hybrid emulation framework called EmuNoC. We introduce a clock-synchronization method and software-only packet generation that improves the emulation speed by 36.3 × to 79.3 × over state-of-the-art frameworks while retaining the flexibility of a pure-software interface for stimuli simulation. We also increased the area efficiency to model up to an NoC with 169 routers on a single FPGA, while previous frameworks only achieved 64 routers.
We present a contact-implicit trajectory optimization framework that can plan contact-interaction trajectories for different robot architectures and tasks using a trivial initial guess and without requiring any parame...
详细信息
ISBN:
(纸本)9781728173955
We present a contact-implicit trajectory optimization framework that can plan contact-interaction trajectories for different robot architectures and tasks using a trivial initial guess and without requiring any parameter tuning. This is achieved by using a relaxed contact model along with an automatic penalty adjustment loop for suppressing the relaxation. Moreover, the structure of the problem enables us to exploit the contact information implied by the use of relaxation in the previous iteration, such that the solution is explicitly improved with little computational overhead. We test the proposed approach in simulation experiments for non-prehensile manipulation using a 7-DOF arm and a mobile robot and for planar locomotion using a humanoid-like robot in zero gravity. The results demonstrate that our method provides an out-of-the-box solution with good performance for a wide range of applications.
Early validation of software running on multi-processor platforms is fundamental to guarantee that real-time constraints will be fully met. In the domain of timing analysis probabilistic simulation techniques tackle t...
详细信息
ISBN:
(纸本)9783030275624;9783030275617
Early validation of software running on multi-processor platforms is fundamental to guarantee that real-time constraints will be fully met. In the domain of timing analysis probabilistic simulation techniques tackle the problem of scalability. However, creation of probabilistic SystemC models remains a difficult task and is not well supported for multiprocessors systems. In this paper we present a modeling workflow that will then be used for an experimental evaluation of probabilistic simulation techniques. For the modeling process a measurement-based approach is proposed to favor the creation of trustful models. The evaluated probabilistic simulation techniques demonstrate good potential to deliver fast yet accurate estimations for multi-processor systems.
Digital Signal Processing (DSP) systems can be described using either fixed-point or floating-point for their numeric representations. As the general computers use floating-point representation, software-based simulat...
详细信息
Digital Signal Processing (DSP) systems can be described using either fixed-point or floating-point for their numeric representations. As the general computers use floating-point representation, software-based simulation tools used for modeling and simulation of the arithmetic operations in DSP systems, use floating-point representation as well. However, synthesizing customized hardware for fixed-point arithmetic operations for FPGAs or ASICs is more efficient compared to their floating-point counterparts. Thus it is necessary to convert the representation of a floating-point simulated algorithm on MATLAB for example, to a fixed-point representation which is more suitable for hardware implementation. While former approaches for this conversion step have always been software-based, like on MATLAB itself, this paper presents a new approach to show the possibility of accelerating it by using hardware width reconfigurable designs.
The proceedings contain 13 papers. The special focus in this conference is on Model-Based Design of Cyber Physical systems, embedded and Cyber-Physical systems Education. The topics include: A Remote Test Environment ...
ISBN:
(纸本)9783030411305
The proceedings contain 13 papers. The special focus in this conference is on Model-Based Design of Cyber Physical systems, embedded and Cyber-Physical systems Education. The topics include: A Remote Test Environment for a Large-Scale Microcontroller Laboratory Course;an embedded Graduate Lab Course with Spirit;Competence Networks in the Era of CPS – Lessons Learnt in the ICES Cross-Disciplinary and Multi-domain Center;multicore Models of Communication for Cyber-Physical systems;towards Creating a Deployable Grasp Type Probability Estimator for a Prosthetic Hand;reactors: A Deterministic Model for Composable Reactive systems;guaranteed simulation of Dynamical systems with Integral Constraints and Application on Delayed Dynamical systems;Advanced Hazard Analysis and Risk Assessment in the ISO 26262 Functional Safety Standard Using Rigorous simulation;practical Multicore Extension of Functionally and Temporally Correct Real-Time simulation for Automotive systems;Constraint-Based modeling and Symbolic simulation of Hybrid systems with HydLa and HyLaGI;guaranteed Optimal Reachability Control of Reaction-Diffusion Equations Using One-Sided Lipschitz Constants and Model Reduction.
The proceedings contain 16 papers. The special focus in this conference is on Model-Driven Engineering and Software Development. The topics include: The Understandability of Models for Behaviour;a Model-Based Combinat...
ISBN:
(纸本)9783030378721
The proceedings contain 16 papers. The special focus in this conference is on Model-Driven Engineering and Software Development. The topics include: The Understandability of Models for Behaviour;a Model-Based Combination Language for Scheduling Verification;TRILATERAL: A Model-Based Approach for Industrial CPS – Monitoring and Control;classifying Approaches for Constructing Single Underlying Models;a Framework for Flexible Program Evolution and Verification of Distributed systems;modeling and Analysis of Partitions on Functional architectures Using EAST-ADL;Evaluating the Multi-variant Model Transformation of UML Class Diagrams to Java Models;executing Scenario-Based Specification with Dynamic Generation of Rich Events;towards Multi-editor Support for Domain-Specific Languages Utilizing the Language Server Protocol;Integrating UML and ALF: An Approach to Overcome the Code Generation Dilemma in Model-Driven Software Engineering;preface;a Framework for Multi-level modeling of Analog/Mixed Signal embeddedsystems;the Art of Bootstrapping;dataset Management Using Metadata.
Stencil Computation has long been an omnipresent kernel of a wide range of scientific and engineering applications. There is much work investigating the stencil performance on x86 processors and accelerators such as G...
详细信息
Safety-critical systems operate in contexts where failure may lead to serious harm for humans or the environment. Safety standards, e.g., IEC 61508 or ISO 26262, provide development guidelines to improve the safety of...
详细信息
embedded system applications, with their inherently limited parallelism, rarely exploit all available processing resources in large DSM-based manycore architectures. In addition, global coherence spanning across all t...
详细信息
ISBN:
(纸本)9783030275624;9783030275617
embedded system applications, with their inherently limited parallelism, rarely exploit all available processing resources in large DSM-based manycore architectures. In addition, global coherence spanning across all tiles does not scale well. Therefore, we have proposed a region-based cache coherence (RBCC) approach that enables coherence among a selectable cluster of tiles in accordance with application requirements. In this paper, we present a novel RBCC-malloc() extension that transparently tailors coherence to actually shared application working sets at runtime. Further, the design and hardware implementation of a flexibly configurable coherency region manager (CRM) supporting RBCC-malloc() are introduced. We synthesized the CRM on an FPGA for a 64-core system and observed a 57% reduction in BRAM-utilization compared to a global coherence directory for regions with up to 16 cores. Experiments reveal an application acceleration of up to 42% compared to a message passing based implementation. We also demonstrate the advantage of RBCC-malloc() compared to standalone RBCC.
暂无评论