The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Ein sicheres Mit- und Nebeneinander von Mensch und Roboter erfordert hohe Sicherheitsstandards für sogenannte kollaborative Roboteranwendungen auf Basis einer gesamtheitlichen Betrachtung des Roboters, seines Werkzeugs, dem Werkstück und des Roboterprogramms. Gewissheit über ein zulässiges Verhalten des Robotersystems kann allerdings nur eine entsprechende messtechnische Untersuchung der Anwendung...
Analog circuits lack perfect accuracy; noise, PVT-Variations, non-linearities, crosstalk and many other effects cause unforeseen deviations that we also call “uncertainties”. In the paper we classify various causes of uncertainties and describe a simple, generic, mathematical model of uncertain signals and systems that is applicable from circuit level up to system level. We show in particular how...
Memristors have been used in various applications, including single- and multi-bit storage units. The non-linear voltage-current relation in memristors is often seen as a problem, necessitating complex circuits and methods for a reliable write-in. In this paper, we take advantage of this phenomenon for storing more than one bit of information in a single memristor using digital bit streams. First,...
Feature-based systems may have interacting features, where undesired feature interaction(s) may even lead to safety-critical behavior in cyber-physical systems. Automotive systems are such systems, where more and more features are currently being integrated, which have to be coordinated. Automated and formal verification of the resulting behavior against safetyrelevant properties is important, and...
Hardware Trojans have emerged as a serious threat the past years. Several methods to detect possible hardware Trojans have been published, most of them aiming at detection during post-fabrication tests. Nevertheless, hardware Trojans are more probable to be inserted at design-level, as resources required to do so are much lower than those at fabrication. At design-level, verification methods have...
This paper addresses the potential danger using integrated circuits which contain malicious hardware modifications hidden in the silicon structure. A so called hardware Trojan may be added at several stages of the chip development process. This work concentrates on formal hardware Trojan detection during the design phase and highlights applied verification techniques. Selected methods are discussed...
This work addresses the increasing danger of shipping integrated circuits (either fully digital or mixed signal) that contain malicious hardware modifications. Potential security threads are established by so called hardware Trojans, implemented in the physical silicon structure. A desire of system engineers is to identify such back-door functionalities during an early design phase. The paper discusses...
This paper describes a framework for the identification of household appliances based on a measured aggregated load profile. Device activation and deactivation events are detected by a set of non-intrusive algorithms collected in the software structure. These detections are then matched to a database of load values. The result which is basically a detection probability in combination with consumption...
This paper describes a calculation framework for the simulation of systems being affected by parameter deviations. These unpredictable factors are described with the help of affine arithmetic noise symbols in the modeling domain. Methods for a semi-symbolic output signal calculation containing linear and nonlinear operators must be provided. For a nonlinear composition of two affine arithmetic forms...
This paper describes a novel method to verify typical properties of systems with parameter deviations. These parameter deviations have an impact on a system behavior causing it to deviate from its ideal behavior. The concept of Affine Arithmetic is used to model typical errors and uncertainties in today's analog-mixed signal systems. The method which is proposed is a combination of assertions and...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.