不透气
发表于 2025-3-30 11:23:11
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
发表于 2025-3-30 12:32:29
http://reply.papertrans.cn/31/3012/301102/301102_52.png
perjury
发表于 2025-3-30 20:02:19
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
深陷
发表于 2025-3-30 22:36:55
,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
发表于 2025-3-31 03:38:47
,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 vorgeschlagenen Datenverarbeitungsanlage für sicherheitsgerichtete Automatisierungsaufgaben schaff
Ingenuity
发表于 2025-3-31 06:12:42
,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
发表于 2025-3-31 12:36:01
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