𝔖 Scriptorium
✦   LIBER   ✦
📁

Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation

✍ Scribed by Luís Gomes, João M. Fernandes, Luís Gomes, João M. Fernandes

Publisher
Information Science Reference
Year
2009
Tongue
English
Leaves
495
Series
Premier Reference Source
Edition
1
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis

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 of innovative behavior models currently used for developing embedded systems, accentuating 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.

✦ Table of Contents

Title
......Page 2
Table of Contents......Page 4
Detailed Table of Contents......Page 8
Foreword......Page 14
Preface......Page 17
Acknowledgment......Page 28
UML as Front-End Language for Embedded Systems Design......Page 30
Model-Driven Design and ASM-Based Validation of Embedded Systems......Page 53
Abstract and Concrete Data Type Optimizations at the UML and C/C++ Level for Dynamic Embedded Software......Page 84
Concern Separation for Adaptive QoS Modeling in Distributed Real-time Embedded Systems......Page 114
High-Level Design Space Exploration of Embedded Systems Using the Model-Driven Engineering and Aspect-Oriented Design Approaches......Page 143
Separation of Concerns in Model-based Development of Distributed Real-time Systems......Page 176
Using Timed Automata for Modeling the Clocks of Distributed Embedded Systems......Page 201
Model Checking of Multitasking Real-Time Applications Based on the Timed Automata Model Using One Clock......Page 223
SystemC Platform Modeling for Behavioral Simulation and Performance Estimation of Embedded Systems......Page 248
Engineering Embedded Software From Application Modeling to Software Synthesis......Page 274
Transaction Level Model Automation for Multicore Systems......Page 300
The Role of Programming Models on Reconfigurable Computing Fabrics......Page 319
Reconfiguration of Industrial Embedded Control Systems......Page 347
Architecture Description Languages for the Automotive Domain......Page 382
Model-Based Testing of Embedded Systems Exemplified for the Automotive Domain......Page 406
Compilation of References......Page 441
About the Contributors......Page 479
Index......Page 492

📜 SIMILAR VOLUMES

Embedded Systems – Modeling, Technology,
📁 Embedded Systems – Modeling, Technology, and Applications
✍ Sebastian Bab, Bernd Mahr (auth.), Günter Hommel, Sheng Huanye (eds.) 📂 Library 📅 2006 🏛 Springer Netherlands 🌐 English

<p>The International Workshop on “Embedded Systems - Modeling, Techn- ogy, and Applications” is the seventh in a successful series of workshops that were established by Shanghai Jiao Tong University and Technische Universität Berlin. The goal of those workshops is to bring together - searchers from

Transaction Level Modeling with SystemC:
📁 Transaction Level Modeling with SystemC: TLM Concepts and Applications for Embedded Systems
✍ Frank Ghenassia, Alain Clouard (auth.), Frank Ghenassia (eds.) 📂 Library 📅 2005 🏛 Springer US 🌐 English

<p><P>Currently employed at STMicroelectronics, Transactional-Level Modeling (TLM) puts forward a novel SoC design methodology beyond RTL with measured improvements of productivity and first time silicon success. </P><P></P><P>The SystemC consortium has published the official TLM development kit in

Retargetable Compiler Technology for Emb
📁 Retargetable Compiler Technology for Embedded Systems: Tools and Applications
✍ Rainer Leupers, Peter Marwedel (auth.) 📂 Library 📅 2001 🏛 Springer US 🌐 English

<p>It is well known that embedded systems have to be implemented efficiently. This requires that processors optimized for certain application domains are used in embedded systems. Such an optimization requires a careful exploration of the design space, including a detailed study of cost/performance

Model-based design for embedded systems
📁 Model-based design for embedded systems
✍ Gabriela Nicolescu, Pieter J. Mosterman 📂 Library 📅 2010 🏛 CRC Press 🌐 English

<P>The demands of increasingly complex embedded systems and associated performance computations have resulted in the development of heterogeneous computing architectures that often integrate several types of processors, analog and digital electronic components, and mechanical and optical components—