You are previewing Embedded Computing Systems.
O'Reilly logo
Embedded Computing Systems

Book Description

Embedded computing systems play an important and complex role in the functionality of electronic devices. With our daily routines becoming more reliant on electronics for personal and professional use, the understanding of these computing systems is crucial. Embedded Computing Systems: Applications, Optimization, and Advanced Design 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

  1. Cover
  2. Title Page
  3. Copyright Page
  4. Editorial Advisory Board and List of Reviewers
    1. Associate Editors
  5. Preface
  6. Chapter 1: Modeling and Scheduling of Crude Oil Operations in Refinery
    1. ABSTRACT
    2. 1. INTRODUCTION
    3. 2. THE PROCESS AND ITS SHORT-TERM SCHEDULING
    4. 3. HYBRID PETRI NET MODELING
    5. 4. SCHEDULABILITY AND DETAILED SCHEDULING FOR A ONE DISTILLER SYSTEM
    6. 5. SCHEDULABILITY AND DETAILED SCHEDULING FOR SYSTEM WITH MULTIPLE DISTILLERS
    7. 6. REFINING SCHEDULING
    8. 7. AN INDUSTRIAL CASE STUDY
    9. CONCLUSION
  7. Chapter 2: Formal Reliability Analysis of Embedded Computing Systems
    1. ABSTRACT
    2. INTRODUCTION
    3. FORMAL RELIABILITY ANALYSIS USING HOL THEOREM PROVER
    4. APPLICATIONS
    5. CONCLUSION
  8. Chapter 3: Liveness, Deadlock-Freeness, and Siphons
    1. ABSTRACT
    2. 1. INTRODUCTION
    3. 2. BASIC DEFINITIONS AND NOTATIONS
    4. 3. K-SYSTEMS
    5. 4. STRUCTURAL NON-LIVENESS CHARACTERIZATION
    6. 5. DEAD-CLOSED SYSTEMS
    7. 6. OTHER SUBCLASSES BASED ON T-INVARIANTS
    8. CONCLUSION
  9. Chapter 4: Model-Based Functional Safety Analysis and Architecture Optimisation
    1. ABSTRACT
    2. INTRODUCTION
    3. BACKGROUND
    4. HIP-HOPS
    5. CONCLUSION
  10. Chapter 5: Expressing and Validating OCL Constraints using Graphs
    1. 1. INTRODUCTION
    2. 2. CONSIDERED GRAPHS
    3. 3. GRAPH CONSTRAINTS PATTERNS
    4. 4. THE USE OF GRAPH CONSTRAINTS IN GRAPHS
    5. 5. ILLUSTRATION EXAMPLE
    6. 6. DISCUSSION AND FURTHER WORK
  11. Chapter 6: A UML-Compliant Approach for Intelligent Reconfiguration of Embedded Control Systems
    1. ABSTRACT
    2. INTRODUCTION
    3. BACKGROUND
    4. A UML-COMPLIANT APPROACH FOR THE DESIGN OF RECONFIGURABLE ECS
    5. RUNNING EXAMPLES
    6. FUTURE RESEARCH DIRECTIONS
    7. CONCLUSION
  12. Chapter 7: Development of Automated Systems using Proved B Patterns
    1. ABSTRACT
    2. 1. INTRODUCTION
    3. 2. PATTERNS
    4. 3. OVERVIEW OF THE EVENT-B METHOD
    5. 4. B REFINEMENT PATTERNS: AN APPROACH FOR REUSING PATTERNS IN B
    6. 5. INDUSTRIAL CASE STUDY: THE MIXER-WEIGHER PROCESS
    7. CONCLUSION AND PERSPECTIVES
  13. Chapter 8: Emerging Real-Time Methodologies
    1. ABSTRACT
    2. 1. INTRODUCTION
    3. 2. PREDICTABLE SCHEDULING
    4. 3. ACHIEVING TEMPORAL ISOLATION
    5. 4. ADAPTING TO DYNAMIC LOADS
    6. CONCLUSION AND PERSPECTIVES
  14. Chapter 9: Merging and Splitting Petri Net Models within Distributed Embedded Controller Design
    1. ABSTRACT
    2. 1. INTRODUCTION
    3. 2. BACKGROUND AND RELATED WORKS
    4. 3. IOPT NETS
    5. 4. DISTRIBUTED EMBEDDED CONTROLLERS DEVELOPMENT FLOW
    6. 5. TOOLS FRAMEWORK
    7. 6. DISCUSSION ON FUTURE TRENDS
    8. CONCLUSION
  15. Chapter 10: Safety Reconfiguration of Embedded Control Systems
    1. ABSTRACT
    2. INTRODUCTION
    3. STATE OF ART
    4. BENCHMARK PRODUCTION SYSTEM: FESTO
    5. SOFTWARE CONTROL COMPONENTS
    6. RECONFIGURATION AGENT
    7. REAL-TIME TASK: DEFINITION, DYNAMIC RECONFIGURATION, SCHEDULING, AND IMPLEMENTATION
    8. CONCLUSION
  16. Chapter 11: Task Scheduling under Uncertain Timing Constraints in Real-Time Embedded Systems
    1. ABSTRACT
    2. 1. INTRODUCTION
    3. 2. REAL-TIME SCHEDULING WITH DEADLINES AND PROCESSING TIMES AS TRIANGULAR FUZZY MF
    4. 3. REAL-TIME SCHEDULING WITH TASK DEADLINES AND PROCESSING TIMES AS PARAMETRIC FUZZY NUMBERS
    5. 4. SIMULATION RESULTS
    6. CONCLUSION AND FUTURE DIRECTIONS
  17. Chapter 12: New Optimal Solutions for Real-Time Reconfigurable Periodic Asynchronous OS Tasks with Minimizations of Response Times
    1. ABSTRACT
    2. INTRODUCTION
    3. BACKGROUND
    4. STATE OF THE ART ON RECONFIGURABLE EMBEDDED SYSTEMS
    5. PROBLEMS
    6. CONTRIBUTIONS
    7. CONTRIBUTION 1: NEW THEORETICAL PRELIMINARIES
    8. CONTRIBUTION 2: AGENT-BASED REAL-TIME RECONFIGURABLE MODEL
    9. CONTRIBUTION 3: OPTIMIZATION OF RESPONSE TIME
    10. EXPERIMENTAL ANALYSIS AND DISCUSSION
    11. FUTURE RESEARCH DIRECTIONS
    12. CONCLUSION
  18. Chapter 13: Task Migration in Embedded Systems
    1. ABSTRACT
    2. INTRODUCTION
    3. 1. STATE ART OF PERFORMANCE ESTIMATION IN MPSOC DESIGN
    4. 2. AN APPROACH FOR PERFORMANCE ESTIMATION OF MPSOC SYSTEMS WITH SDF GRAPHS
    5. 3. CASE STUDY: THE MJPEG DECODER
    6. CONCLUSION
  19. Chapter 14: Wireless IEEE 802.11-Based Networking Approaches for Industrial Networked Systems
    1. ABSTRACT
    2. 1. INTRODUCTION
    3. 2. IEEE 802.11 MEDIUM ACCESS MECHANISMS
    4. 3. RT COMMUNICATION IN IEEE 802.11 WIRELESS NETWORKS
    5. 4. RT IEEE 802.11 SOLUTIONS CLASSIFICATION
    6. 5. REAL-TIME FRAMEWORK FOR CSMA-BASED NETWORKS
    7. CONCLUSION
  20. Chapter 15: Hardware/Software Implementation for Wireless Sensor Network Applications
    1. ABSTRACT
    2. INTRODUCTION
    3. BACKGROUND
    4. PROBLEMS OF DWT IMPLEMENTATION IN WSN
    5. HW/SW IMPLEMENTATION OF DWT
    6. CHOICE OF THE ROUTING PROTOCOL FOR THE PROPOSED SYSTEM
    7. FUTURE RESEARCH DIRECTIONS
    8. CONCLUSION
  21. Chapter 16: Hybrid FlexRay/CAN Automotive Networks
    1. ABSTRACT
    2. 1. INTRODUCTION
    3. 2. FLEXRAY COMMUNICATION SYSTEM
    4. 3. CONTROLLER AREA NETWORK (CAN)
    5. 4. AUTOMOTIVE GATEWAYS
    6. SUMMARY
  22. Chapter 17: Emerging Technologies for Industrial Wireless Sensor Networks
    1. ABSTRACT
    2. INTRODUCTION
    3. WIRELESS COMMUNICATIONS IN INDUSTRIAL ENVIRONMENTS
    4. IEEE 802.15.4
    5. IEEE 802.15.5
    6. WIRELESSHART
    7. ISA100.11A
    8. IEC/PAS 62601: WIA-PA
    9. A COMPARISON OF INDUSTRIAL WIRELESS SENSOR NETWORK TECHNOLOGIES
    10. CONCLUSION
  23. Chapter 18: Numerical Simulation of Distributed Dynamic Systems using Hybrid Tools of Intelligent Computing
    1. ABSTRACT
    2. INTRODUCTION
    3. BACKGROUND
    4. ISSUES AND PROBLEMS
    5. SOLUTIONS AND RECOMMENDATIONS
    6. FUTURE DIRECTIONS
    7. CONCLUSION
  24. Chapter 19: Multi-Core Embedded Systems
    1. ABSTRACT
    2. 1. INTRODUCTION
    3. 2. BACKGROUND
    4. 3. BUILDING MULTI-CORE SYSTEMS
    5. 4. FUTURE RESEARCH DIRECTIONS
    6. CONCLUSION
  25. Chapter 20: Securing Embedded Computing Systems through Elliptic Curve Cryptography
    1. ABSTRACT
    2. INTRODUCTION
    3. A BRIEF INTRODUCTION TO CRYPTOGRAPHIC PRIMITIVES
    4. ELLIPTIC CURVE CRYPTOGRAPHY
    5. ECC BASED EXTENSIONS OF SECURITY PROTOCOLS AND THEIR APPLICATIONS ON EMBEDDED SYSTEMS
    6. CONCLUSION AND FUTURE RESEARCH
  26. Chapter 21: Security and Cryptographic Engineering in Embedded Systems
    1. ABSTRACT
    2. INTRODUCTION
    3. BACKGROUND
    4. SECURE EMBEDDED SYSTEM ARCHITECTURE
    5. CRYPTOGRAPHIC ACCELERATORS FOR EMBEDDED SYSTEMS
    6. HARDWARE ATTACKS ON SECURITY EMBEDDED SYSTEM
    7. FUTURE RESEARCH DIRECTIONS
    8. CONCLUSION
  27. Chapter 22: Flash-Based Storage in Embedded Systems
    1. ABSTRACT
    2. INTRODUCTION
    3. FLASH STORAGE BASICS
    4. HARDWARE SUPPORT OF FLASH STORAGE SYSTEMS (THE FLASH TRANSLATION LAYER)
    5. SOFTWARE SUPPORT OF FLASH MEMORY SYSTEMS (FLASH FILE SYSTEMS, THE CASE OF LINUX)
    6. CONCLUSION
  28. Chapter 23: EAST-ADL
    1. ABSTRACT
    2. INTRODUCTION
    3. CHALLENGES FOR MODELING AUTOMOTIVE EMBEDDED SYSTEMS
    4. EAST-ADL META-MODELING APPROACH
    5. EAST-ADL MODELING CONCEPTS
    6. METHODOLOGY
    7. RELATED APPROACHES
    8. CONCLUSION
  29. Compilation of References
  30. About the Contributors