In dieser Arbeit wurde das Experiment von F. Zimmer zur Reduktion von [(Cp´´´Ni(μ-Br)]\( _2 \) 2 nochmals aufgegriffen. Um eine möglichst glatte Reduktion von 2 zu erreichen, wurden verschiedene Reduktionsmittel getestet. Das erste 1,1´,2,2´,4,4´-hexa(tert.-butyl)dinickelocen 3 wurde nach der Reduktion mit Na\( _3 \)Sb\( _7 \) in Pentan isoliert und charakterisiert. Die CASSCF-Rechnungen in der Gasphase ergaben vier ungepaarten Elektronen im Dinickelocen 3 und einen Triplett-Grundzustand mit einem berechneten Ni-Ni-Abstand von 2,3006 Å. Da die verschiedenen Spinzustände energetisch nahe beieinander liegen, kann zum Grundzustand noch keine sichere Angabe gemacht werden. Der einzige Nettobeitrag zur Ni-Ni-Bindung ergibt sich aus der σ-Bindung aus den beiden 4s-AOs. Nach den Berechnungen sollte die erhaltene XRD-Struktur des freien Dinickelocen-Moleküls 3 nicht linear sein, sondern geknickt vorliegen. Das kann damit erklärt werden, dass das Molekül 3 eine starke agostische Wechselwirkung zwischen einem tert.-Butyl-H des Cp´´´-Liganden eines Nickelatoms und dem anderen Nickelatom ausbildet. Im Kristall kann diese Verzerrung durch Packungseffekte überwunden werden. Das Dinickelocen 3 reagiert genau wie das Dihydrid 1 mit Kohlenmonoxid unter Bildung des bekannten Carbonylkomplexes [Cp´´´Ni(μ-CO)]\( _2 \) 7. Auch während der Aufnahme der ESI-Massenspektren erwies sich der Komplex [Cp´´´Ni]\( _2 \) 3 als sehr reaktiv. Der komplexe Ablauf der Reduktionsreaktionen von Na\( _3 \)Sb\( _7 \) und NaH auf [(Cp´´´Ni(μ-Br)]\( _2 \) 2 in Pentan und THF sowie auf [(\( ^4 \)CpNi(μ-Br)]\( _2 \) 11 in Pentan und THF wurden genau untersucht. Die Beobachtung, dass Pentan während der Reaktion angegriffen wird, wurde als Anlass für weitere Experimente in Tetradecan, Cyclohexan und Hexamethyldisiloxan genommen. Ausführliche Arbeitshypothese von dem Reaktionsablauf der Reduktion von [\( ^4 \)CpNi(μ-Br)]\( _2 \) 11 mit Na\( _3 \)Sb\( _7 \) in Tetradecan, Cyclohexan und Hexamethyldisiloxan wurde erstellt. Die oben genannten Lösungsmittel erwiesen sich als ungeeignet für die selektive Gewinnung des Dinickelocens 18 durch Reduktion von [(\( ^4 \)CpNi(μ-Br)]\( _2 \) 11 mit Na\( _3 \)Sb\( _7 \). Nach umfangsreichen Untersuchungen gelang es, einen alternativen Weg über [(\( ^4 \)CpNi)\( _2 \)(μ-H)(μ-Br)]-Zwischenstufe 20 zu finden, um Dinickelocen 18 mit größerer Selektivität und in besserer Ausbeute zu gewinnen. Der Anteil des gewünschten Dinickelocens [\( ^4 \)CpNi]\( _2 \) 18 im Reaktionsgemisch konnte dadurch von ca. 6 % auf ca. 58 % erhöht werden. Die maximale Konzentration des [Cp´´´Ni]\( _2 \) 3 erreichte ca. 61 %. Das ist der bislang höchste Anteil der Dinickelocene im Reaktionsgemisch.

In this thesis we developed a desynchronization design flow in the goal of easing the de- velopment effort of distributed embedded systems. The starting point of this design flow is a network of synchronous components. By transforming this synchronous network into a dataflow process network (DPN), we ensures important properties that are difficult or theoretically impossible to analyze directly on DPNs are preserved by construction. In particular, both deadlock-freeness and buffer boundedness can be preserved after desyn- chronization. For the correctness of desynchronization, we developed a criteria consisting of two properties: a global property that demands the correctness of the synchronous network, as well as a local property that requires the latency-insensitivity of each local synchronous component. As the global property is also a correctness requirement of synchronous systems in general, we take this property as an assumption of our desyn- chronization. However, the local property is in general not satisfied by all synchronous components, and therefore needs to be verified before desynchronization. In this thesis we developed a novel technique for the verification of the local property that can be carried out very efficiently. Finally we developed a model transformation method that translates a set of synchronous guarded actions – an intermediate format for synchronous systems – to an asynchronous actor description language (CAL). Our theorem ensures that one passed the correctness verification, the generated DPN of asynchronous pro- cesses (or actors) preserves the functional behavior of the original synchronous network. Moreover, by the correctness of the synchronous network, our theorem guarantees that the derived DPN is deadlock-free and can be implemented with only finitely bounded buffers.

In der aktuellen technologischen Entwicklung spielen verteilte eingebettete Echtzeitsysteme eine immer zentralere Rolle und werden zunehmend zum Träger von Innovationen. Durch den hiermit verbundenen steigenden Funktionsumfang der verteilten Echtzeitsysteme und deren zunehmenden Einsatz in sicherheitsrelevanten Anwendungsgebieten stellt die Entwicklung solcher Systeme eine immer größere Herausforderung dar. Hierbei handelt es sich einerseits um Herausforderungen bezogen auf die Kommunikation hinsichtlich Echtzeitfähigkeit und effizienter Bandbreitennutzung, andererseits werden geeignete Methoden benötigt, um den Entwicklungsprozess solcher komplexen Systeme durch Tests und Evaluationen zu unterstützen und zu begleiten. Die hier vorgestellte Arbeit adressiert diese beiden Aspekte und ist entsprechend in zwei Teile untergliedert. Der erste Teil der Arbeit beschäftigt sich mit der Entwicklung neuer Kommunikationslösungen, um den gestiegenen Kommunikationsanforderungen begegnen zu können. So erfordert die Nutzung verteilter Echtzeitsysteme im Kontext sicherheitsrelevanter Aufgaben den Einsatz zeitgetriggerter Kommunikationssysteme, die in der Lage sind, deterministische Garantien bezüglich der Echtzeitfähigkeit zu gewähren. Diese klassischen auf exklusiven Reservierungen basierenden Ansätze sind jedoch gerade bei (seltenen) sporadischen Nachrichten sehr ineffizient in Bezug auf die Nutzung der Bandbreite. Das in dieser Arbeit verwendete Mode-Based Scheduling with Fast Mode-Signaling (modusbasierte Kommunikation) ist ein Verfahren zur Verbesserung der Bandbreitennutzung zeitgetriggerter Kommunikation, bei gleichzeitiger Gewährleistung der Echtzeitfähigkeit. Um dies zu ermöglichen, erlaubt Mode-Based Scheduling einen kontrollierten, slotbasierten Wettbewerb, welcher durch eine schnelle Modussignalisierung (Fast Mode-Signaling) aufgelöst wird. Im Zuge dieser Arbeit werden verschiedene robuste, zuverlässige und vor allem deterministische Realisierungen von Mode-Based Scheduling with Fast Mode-Signaling auf Basis existierender drahtgebundener Kommunikationsprotokolle (TTCAN und FlexRay) vorgestellt sowie Konzepte präsentiert, welche eine einfache Integration in weitere Kommunikationstechnologien (wie drahtlose Ad-Hoc-Netze) ermöglichen. Der zweite Teil der Arbeit konzentriert sich nicht nur auf Kommunikationsaspekte, sondern stellt einen Ansatz vor, den Entwicklungsprozess verteilter eingebetteter Echtzeitsysteme durch kontinuierliche Tests und Evaluationen in allen Entwicklungsphasen zu unterstützen und zu begleiten. Das im Kontext des Innovationszentrums für Applied Systems Modeling mitentwickelte und erweiterte FERAL (ein Framework für die Kopplung spezialisierter Simulatoren) bietet eine ideale Ausgangsbasis für das Virtual Prototyping komplexer verteilter eingebetteter Echtzeitsysteme und ermöglicht Tests und Evaluationen der Systeme in einer realistisch simulierten Umgebung. Die entwickelten Simulatoren für aktuelle Kommunikationstechnologien ermöglichen hierbei realistische Simulationen der Interaktionen innerhalb des verteilten Systems. Durch die Unterstützung von Simulationssystemen mit Komponenten auf unterschiedlichen Abstraktionsstufen kann FERAL in allen Entwicklungsphasen eingesetzt werden. Anhand einer Fallstudie wird gezeigt, wie FERAL verwendet werden kann, um ein Simulationssystem zusammen mit den zu realisierenden Komponenten schrittweise zu verfeinern. Auf diese Weise steht während jeder Entwicklungsphase ein ausführbares Simulationssystem für Tests zur Verfügung. Die entwickelten Konzepte und Simulatoren für FERAL ermöglichen es, Designalternativen zu evaluieren und die Wahl einer Kommunikationstechnologie durch die Ergebnisse von Simulationen zu stützen.

We investigate the long-term behaviour of diffusions on the non-negative real numbers under killing at some random time. Killing can occur at zero as well as in the interior of the state space. The diffusion follows a stochastic differential equation driven by a Brownian motion. The diffusions we are working with will almost surely be killed. In large parts of this thesis we only assume the drift coefficient to be continuous. Further, we suppose that zero is regular and that infinity is natural. We condition the diffusion on survival up to time t and let t tend to infinity looking for a limiting behaviour.

To continue reducing voltage in scaled technologies, both circuit and architecture-level resiliency techniques are needed to tolerate process-induced defects, variation, and aging in SRAM cells. Many different resiliency schemes have been proposed and evaluated, but most prior results focus on voltage reduction instead of energy reduction. At the circuit level, device cell architectures and assist techniques have been shown to lower Vmin for SRAM, while at the architecture level, redundancy and cache disable techniques have been used to improve resiliency at low voltages. This paper presents a unified study of error tolerance for both circuit and architecture techniques and estimates their area and energy overheads. Optimal techniques are selected by evaluating both the error-correcting abilities at low supplies and the overheads of each technique in a 28nm. The results can be applied to many of the emerging memory technologies.