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

Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
Author :
Publisher : Springer Science & Business Media
Total Pages : 446
Release :
ISBN-10 : 9781461544371
ISBN-13 : 1461544378
Rating : 4/5 (378 Downloads)

Book Synopsis Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems by : Filip Thoen

Download or read book Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems written by Filip Thoen and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 446 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


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

Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
Language: en
Pages: 446
Authors: Filip Thoen
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

system is a complex object containing a significant percentage of elec A tronics that interacts with the Real World (physical environments, humans, etc. ) throu
Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogenous Platforms
Language: en
Pages: 269
Authors: Zhe Ma
Categories: Technology & Engineering
Type: BOOK - Published: 2007-08-26 - Publisher: Springer Science & Business Media

GET EBOOK

A genuinely useful text that gives an overview of the state-of-the-art in system-level design trade-off explorations for concurrent tasks running on embedded he
Power Aware Design Methodologies
Language: en
Pages: 533
Authors: Massoud Pedram
Categories: Technology & Engineering
Type: BOOK - Published: 2007-05-08 - Publisher: Springer Science & Business Media

GET EBOOK

Power Aware Design Methodologies was conceived as an effort to bring all aspects of power-aware design methodologies together in a single document. It covers se
EDA for IC System Design, Verification, and Testing
Language: en
Pages: 593
Authors: Louis Scheffer
Categories: Technology & Engineering
Type: BOOK - Published: 2018-10-03 - Publisher: CRC Press

GET EBOOK

Presenting a comprehensive overview of the design automation algorithms, tools, and methodologies used to design integrated circuits, the Electronic Design Auto
System Design Automation
Language: en
Pages: 265
Authors: Renate Merker
Categories: Computers
Type: BOOK - Published: 2013-03-09 - Publisher: Springer Science & Business Media

GET EBOOK

Design automation of electronic and hybrid systems is a steadily growing field of interest and a permanent challenge for researchers in Electronics, Computer En