Auflistung nach Schlagwort "Virtual prototype"
1 - 2 von 2
Treffer pro Seite
Sortieroptionen
- ZeitschriftenartikelMechatronic System for Mechanical Weed Control of the Intra-row Area in Row Crops(KI - Künstliche Intelligenz: Vol. 27, No. 4, 2013) Gobor, ZoltanThe dissertation discusses the problem of mechanical weed control within the intra-row area in row crops. A novel concept featuring an electrically driven weeding tool similar to that applied in rotational crop thinning systems is proposed. The special characteristics of the system include the ability to tune rotational speed of the hoeing tool according to forward speed of the carrier, estimated in-row distance between adjacent plants and observed angular position of the arms. A laboratory prototype including an interim solution for detection of the single plants was developed and tested.
- ZeitschriftenartikelSecurity validation of VP-based SoCs using dynamic information flow tracking(it - Information Technology: Vol. 61, No. 1, 2019) Goli, Mehran; Hassan, Muhammad; Große, Daniel; Drechsler, RolfModern System-on-Chips (SoCs) are notoriously insecure. Hence, the fundamental security feature of IP isolation is heavily used, e. g., secured Memory Mapped IOs (MMIOs), or secured address ranges in case of memories, are marked as non-accessible. One way to provide strong assurance of security is to define isolation as information flow policy in hardware using the notion of non-interference. Since, an insecure hardware opens up the door for attacks across the entire system stack (from software down to hardware), the security validation process should start as early as possible in the SoC design cycle, i. e. at Electronic System Level (ESL). Hence, in this paper we propose the first dynamic information flow analysis at ESL. Our approach allows to validate the run-time behavior of a given SoC implemented using Virtual Prototypes (VPs) against security threat models, such as information leakage (confidentiality) and unauthorized access to data in a memory (integrity). Experiments show the applicability and efficacy of the proposed method on various VPs including a real-world system.