Items related to Modeling, Verification and Exploration of Task-Level...

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

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

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.

"synopsis" may belong to another edition of this title.

Synopsis

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.

"About this title" may belong to another edition of this title.

  • PublisherSpringer
  • Publication date1999
  • ISBN 10 0792377370
  • ISBN 13 9780792377375
  • BindingHardcover
  • LanguageEnglish
  • Number of pages453

Buy Used

Condition: Good
This is an ex-library book and...
View this item

£ 4.48 shipping within United Kingdom

Destination, rates & speeds

Buy New

View this item

FREE shipping within United Kingdom

Destination, rates & speeds

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  1461369983 ISBN 13:  9781461369981
Publisher: Springer, 2012
Softcover

Search results for Modeling, Verification and Exploration of Task-Level...

Stock Image

Thoen, F. and Catthoor, F.
Published by Kluwer Academic Publishers, 2000
ISBN 10: 0792377370 ISBN 13: 9780792377375
Used Hardcover

Seller: Anybook.com, Lincoln, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,900grams, ISBN:9780792377375. Seller Inventory # 9066961

Contact seller

Buy Used

£ 4.47
Convert currency
Shipping: £ 4.48
Within United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Thoen, Filip; Catthoor, Francky
Published by Springer, 1999
ISBN 10: 0792377370 ISBN 13: 9780792377375
Used Hardcover

Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Hardcover. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.79. Seller Inventory # G0792377370I4N00

Contact seller

Buy Used

£ 66.77
Convert currency
Shipping: £ 12.01
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Thoen, Filip; Catthoor, Francky
Published by Springer, 1999
ISBN 10: 0792377370 ISBN 13: 9780792377375
Used Hardcover

Seller: CONTINENTAL MEDIA & BEYOND, Ocala, FL, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Hardcover. Condition: 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. Seller Inventory # 1030I1MXSXP

Contact seller

Buy Used

£ 54.60
Convert currency
Shipping: £ 28.01
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Thoen, Filip; Catthoor, Francky
Published by Springer, 1999
ISBN 10: 0792377370 ISBN 13: 9780792377375
New Hardcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9780792377375_new

Contact seller

Buy New

£ 139.22
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Filip Thoen|Francky Catthoor
Published by Springer US, 1999
ISBN 10: 0792377370 ISBN 13: 9780792377375
New Hardcover

Seller: moluna, Greven, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Gebunden. Condition: New. Seller Inventory # 458442235

Contact seller

Buy New

£ 155.65
Convert currency
Shipping: £ 21.20
From Germany to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Thoen, Filip; Catthoor, Francky
Published by Springer, 1999
ISBN 10: 0792377370 ISBN 13: 9780792377375
New Hardcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Feb2416190184727

Contact seller

Buy New

£ 136.09
Convert currency
Shipping: £ 55.28
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Thoen, Filip, Catthoor, Francky
Published by Springer, 1999
ISBN 10: 0792377370 ISBN 13: 9780792377375
Used Hardcover

Seller: Mispah books, Redhill, SURRE, United Kingdom

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Hardcover. Condition: Like New. Like New. book. Seller Inventory # ERICA77307923773706

Contact seller

Buy Used

£ 197
Convert currency
Shipping: £ 8
Within United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Filip Thoen
Published by Springer Us Nov 1999, 1999
ISBN 10: 0792377370 ISBN 13: 9780792377375
New Hardcover

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Buch. Condition: Neu. Neuware - 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. Seller Inventory # 9780792377375

Contact seller

Buy New

£ 216.64
Convert currency
Shipping: £ 11.87
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket