You are previewing Reconfigurable Embedded Control Systems.
O'Reilly logo
Reconfigurable Embedded Control Systems

Book Description

Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility addresses the development of reconfigurable embedded control systems and describes various problems in this important research area, which include static and dynamic (manual or automatic) reconfigurations, multi-agent architectures, modeling and verification, component-based approaches, architecture description languages, distributed reconfigurable architectures, real-time and low power scheduling, execution models, and the implementation of such systems. The chapters contained within this reference work propose interesting and useful solutions that can be applied in future industry.

Table of Contents

  1. Cover
  2. Title Page
  3. Copyright Page
  4. Editorial Advisory Board and List of Reviewers
    1. Editorial Advisory Board
    2. List of Reviewers
  5. Preface
  6. Acknowledgment
  7. Chapter 1: Multi-Agent Reconfigurable Embedded Systems
    1. ABSTRACT
    2. INTRODUCTION
    3. BACKGROUND
    4. CONTROL COMPONENTS
    5. AGENT-BASED ARCHITECTURE FOR SAFETY EMBEDDED CONTROL SYSTEMS
    6. AUTOMATIC REFINEMENT_BASED SPECIFICATION AND VERIFICATION OF NETWORKS OF CONTROL COMPONENTS
    7. IMPLEMENTATION OF AGENTS
    8. CONCLUSION
  8. Chapter 2: Multithreaded Programming of Reconfigurable Embedded Systems
    1. ABSTRACT
    2. Introduction
    3. Background
    4. Operating Systems for Multithreaded Reconfigurable Systems-on-Chip
    5. Outlook and Future Directions
  9. Chapter 3: Zero-Downtime Reconfiguration of Distributed Control Logic in Industrial Automation and Control
    1. ABSTRACT
    2. INTRODUCTION
    3. BACKGROUND: GENERAL CONSIDERATIONS ABOUT RECONFIGURATION
    4. ENHANCED IEC 61499 DEVICE MANAGEMENT FOR DOWNTIMELESS RECONFIGURATION
    5. AN ENGINEERING METHOD FOR RECONFIGURATION OF IPMCS APPLICATIONS
    6. FUTURE RESEARCH DIRECTIONS
    7. CONCLUSION
  10. Chapter 4: Hardware Virtualization on Dynamically Reconfigurable Processors
    1. ABSTRACT
    2. Introduction
    3. Background
    4. Zippy Dynamically Reconfigurable Processor Architecture
    5. Tool Flows
    6. System-Level Cycle-Accurate Co-Simulation
    7. Hardware Virtualization on the Zippy Processor
    8. Future Trends
    9. Conclusion
  11. Chapter 5: Measurement-Based Timing Analysis for Reconfigurable Embedded Systems
    1. ABSTRACT
    2. Introduction
    3. Background: Static Worst-Case Execution-Time Analaysis
    4. Measurement-based Timing Analysis
    5. Summary and Conclusion
  12. Chapter 6: Trends in Reconfigurable Embedded Systems
    1. ABSTRACT
    2. INTRODUCTION
    3. From Platform Based to Derivative SoC design
    4. Multiprocessor System on Chip
    5. Transaction Level Modeling
    6. RECONFIGURABLE HARDWARE for EMBEDDED SYSTEMS
    7. FPGA Architecture
    8. Partial Dynamic Reconfiguration
    9. FPGA design tools and methodologies
    10. The Network on Chip communication paradigm
    11. Designing A Network on chip application
    12. Network on Chip and embedded systems
    13. SDR application: A case study
    14. Conclusion
  13. Chapter 7: Reconfiguration of Uniprocessor Sporadic Real-Time Systems
    1. ABSTRACT
    2. 1. INTRODUCTION
    3. 2. CONCEPT AND NOTATIONS
    4. 3. SENSITIVITY ANALYSIS
    5. 4. RECONFIGURATION ISSUES AT RUN TIME
    6. 5. FuTURE rESEARCH dIRECTIONS
    7. 6. Conclusion
  14. Chapter 8: On Model-Driven Engineering of Reconfigurable Digital Control Hardware Systems
    1. ABSTRACT
    2. Introduction
    3. DESIGN COMPLEXITY
    4. MODEL-DRIVEN ENGINEERING
    5. THE USE OF UML IN ESL DESIGN
    6. PROPOSED MDA DESIGN FLOW
    7. MODELING OF DIFFERENCE EQUATIONS
    8. CONCLUSION
  15. Chapter 9: A Design Methodology of MIN-Based Network for MPPSoC on Reconfigurable Architecture
    1. ABSTRACT
    2. INTRODUCTION
    3. Background
    4. Main FOCUS OF the CHAPTER
    5. FuTURE rESEARCH dIRECTIONS
    6. Conclusion
  16. Chapter 10: Reconfigurable Embedded Control Systems
    1. ABSTRACT
    2. INTRODUCTION
    3. STATE OF THE ART
    4. BACKGROUND
    5. New Reconfiguration Semantic
    6. Industrial Case Studies: Reconfiguration of Benchmark Production Systems FESTO and EnAS
    7. MULTI-AGENT ARCHITECTURE FOR RECONFIGURABLE EMBEDDED SYSTEMS
    8. NCES-BASED MODELLING AND SESA-BASED MODEL CHECKING OF DISTRIBUTED RECONFIGURABLE EMBEDDED SYSTEMS
    9. CONCLUSION AND FUTURE WORKS
  17. Chapter 11: Performance Analysis of FPGA Architectures based Embedded Control Applications
    1. ABSTRACT
    2. Introduction
    3. Background
    4. State of the Art
    5. Contributions
    6. MPSoC Architecture templates
    7. RT control application Specification
    8. Shared memory based control system design
    9. MailBox based control system design
    10. Hw Controller coprocessor design
    11. Hw interfaces design
    12. FuTURE rESEARCH dIRECTIONS
    13. Conclusion
  18. Chapter 12: FPGA-Based Accelerators for Bioinformatics Applications
    1. ABSTRACT
    2. 1. Introduction
    3. 2. Pairwise Comparison and Sequence-Profile AlignmenT
    4. 3. FPGA-Based Accelerators for Pairwise Comparison
    5. 4. FPGA-based Accelerators for Sequence-Profile Comparison
    6. 5. Conclusion and Perspectives
  19. Chapter 13: Formal Analysis of Real-Time Systems
    1. ABSTRACT
    2. INTRODUCTION
    3. Preliminaries
    4. Probabilistic Theorem Proving based Methodology
    5. Stop-and-Wait Protocol
    6. Formal Specification of the Stop-and-Wait Protocol
    7. Initial Conditions
    8. Assumptions
    9. Functional Verification of the Stop-and-Wait Protocol
    10. Performance Analysis of the Stop-and-Wait Protocol
    11. Conclusion
  20. Chapter 14: Formal Methods for Verifications of Reactive Systems
    1. ABSTRACT
    2. INTRODUCTION
    3. RELATED WORK
    4. BACKGROUND
    5. THE LANGUAGE TLA+
    6. SUPPORTED TOOL: TLC MODEL CHECKER
    7. ASSIGNING TEMPORAL MEANING TO B MODELS
    8. VERIFICATION RULES OF LIVENESS PROPERTIES IN TEMPORAL EVENT-B SYSTEMS
    9. REFINEMENT OF LIVENESS PROPERTIES IN TEMPORAL EVENT-B SYSTEMS
    10. TRANSLATION RULES FROM A TEMPORAL B MODEL INTO A TLA+ MODULE
    11. PROTOTYPE SYSTEM B2TLA+
    12. CASE STUDY: A PARCEL SORTING SYSTEM PSS
    13. CONCLUSION
  21. Chapter 15: Petri Net Based Deadlock Prevention Approach for Flexible Manufacturing Systems
    1. ABSTRACT
    2. background
    3. PRELIMINARIES OF PETRI NETS
    4. EXAMPLES
    5. CONCLUSION
  22. Chapter 16: Choosing the Optimized OS for an MPSoC Embedded System
    1. ABSTRACT
    2. Introduction
    3. Embedded Systems, RTOS and SoC
    4. OS Structure
    5. OS functions and services
    6. OS case studies
    7. Conclusion
  23. Chapter 17: Specification and Validation of Real Time Systems
    1. ABSTRACT
    2. INTRODUCTION
    3. BACKGROUND
    4. GENERAL VIEW OF FNLOG: A LOGIC-BASED FUNCTIONAL SPECIFICATION LANGUAGE
    5. THE PROPOSED SPECIFICATION AND VALIDATION METHOD
    6. CASE STUDY 1. GAS-BURNER
    7. CASE STUDY 2. A ROBOT EXAMPLE
    8. CONCLUSION
    9. Appendix A: Additional Axioms for the FNLOG Proof System
  24. Chapter 18: Flexible Implementation of Industrial Real-Time Servo Drive System
    1. Abstract
    2. INTRODUCTION
    3. BACKGROUND
    4. State of the Art
    5. CONTRIBUTION
    6. CO-DESIGN APPROACH FOR MOTOR CONTROL
    7. EMBEDDED CONTROL CASE STUDIES
    8. EXPERIMENTAL RESULTS
    9. FUTURE TRENDS
    10. CONCLUSION
  25. Chapter 19: A Model-Based Approach to Configure and Reconfigure Avionics Systems
    1. Abstract
    2. INTRODUCTION
    3. CONTEXT
    4. PROBLEMS
    5. RELATED WORK
    6. NEW APPROACH FOR SAFETY-CRITICAL SYSTEMS DEVELOPMENT
    7. ARCHITECTURE MODELING
    8. CONFIGURATION REQUIREMENTS ENFORCEMENT WITH AADL
    9. AUTOMATIC CONFIGURATION AND IMPLEMENTATION FROM AADL
    10. PERSPECTIVES
    11. CONCLUSION
  26. Chapter 20: Iterative Knowledge Based Embedded Systems Development Framework
    1. Abstract
    2. 1. INTRODUCTION
    3. 2. BACKGROUND AND RELATED RESEARCH
    4. 3. PROPOSED DESIGN OF THE ENVIRONMENT
    5. 4. THE DEVELOPMENT ENVIRONMENT
    6. 5. VALIDATION TEST IMPLEMENTATION
    7. 6. GENERATION OF SYSTEMC USING XML AND IKBCG
    8. 7. CONCLUSIONS AND FUTURE RESEARCH
  27. Compilation of References
  28. Index