ISBN: 9783869557229 - performance analysis of multiprocessor real-time systems with shared resources (5 resultados)

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Eingebettete Systeme, die das Leben sicherer, produktiver und komfortabler machen,werden von Konsumenten in immer stärkerem Maße wertgeschätzt. Viele dieser eng mit der Außenwelt interagierenden Systeme zum Beispiel im Automobil bestehen schon heute aus zahlreichen Einzelkomponenten, die gemeinsam die komplexen, oft verteilten Funktionen bereitstellen. Um den wachsenden Rechenanforderungen gerecht zu werden und möglichst auch die Anzahl der Recheneinheiten zu reduzieren, sind die einzelnen Komponenten inzwischen selbst komplexe Systeme, bestehend aus mehreren Prozessoren und gemeinsam genutzten Ressourcen. Dieser hierarchische Aufbau führt zu einer nur schwer zu beherrschenden Systemkomplexität. Um dennoch die Produktivität im Entwicklungsprozess und die Sicherheit der ausgelieferten Systeme zu gewährleisten, werden Methoden benötigt, die über die klassischen Verfahren wie Entwicklung, Simulation und anschließender Fehlersuche hinausgehen. Formale Analysemethoden sind eine ideale Ergänzung um die aufkommenden Integrationsrisiken frühzeitig zu erkennen und zu entschärfen, und um insbesondere in sicherheitskritischen Systemen eine Unterdimensionierung von Systemkomponenten zu vermeiden, die zu einer Verletzung von zeitlichen Anforderungen führen würde. In dieser Arbeit begegnen wir den Herausforderungen bestehender und zukünftiger Systemarchitekturen mit einer formalen Methode zur Performanzanalyse. Dabei liegt der Fokus zunächst auf der Analyse der verteilten Funktionen, indem auch etablierte Performanz-Indikatoren erneut untersucht werden. Es werden neue Methoden eingeführt, um das zeitlich verzerrte Verhalten von Ereignissen entlang einer Task-Kette zu untersuchen und um die Antwortzeiten der Tasks und die Gesamt- Latenz entlang einer Kette zu bestimmen. Diese Methoden basieren auf einem neuen Modell des Zeitverhaltens eines einzelnen Tasks, das sehr effizient die nötigen zeitlichen Eigenschaften abstrahiert und diese für die System-Analyse zur Verfügung stellt. Zusammen mit einer verallgemeinerten Betrachtung von Event-Modellen, die auch spezielle Charakteristika wie periodische Bursts erfasst, führen diese Methoden zu sehr präzisen Ergebnissen ohne Effizienz einzubüßen. Die wachsenden Berechnungs- und Sicherheitsanforderungen führen auch in Steuerdominierten Systemen vermehrt zum Einsatz von Multicore-Controllern. 216 pp. Englisch.…

Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Eingebettete Systeme, die das Leben sicherer, produktiver und komfortabler machen,werden von Konsumenten in immer stärkerem Maße wertgeschätzt. Viele diesereng mit der Außenwelt interagierenden Systeme zum Beispiel im Automobil bestehenschon heute aus zahlreichen Einzelkomponenten, die gemeinsam die komplexen,oft verteilten Funktionen bereitstellen. Um den wachsenden Rechenanforderungengerecht zu werden und möglichst auch die Anzahl der Recheneinheiten zu reduzieren,sind die einzelnen Komponenten inzwischen selbst komplexe Systeme, bestehend ausmehreren Prozessoren und gemeinsam genutzten Ressourcen. Dieser hierarchischeAufbau führt zu einer nur schwer zu beherrschenden Systemkomplexität.Um dennoch die Produktivität im Entwicklungsprozess und die Sicherheit der ausgeliefertenSysteme zu gewährleisten, werden Methoden benötigt, die über die klassischenVerfahren wie Entwicklung, Simulation und anschließender Fehlersuche hinausgehen.Formale Analysemethoden sind eine ideale Ergänzung um die aufkommendenIntegrationsrisiken frühzeitig zu erkennen und zu entschärfen, und um insbesondere insicherheitskritischen Systemen eine Unterdimensionierung von Systemkomponentenzu vermeiden, die zu einer Verletzung von zeitlichen Anforderungen führen würde.In dieser Arbeit begegnen wir den Herausforderungen bestehender und zukünftigerSystemarchitekturen mit einer formalen Methode zur Performanzanalyse.Dabei liegt der Fokus zunächst auf der Analyse der verteilten Funktionen, indem auchetablierte Performanz-Indikatoren erneut untersucht werden. Es werden neue Methodeneingeführt, um das zeitlich verzerrte Verhalten von Ereignissen entlang einerTask-Kette zu untersuchen und um die Antwortzeiten der Tasks und die Gesamt-Latenz entlang einer Kette zu bestimmen. Diese Methoden basieren auf einem neuenModell des Zeitverhaltens eines einzelnen Tasks, das sehr effizient die nötigen zeitlichenEigenschaften abstrahiert und diese für die System-Analyse zur Verfügungstellt. Zusammen mit einer verallgemeinerten Betrachtung von Event-Modellen, dieauch spezielle Charakteristika wie periodische Bursts erfasst, führen diese Methodenzu sehr präzisen Ergebnissen ohne Effizienz einzubüßen.Die wachsenden Berechnungs- und Sicherheitsanforderungen führen auch in SteuerdominiertenSystemen vermehrt zum Einsatz von Multicore-Controllern.…

Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. KlappentextrnrnEingebettete Systeme, die das Leben sicherer, produktiver und komfortabler machen,nwerden von Konsumenten in immer staerkerem Masse wertgeschaetzt. Viele dieserneng mit der Aussenwelt interagierenden Systeme zum Beispiel im Automobil .…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Eingebettete Systeme, die das Leben sicherer, produktiver und komfortabler machenwerden von Konsumenten in immer stärkerem Maße wertgeschätzt. Viele diesereng mit der Außenwelt interagierenden Systeme zum Beispiel im Automobil bestehenschon heute aus zahlreichen Einzelkomponenten, die gemeinsam die komplexenoft verteilten Funktionen bereitstellen. Um den wachsenden Rechenanforderungengerecht zu werden und möglichst auch die Anzahl der Recheneinheiten zu reduzierensind die einzelnen Komponenten inzwischen selbst komplexe Systeme, bestehend ausmehreren Prozessoren und gemeinsam genutzten Ressourcen. Dieser hierarchischeAufbau führt zu einer nur schwer zu beherrschenden Systemkomplexität.Um dennoch die Produktivität im Entwicklungsprozess und die Sicherheit der ausgeliefertenSysteme zu gewährleisten, werden Methoden benötigt, die über die klassischenVerfahren wie Entwicklung, Simulation und anschließender Fehlersuche hinausgehen.Formale Analysemethoden sind eine ideale Ergänzung um die aufkommendenIntegrationsrisiken frühzeitig zu erkennen und zu entschärfen, und um insbesondere insicherheitskritischen Systemen eine Unterdimensionierung von Systemkomponentenzu vermeiden, die zu einer Verletzung von zeitlichen Anforderungen führen würde.In dieser Arbeit begegnen wir den Herausforderungen bestehender und zukünftigerSystemarchitekturen mit einer formalen Methode zur Performanzanalyse.Dabei liegt der Fokus zunächst auf der Analyse der verteilten Funktionen, indem auchetablierte Performanz-Indikatoren erneut untersucht werden. Es werden neue Methodeneingeführt, um das zeitlich verzerrte Verhalten von Ereignissen entlang einerTask-Kette zu untersuchen und um die Antwortzeiten der Tasks und die GesamtLatenz entlang einer Kette zu bestimmen. Diese Methoden basieren auf einem neuenModell des Zeitverhaltens eines einzelnen Tasks, das sehr effizient die nötigen zeitlichenEigenschaften abstrahiert und diese für die System-Analyse zur Verfügungstellt. Zusammen mit einer verallgemeinerten Betrachtung von Event-Modellen, dieauch spezielle Charakteristika wie periodische Bursts erfasst, führen diese Methodenzu sehr präzisen Ergebnissen ohne Effizienz einzubüßen.Die wachsenden Berechnungs- und Sicherheitsanforderungen führen auch in SteuerdominiertenSystemen vermehrt zum Einsatz von Multicore-Controllern.Cuvillier Verlag, Nonnenstieg 8, 37075 Göttingen 216 pp. Englisch.…

Taschenbuch. Condición: Neu. Performance Analysis of Multiprocessor Real-Time Systems with Shared Resources | Simon Schliecker | Taschenbuch | Englisch | 2011 | Cuvillier | EAN 9783869557229 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand. …