Behavioral Modeling For Embedded Systems And Technologies

Behavioral Modeling For Embedded Systems And Technologies

by Luis Gomes, João M. Fernandes
     
 

ISBN-10: 1605667501

ISBN-13: 9781605667508

Pub. Date: 04/21/2011

Publisher: IGI Global

The development of embedded systems offers a higher degree of abstraction, crucial to tackling the growing complexity and usage of model-driven approaches. Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation provides an overview on innovative behavior models currently used for developing embedded systems,

…  See more details below

Overview

The development of embedded systems offers a higher degree of abstraction, crucial to tackling the growing complexity and usage of model-driven approaches. Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation provides an overview on innovative behavior models currently used for developing embedded systems, accentuating on graphical and visual notations. This dynamic compilation presents an authoritative reference collection to the most significant models of computation currently in use for embedded systems design.

Product Details

ISBN-13:
9781605667508
Publisher:
IGI Global
Publication date:
04/21/2011
Pages:
496
Product dimensions:
8.70(w) x 11.30(h) x 1.40(d)

Table of Contents

Ch. 1 UML as Front-End Language for Embedded Systems Design 1

Ch. 2 Model-Driven Design and ASM-Based Validation of Embedded Systems 24

Ch. 3 Abstract and Concrete Data Type Optimizations at the UML and C/C++ Level for Dynamic Embedded Software 55

Ch. 4 Concern Separation for Adaptive QoS Modeling in Distributed Real-time Embedded Systems 85

Ch. 5 High-Level Design Space Exploration of Embedded Systems Using the Model-Driven Engineering and Aspect-Oriented Design Approaches 114

Ch. 6 Separation of Concerns in Model-based Development of Distributed Real-time Systems 147

Ch. 7 Using Timed Automata for Modeling the Clocks of Distributed Embedded Systems 172

Ch. 8 Model Checking of Multitasking Real-Time Applications Based on the Timed Automata Model Using One Clock 194

Ch. 9 SystemC Platform Modeling for Behavioral Simulation and Performance Estimation of Embedded Systems 219

Ch. 10 Engineering Embedded Software: From Application Modeling to Software Synthesis 245

Ch. 11 Transaction Level Model Automation for Multicore Systems 271

Ch. 12 The Role of Programming Models on Reconfigurable Computing Fabrics 290

Ch. 13 Reconfiguration of Industrial Embedded Control Systems 318

Ch. 14 Architecture Description Languages for the Automotive Domain 353

Ch. 15 Model-Based Testing of Embedded Systems Exemplified for the Automotive Domain 377

Compilation of References 412

Index 463

Read More

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >