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
Real-Time Embedded Systems
Language: en
Pages: 332
Authors: Jiacun Wang
Categories: Technology & Engineering
Type: BOOK - Published: 2017-07-10 - Publisher: John Wiley & Sons

GET EBOOK

Offering comprehensive coverage of the convergence of real-time embedded systems scheduling, resource access control, software design and development, and high-
Real-Time Systems Design and Analysis
Language: en
Pages: 392
Authors: Phillip A. Laplante
Categories: Computers
Type: BOOK - Published: 1997 - Publisher: Wiley-IEEE Press

GET EBOOK

"IEEE Press is pleased to bring you this Second Edition of Phillip A. Laplante's best-selling and widely-acclaimed practical guide to building real-time systems
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Language: en
Pages: 405
Authors: Yassine Lakhnech
Categories: Computers
Type: BOOK - Published: 2004-09-20 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed proceedings of the joint International Conferences Formal Modeling and Analysis of Timed Systems, FORMATS 2004, and Formal Te
Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation
Language: en
Pages: 494
Authors: Gomes, Lu¡s
Categories: Computers
Type: BOOK - Published: 2009-07-31 - Publisher: IGI Global

GET EBOOK

"This book provides innovative behavior models currently used for developing embedded systems, accentuating on graphical and visual notations"--Provided by publ