eBook Embedded Computing Systems: Applications, Optimization, and Advanced Design, 1st Edition

  • Mohamed Khalgui
  • Published By:
  • ISBN-10: 1466639237
  • ISBN-13: 9781466639232
  • DDC: 006.2
  • Grade Level Range: College Freshman - College Senior
  • 356 Pages | eBook
  • Original Copyright 2013 | Published/Released July 2013
  • This publication's content originally published in print form: 2013
  • Price:  Sign in for price

About

Overview

Brings together theoretical and technical concepts of intelligent embedded control systems and their use in hardware and software architectures. By highlighting formal modeling, execution models, and optimal implementations, this reference source is essential for experts, researchers, and technical supporters in the industry and academia.

Table of Contents

Front Cover.
Title Page.
Copyright Page.
Associate Editors.
Table of Contents.
Detailed Table of Contents.
Preface.
1: Modeling and Scheduling of Crude Oil Operations in Refinery: A Hybrid Timed Petri Net Approach.
2: Formal Reliability Analysis of Embedded Computing Systems.
3: Liveness, Deadlock–Freeness, and Siphons.
4: Model–Based Functional Safety Analysis and Architecture Optimisation.
5: Expressing and Validating OCL Constraints Using Graphs.
6: A UML–Compliant Approach for Intelligent Reconfiguration of Embedded Control Systems.
7: Development of Automated Systems Using Proved B Patterns.
8: Emerging Real–Time Methodologies.
9: Merging and Splitting Petri Net Models Within Distributed Embedded Controller Design.
10: Safety Reconfiguration of Embedded Control Systems.
11: Task Scheduling under Uncertain Timing Constraints in Real–Time Embedded Systems.
12: New Optimal Solutions for Real–Time Reconfigurable Periodic Asynchronous OS Tasks with Minimizations of Response Times.
13: Task Migration in Embedded Systems: Design and Performance.
14: Wireless IEEE 802.11–Based Networking Approaches for Industrial Networked Systems.
15: Hardware/Software Implementation for Wireless Sensor Network Applications.
16: Hybrid FlexRay/CAN Automotive Networks.
17: Emerging Technologies for Industrial Wireless Sensor Networks.
18: Numerical Simulation of Distributed Dynamic Systems using Hybrid Tools of Intelligent Computing.
19: Multi–Core Embedded Systems.
20: Securing Embedded Computing Systems through Elliptic Curve Cryptography.
21: Security and Cryptographic Engineering in Embedded Systems.
22: Flash–Based Storage in Embedded Systems.
23: EAST–ADL: An Architecture Description Language for Automotive Software–Intensive Systems.
Compilation of References.
About the Contributors.
Index.