Modeling, Verification and Exploration of Task-level Concurrency in Real-time Embedded Systems

Thoen, Filip; Catthoor, Francky

ISBN 10: 0792377370 ISBN 13: 9780792377375

Edit� par Kluwer Academic Publishers, 1999

Neuf(s) Couverture rigide

Vendeur Kennys Bookstore, Olney, MD, Etats-Unis �valuation du vendeur 5 sur 5 �toiles

Vendeur AbeBooks depuis 9 octobre 2009

Cet article sp�cifique n'est plus disponible.

Afficher tous les articles du vendeur Cr�er une demande de livres portant sur des articles similaires

Afficher tous les exemplaires de ce livre

A propos de cet article

The combination of VLSI process technology and real-time digital signal processing (DSP) has brought a break-through in information technology. This book deals with the modeling, timing verification and analysis, and the automatic synthesis of integrated real-time DSP systems. Num Pages: 438 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 25. Weight in Grams: 1800. . 1999. Hardback. . . . . Books ship from the US and Ireland. N� de r�f. du vendeur V9780792377375

Signaler cet article

Synopsis :

system is a complex object containing a significant percentage of elec- A tronics that interacts with the Real World (physical environments, humans, etc. ) through sensing and actuating devices. A system is heterogeneous, i. e., is characterized by the co-existence of a large number of components of disparate type and function (for example, programmable components such as micro- processors and Digital Signal Processors (DSPs), analog components such as AID and D/A converters, sensors, transmitters and receivers). Any approach to system design today must include software concerns to be viable. In fact, it is now common knowledge that more than 70% of the development cost for complex systems such as automotive electronics and communication systems are due to software development. In addition, this percentage is increasing constantly. It has been my take for years that the so-called hardware-software co-design problem is formulated at a too low level to yield significant results in shorten- ing design time to the point needed for next generation electronic devices and systems. The level of abstraction has to be raised to the Architecture-Function co-design problem, where Function refers to the operations that the system is supposed to carry out and Architecture is the set of supporting components for that functionality. The supporting components as we said above are heteroge- neous and contain almost always programmable components.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

D�tails bibliographiques

Titre : Modeling, Verification and Exploration of ...
�diteur : Kluwer Academic Publishers
Date d'�dition : 1999
Reliure : Couverture rigide
Etat : New

Meilleurs r�sultats de recherche sur AbeBooks

Image d'archives

Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems

Thoen, Filip; Catthoor, Francky

Edit� par Springer, 1999

ISBN 10 : 0792377370 ISBN 13 : 9780792377375

Ancien ou d'occasion Couverture rigide

Vendeur : CONTINENTAL MEDIA & BEYOND, Ocala, FL, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : Used: Good. xlibrary copy 2000 hardcover no dj as issued withdrawn stamp in book/ on edge of pages clean crisp pages Kluwer Academic Publ. 438 pages::: K-8. N� de r�f. du vendeur 1030I1MXSXP

Contacter le vendeur

Acheter D'occasion

EUR 79,04

Exp�dition �EUR 5,97
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Modeling, Verification, and Exploration of Task-Level Concurrency of Real-Time Embedded Systems

Thoen, Filip (EDT); Catthoor, Francky (EDT)

Edit� par Springer, 1999

ISBN 10 : 0792377370 ISBN 13 : 9780792377375

Neuf Couverture rigide

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur 757221-n

Contacter le vendeur

Acheter neuf

EUR 162,65

Exp�dition �EUR 17,32
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems

Thoen, Filip; Catthoor, Francky

Edit� par Springer, 1999

ISBN 10 : 0792377370 ISBN 13 : 9780792377375

Neuf Couverture rigide

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In. N� de r�f. du vendeur ria9780792377375_new

Contacter le vendeur

Acheter neuf

EUR 162,66

Exp�dition �EUR 13,83
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems

Filip Thoen|Francky Catthoor

Edit� par Springer US, 1999

ISBN 10 : 0792377370 ISBN 13 : 9780792377375

Neuf Couverture rigide

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Gebunden. Etat : New. N� de r�f. du vendeur 458442235

Contacter le vendeur

Acheter neuf

EUR 178,14

Exp�dition �EUR 48,99
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Modeling, Verification, and Exploration of Task-Level Concurrency of Real-Time Embedded Systems

Thoen, Filip (EDT); Catthoor, Francky (EDT)

Edit� par Springer, 1999

ISBN 10 : 0792377370 ISBN 13 : 9780792377375

Neuf Couverture rigide

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur 757221-n

Contacter le vendeur

Acheter neuf

EUR 179,58

Exp�dition �EUR 2,25
Exp�dition nationale�: Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems

Filip Thoen, Francky Catthoor

Edit� par Kluwer Academic Publishers, US, 1999

ISBN 10 : 0792377370 ISBN 13 : 9780792377375

Neuf Couverture rigide

Vendeur : Rarewaves.com UK, London, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Hardback. Etat : New. 2000 ed. system is a complex object containing a significant percentage of elec� A tronics that interacts with the Real World (physical environments, humans, etc. ) through sensing and actuating devices. A system is heterogeneous, i. e. , is characterized by the co-existence of a large number of components of disparate type and function (for example, programmable components such as micro� processors and Digital Signal Processors (DSPs), analog components such as AID and D/A converters, sensors, transmitters and receivers). Any approach to system design today must include software concerns to be viable. In fact, it is now common knowledge that more than 70% of the development cost for complex systems such as automotive electronics and communication systems are due to software development. In addition, this percentage is increasing constantly. It has been my take for years that the so-called hardware-software co-design problem is formulated at a too low level to yield significant results in shorten� ing design time to the point needed for next generation electronic devices and systems. The level of abstraction has to be raised to the Architecture-Function co-design problem, where Function refers to the operations that the system is supposed to carry out and Architecture is the set of supporting components for that functionality. The supporting components as we said above are heteroge� neous and contain almost always programmable components. N� de r�f. du vendeur LU-9780792377375

Contacter le vendeur

Acheter neuf

EUR 197,35

Exp�dition �EUR 75,05
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems

Filip Thoen, Francky Catthoor

Edit� par Kluwer Academic Publishers, US, 1999

ISBN 10 : 0792377370 ISBN 13 : 9780792377375

Neuf Couverture rigide

Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Hardback. Etat : New. 2000 ed. The combination of VLSI process technology and real-time digital signal processing (DSP) has brought a break-through in information technology. This rapid technical revolution allows the integration of ever more complex systems on a single chip. However, these technology and integration advances have not been matched by an increase in design productivity, causing technology to leapfrog the design of integrated circuits (ICs). The success of these emerging "systems-on-a-chip" (SOC) can only be guaranteed by a systematic and formal design methodology, possibly automated in computer-aided design (CAD) tools, and effective re-use of existing intellectual property (IP). In this book, a contribution is made to the modelling, timing verification and analysis, and the automatic synthesis of integrated real-time DSP systems. This text gives a comprehensive overview of existing techniques. The emphasis throughout is on the support and guaranteeing of the real-time aspect and constraints of these systems, which avoids time consuming design iterations and safeguards the ever shrinking time-to-market.The proposed "Multi-Thread Graph" (MTG) system model features two-layers, unifying a (timed) Petri net and a control-data flow graph. Its unique interface between both models offers the best of two worlds and introduces an extra abstraction level hiding the operation-level details which are unnecessary during global system exploration. The formulated timing analysis and verification approach supports the calculation of temporal separation between different MTG entities as well as realistic performance metrics for highly concurrent systems. The synthesis methodology focuses on managing the task-level concurrency (i.e. task scheduling), as part of a proposed overall system design meta flow. It emphasizes performance and timing aspects ("timeliness"), while minimizing processor cost overhead as driven by high-level cost estimators. The approach is new in the abstraction level it employs, and in its optimal hybrid dynamic/static scheduling policy which, driven by coestimators, selects the scheduling policy for each behaviour. At the low-level, RTOS synthesis generates an application-specific scheduler for the software component.The proposed synthesis methodology (at the task-level) is asserted to yield most optimal results when employed before the hardware/software partition is made. At this level, the distinction between these two is minimal, such that all steps in the design trajectory can be shared, thereby reducing the system cost significantly and allowing tighter satisfaction of timing/performance constraints. N� de r�f. du vendeur LU-9780792377375

Contacter le vendeur