Cantitate/Preț
Produs

Techniken zur Simulation von eingebetteten Systemen mit abstrakten RTOS-Modellen: C-LAB Publication, cartea 32

Autor Henning Zabel
de Limba Germană Paperback – 30 apr 2010
Die stetig wachsende Rechenleistung von Prozessoren und die höhere Integrationsdichte von Schaltkreisen erlauben die Realisierung von immer mehr und komplexeren Funktionen in immer kleineren und leistungsfähigeren Komponenten. Die gesteigerte Komplexität ist eine Herausforderung an den Entwurf elektronischer Systeme. Das System-Level-Design strukturiert den Entwurf, indem das System, ausgehend von einem abstrakten Applikationsmodel, schrittweise in eine detaillierte Beschreibung eines Schaltkreises oder einer Softwarekomponente überführt wird. Bei jedem Entwurfsschritt wird die Erfüllbarkeit von Anforderungen überprüft und somit werden einzelne Entwurfsschritte frühzeitig bewertet.Eine wichtige Anforderung an Echtzeitsysteme ist ein vorhersagbares Ausführungsverhalten durch die Einhaltung von vorgegebenen Zeitschranken bei der Ausführung von Tasks auf einem Zielprozessor. Abstrakte RTOS-Modelle erlauben hier eine laufzeiteffiziente Simulation des funktionalen Verhaltens und der Ausführungszeiten. Eine Herausforderung ist es dabei, trotz der Abstraktion, eine zeitlich genaue Simulation von Ausführungszeiten zu erreichen.In der Arbeit werden auf Basis von abstrakten RTOS-Modellen Ansätze zur Modellierung des hardwareabhängigen Scheduling von Interrupt-Service-Routinen, zur Abstraktion von optimiertem Assembler, sowie der Migration von Tasks zwischen Prozessoren beschrieben. Zeitliche Fehler in den Abstraktionen werden durch eine Variation der Intervalldauer der Echtzeituhr kompensiert. Die Ansätze erlauben eine laufzeiteffiziente Simulation der Ausführung von Tasks auf einem Zielprozessor unter Berücksichtigung des Schedulingverfahrens und der Prioritäten der Tasks. Die Effizienz der Ansätze wurde teils formal nachgewiesen und durch verschiedene Fallstudien evaluiert.
Citește tot Restrânge

Din seria C-LAB Publication

Preț: 23069 lei

Preț vechi: 28836 lei
-20% Nou

Puncte Express: 346

Preț estimativ în valută:
4414 4720$ 3681£

Carte indisponibilă temporar

Doresc să fiu notificat când acest titlu va fi disponibil:

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783832290924
ISBN-10: 3832290923
Pagini: 207
Dimensiuni: 149 x 211 x 17 mm
Greutate: 0.29 kg
Editura: Shaker Verlag
Seria C-LAB Publication