Embedded Systems - Theory and Design Methodology

✍ Scribed by K. Tanaka

• Publisher: Intech
• Year: 2012
• Tongue: English
• Leaves: 440
• Category: Library

✦ Table of Contents

00 preface......Page 1
00a Part 1......Page 11
01 Ways for Implementing Highly-Predictable
Embedded Systems Using Time-Triggered
Co-Operative (TTC) Architectures......Page 13
02 Safely Embedded Software for State Machines in
Automotive Applications......Page 41
03 Vulnerability Analysis and Risk Assessment
for SoCs Used in Safety-Critical
Embedded Systems......Page 61
04 Simulation and Synthesis Techniques
for Soft Error-Resilient Microprocessors......Page 83
05 Real-Time Operating Systems and Programming
Languages for Embedded Systems......Page 111
05a Part 2......Page 131
06 Architecting Embedded Software
for Context-Aware Systems......Page 133
07 FSMD-Based Hardware Accelerators for FPGAs......Page 153
08 Context Aware Model-Checking
for Embedded Software......Page 177
09 A Visual Software Development Environment that
Considers Tests of Physical Units......Page 195
10 A Methodology for Scheduling Analysis Based on
UML Development Models......Page 213
11 Formal Foundations for the Generation of
Heterogeneous Executable Specifications in
SystemC from UML/MARTE Models......Page 237
12 Concurrent Specification of Embedded
Systems: An Insight into the Flexibility vs
Correctness Trade-Off......Page 261
13 SW Annotation Techniques and RTOS
Modelling for Native Simulation of
Heterogeneous Embedded Systems......Page 287
14 The Innovative Design of Low Cost Embedded
Controller for Complex Control Systems......Page 313
15 Choosing Appropriate Programming Language
to Implement Software for Real-Time Resource-
Constrained Embedded Systems......Page 333
15a Part 3......Page 349
16 High-Level Synthesis for Embedded Systems......Page 351
17 A Hierarchical C2RTL Framework for Hardware
Configurable Embedded Systems......Page 377
18 SRAM Cells for Embedded Systems......Page 397
19 Development of Energy Efficiency Aware
Applications Using Commercial Low Power
Embedded Systems......Page 417