Titlebook: Echtzeit 2019; Autonome Systeme – 5 Herwig Unger Conference proceedings 2019 Springer Fachmedien Wiesbaden GmbH, ein Teil von Springer Natu

不透氣

https://doi.org/10.1007/978-3-642-17662-3ich verst?rkt der Einsatz von Multicore-Mikrocontrollern. Dabei stellt die Verwendung solcher Mikrocontroller die Softwareentwickler immer wieder vor gr??ere Herausforderungen, da konkurrierende Zugriffe auf geteilte Ressourcen, wie Speicher, die Echtzeitf?higkeit des Systems gef?hrden k?nnen. Zur R

calamity

perjury

Test und Fehlersuche in komplexen Autonomen Systemen, Tests. Wesentlicher Bestandteil für die dynamische Analyse stellt dabei die Verifikationssprache TeSSLa dar, welche dem Leser anhand von kurzen, pr?gnanten Beispielen n?her gebracht wird. Abschlie?end werden Anforderungen an das zu beobachtende System gegeben, um den Einsatz des vorgestellten Werkz

深陷

,Mikroarchitekturgewahre Analyse des Ressourcenverbrauchs unter Berücksichtigung des Gesamtsystems,den Einfluss der Mikroarchitektur auf die isolierte Ausführung einer Aufgabe als auch die Verz?gerungen, die eine Aufgabe wegen der Ver?nderung des Mikroarchitekturzustands durch verdr?ngende Aufgaben erf?hrt. Das vorgestellte Verfahren wurde in das quelloffene Analysewerkzeug Platin als Erweiterung

Graves’-disease

,Verifikation einer Funktionsblockbibliothek für die Prozessautomatisierung,inzip zugrunde liegt und mit dem es schlie?lich gelungen ist, eine vollst?ndige Funktionsblockbibliothek für die Prozessautomatisierung mathematisch streng zu verifizieren. In Verbindung mit der in [2] vorgeschlagenen Datenverarbeitungsanlage für sicherheitsgerichtete Automatisierungsaufgaben schaff

Ingenuity

,Cache-Koh?renz für embedded Multicore-Mikrocontroller mit harter Echtzeitanforderung,rkungen von konkurrierenden Zugriffen durch die Nutzung von Caches reduziert. Zu diesem Zweck wird ein softwarebasiertes und echtzeitf?higes Cache-Koh?renzprotokoll implementiert, welches die Datenaktualit?t und -konsistenz sicherstellt und dabei die Anzahl der konkurrierenden Zugriffe reduziert.

Fsh238

Madeline Donald,Jelle Bruinebergchungszentrum Karlsruhe in seiner Rolle als Projekttr?ger des BMFT herausgegeben PDV-Berichten und -Notizen. Sie zeigen die Konsequenz, mit der im Rahmen des 2. DV-Programms der Bundesregierung in den 1970er-Jahren Technologie- und Industrief?rderung vorangetrieben wurden. Ein in der Aufmachung gepf