Titlebook: Betriebssysteme und Echtzeit; Echtzeit 2015 Wolfgang A. Halang,Olaf Spinczyk Conference proceedings 2015 Springer-Verlag Berlin Heidelberg

细查

React in Time: Ereignisbasierter Entwurf zeitgesteuerter verteilter Systeme,eignisorientierte Entwurf als deutlich flexiblerer und einfacher. Diese Arbeit stellt einen Ansatz zur automatisierten Analyse von existierenden Echtzeitsystemen, deren Überführung in eine abstrakte Zwischendarstellung sowie die anschließende Abbildung auf zeitgesteuerte (verteilte) Mehrkernsysteme vor.

挥舞

Edge Computing for Wireless Sensor Networkschen Testmodellierung und die Testauswertung der Echtzeiteigenschaften als Teil eines modellgetriebenen Testprozesses werden beschrieben, und als Konsequenz aus der Synchronisationsungenauigkeit der Uhren des verteilten zu testenden Systems wird eine Fehlerabschätzung gegeben, die bei der Testauswertung berücksichtigt wird.

enlist

Urea508

TERRA

FIG

orthopedist

,Testen von Echtzeiteigenschaften für verteilte Ablaufsteuerungen,schen Testmodellierung und die Testauswertung der Echtzeiteigenschaften als Teil eines modellgetriebenen Testprozesses werden beschrieben, und als Konsequenz aus der Synchronisationsungenauigkeit der Uhren des verteilten zu testenden Systems wird eine Fehlerabschätzung gegeben, die bei der Testauswertung berücksichtigt wird.

DENT

Landlocked

Ein Fork-Join-Parallelismus in einer gemischt-kritischen Mehrprozessorumgebung,zeitsystem, welches diese Auslastungsinformation einerseits zum Zwecke der Optimierung heranziehen kann, andererseits auch ein deterministisches und simplifiziertes, d.h. einfach determinierbares, Verhalten ermöglicht.

resuscitation