5,034 research outputs found
Error Containment in the Presence of Metastability
Full text linkError containment is an important concept in fault tolerant system
design, and techniques like voting are applied to mask erroneous
outputs, thus preventing their propagation. In this presentation
we will use the example of DARTS, a fault-tolerant distributed
clock generation scheme in hardware, to demonstrate that
metastability is a substantial threat to error containment. We
will illustrate how metastability can originate and propagate such
that a single fault may upset the system. The main conclusion is
that modeling efforts on all design levels are definitely required
in order to mitigate and quantify the deteriorating effect of
metastability on system dependability
Online Test Vector Insertion: A Concurrent Built-In Self-Testing (CBIST) Approach for Asynchronous Logic
Full text linkComplementing concurrent checking with online testing is crucial for preventing fault accumulation in fault-tolerant systems with long mission times. While implementing a non-intrusive online test is cumbersome in a synchronous environment, this task becomes even more challenging in asynchronous designs. The latter receive increasing attention, mainly due to their elastic timing behaviour; however the issues related with their testing remain a key obstacle for their wide adoption. In this paper we present a novel approach for testing of asynchronous circuits that leverages the redundancy present in the conventional 4-phase protocol for implementing a fully transparent and fully concurrent test procedure. The key idea is to use the protocol's unproductive NULL phase for processing test vectors, thus effectively interleaving the incoming 4-phase data stream with a test data stream in a 2-phase fashion. We present implementation templates for the fundamental building blocks required and give a proof-of-concept by an example application that also serves as a platform for evaluating the overheads of our solution which turn out to be moderate
Vindemia Iuris, Sive Dissertatio Iuridica De Vino
No full textQuam Magnifici ICtorum ordinis indultu, Sub Praesidio Dn. Joannis Strauchii ... Publicae disquisitioni exponit Christophorus Albertus Steininger/ Ratisp. A. A.S. MDCLXX. a.d. Kal. Decembr.Nicht identisch mit VD17 12:156149B (dort ohne Widmung
Stylos kai edraiōma tēs ekklēsias, sive, Dissertatio de iustificatione hominis
No full textquam ... sub praesidio ... Ioh. Henrici Heideggeri ... placido eruditorum examini subiicit Andreas Steinerus, Vitod. author & respondens, ad diem Octobris loco horisque solitisDiss. Hohe Schule Zürich, 167
Test-Case Generation for Embedded Binary Code Using Abstract Interpretation
Full text linkThis paper describes a framework for test-case generation for microcontroller binary programs using abstract interpretation techniques. The key idea of our approach is to derive program invariants a priori, and then use backward analysis to obtain test vectors that are executed on the target microcontroller. Due to the structure of binary code, the abstract interpretation framework is based on propositional encodings of the program semantics and SAT solving
Author: Andreas Johannis Prytz
No full textAn edition of the consecration sermons in Gothenburg Cathedral 1633 by Superintendent Andreas Johannis Prytz, with introductory comments. The first sermon deals with the need for Church buildings, the second with the consecration of a new Church
We must combine conservation of nature with benefits to society. Interview by Gaby Allheilig with Andreas Heinimann on IPBES' Global Assessment Report on Biodiversity and Ecosystem Services
No full textOn 6 May 2019, the Intergovernmental Science-Policy Platform on Biodiversity and Ecosystem Services (IPBES) presented its report on the state of biodiversity and ecosystem services worldwide. The first such assessment since 2005, it concludes that biodiversity and ecosystem loss has reached the point where it threatens human well-being. The researchers involved recommend several urgent measures to political decision-makers. Andreas Heinimann of CDE was the one Swiss scientist who worked as a lead author on a chapter of the report
To athanaton tēs psychēs, sive, Dissertatio de animae immortalitate, ex naturae & sanae rationis lumine demonstrata
No full textquam ... sub praesidio ... Iohannis Lavateri ... publicae ac placidae disquisitioni submittit Andreas Steinerus, Vitod. author & respondens ...Dedikation an Johannes Lavater, Jacob Meyer, Joh. Jacob Schaedler und Jacob Hegner auf dem Titelbl. versoDiss. Hohe Schule Zürich, 167
Performance aware hardware runtime monitors
No full textAufgrund der Komplexität aktueller Computersysteme sind (automatisierte) Test- und Verifikationsmethoden wichtige Bestandteile der Produktentwicklung. Das Forschungsgebiet der Laufzeitverifikation untersucht Testmethoden, die zwischen klassischem Testen und formaler Verifikation angesiedelt sind. Dabei wird das zu testende System während der Laufzeit von einem Observer gegen eine vorgegebene Spezifikation geprüft. Neben dem Testen können Methoden der Laufzeitverifikation auch permanent in einem System angewandt werden, um es mit Selbstüberprüfungsmechanismen auszustatten.Diese Diplomarbeit präsentiert, aufbauend auf einem existierenden Prototypen, ein Framework zur Laufzeitverifikation, das speziell für eingebettete System entworfen wurde. Der Observer dieses Frameworks basiert auf einer Mikroprozessorarchitektur und ist vollständig in Hardware implementiert. Diese Einheit kann über externe Schnittstellen an das zu prüfende System angeschlossen oder vollständig in das Zielsystem eingebunden werden. Um das erwartete Verhalten des zu prüfenden Systems zu spezifizieren, werden atomare Aussagen und die temporalen Logiken LTL (Linear Temporal Logic) und MTL (Metric Temporal Logic) verwendet.In dieser Diplomarbeit werden, nach einer Einführung in die Laufzeitverifikation, der Stand der Technik und theoretische Hintergründe erläutert. Dabei werden die verwendeten temporalen Logiken und Observer Algorithmen näher behandelt. Danach werden existierende Teile des Frameworks analysiert und Verbesserungen vorgeschlagen. Die Einflüsse verschiedener Optimierungsschritte werden mit Hilfe von Benchmarks, die in einer Software basierten Simulationsumgebung ausgeführt werden, untersucht. Weiters wird das Framework so erweitert, dass auch Aussagen über zukünftige Ereignisse ausgewertet werden können.Um die Realisierbarkeit der Optimierungen und Erweiterungen zu zeigen, werden diese in einer FPGA-Implementierung (Field Programable Gate Array) angewandt. Beim Entwurf des Frameworks wird speziell darauf geachtet, dass durch dessen Einsatz das zu testende System nicht beeinflusst wird. Weiters muss die Implementierung mit den in eingebetteten Systemen nur beschränkt zur Verfügung stehenden Ressourcen auskommen.Durch die Optimierungen am Framework konnte die Geschwindigkeit des Observers, gegenüber dem bestehenden Prototypen, verzwölffacht werden.Syntheseergebnisse zeigen die Skalierbarkeit der FPGA-Implementierung und den möglichen Einsatz in handelsüblichen FPGAs. Zum Schluss zeigt ein Fallbeispiel die Anwendung des Laufzeitverifikationssystems an einem unbemannten Flugzeug. Dabei konnte erfolgreich der Ausfall eines Sensors detektiert werden.Due to the complexity of today's computer systems, (automated) testing and verification are integral parts of their development process. The field of research for runtime verification deals with lightweight verification methods, which are classified between common testing methods and formal verification. In a runtime verification setting, the system under test is observed by a runtime monitor that checks the monitored behaviour against a specification. Beside testing, runtime verification may be used in the field to add self-checking capabilities to a system.Based on existing approaches, this thesis presents a runtime verification framework, capable of observing embedded real-time systems.The proposed framework features a runtime monitoring unit, implemented as a micro-processor architecture. The monitoring unit is built entirely in hardware and may be used stand-alone or integrated, as IP-core, in the target system. It evaluates claims, specified as atomic propositions and temporal logic formulas, where Linear Temporal Logic and Metric Temporal Logic are supported. The connection to the system under test is established by wire-taping its external interfaces.After an introduction to runtime verification methods, this thesis captures the state-of-the- art and provides theoretical background, covering temporal logics and observer algorithms. It proceeds with an analysis of existing parts and proposes optimizations on them. Thereby, the influence of different improvements is compared and verified by benchmarks, conducted with a software model of the runtime verification unit. Furthermore, the runtime verification framework is extended to support natively the evaluation of future time temporal formulas. A prototype implementation, targeting a Field Programmable Gate Array (FPGA), shows the feasibility of the novel approach. The design of the runtime verification unit is done with special focus on not influencing the behaviour of the system under test and getting along with the limited resources available within embedded systems.Benchmark results compare the improved runtime verification unit to the existing design and show a speed up factor of twelve. Synthesis runs are used to discuss the scalability of the FPGA implementation and show, that the proposed design fits well into a low-end commercial off-the-shelf FPGA. A case study completes this thesis and uses the prototype implementation in a real-world scenario. It demonstrates the benefit of a runtime verification unit within an Unmanned Aerial System (UAS) to detect erroneous sensor readings.<br /
Family Virtues and Social Critique: Andreas Latzko’s Anti-War Prose (1917-1918)
No full textBetween 1917 and 1918, the Austro-Hungarian author Andreas Latzko (1876-1943) wrote three separate publications against the Great War: Menschen im Krieg (1917), Friedensgericht (1918), and Der letzte Mann (published 1919). Literary historians tend to bypass these works, and the few who note them chiefly focus on the best-selling novella cycle Menschen im Krieg (1917). It is usually presented as an example of expressionist political prose, or as a mixture of social satire and aesthetic shock-tactics that chiefly remains indebted to realist traditions, albeit with occasional incursions into expressionistic styles..
- …
