You are previewing Handbook of Research on Embedded Systems Design.
O'Reilly logo
Handbook of Research on Embedded Systems Design

Book Description

As real-time and integrated systems become increasingly sophisticated, issues related to development life cycles, non-recurring engineering costs, and poor synergy between development teams will arise. The Handbook of Research on Embedded Systems Design provides insights from the computer science community on integrated systems research projects taking place in the European region. This premier references work takes a look at the diverse range of design principles covered by these projects, from specification at high abstraction levels using standards such as UML and related profiles to intermediate design phases. This work will be invaluable to designers of embedded software, academicians, students, practitioners, professionals, and researchers working in the computer science industry.

Table of Contents

  1. Cover
  2. Title Page
  3. Copyright Page
  4. Book Series
  5. Editorial Advisory Board and List of Reviewers
    1. Editorial Advisory Board
    2. List of Reviewers
  6. Preface
    1. BACKGROUND
    2. TARGET AUDIENCE
    3. CHAPTER OUTLINES
    4. CONCLUSION
    5. REFERENCES
  7. Acknowledgment
  8. Section 1: Research Perspective: Software and Hardware Design
    1. Chapter 1: Collaborative Development of Dependable Cyber-Physical Systems by Co-Modeling and Co-Simulation
      1. ABSTRACT
      2. 1. INTRODUCTION
      3. 2. BACKGROUND
      4. 3. CO-MODELING AND CO-SIMULATION IN CRESCENDO
      5. 4. CO-MODELING AND CO-SIMULATION IN THE DESIGN FLOW
      6. 5. FROM EMBEDDED TO CYBER-PHYSICAL SYSTEMS
      7. 6. CONCLUDING REMARKS
      8. ACKNOWLEDGMENT
      9. REFERENCES
      10. KEY TERMS AND DEFINITIONS
      11. ENDNOTES
    2. Chapter 2: UML MARTE Time Model and Its Clock Constraint Specification Language
      1. ABSTRACT
      2. INTRODUCTION
      3. THE UML PROFILE FOR MARTE
      4. EXAMPLE: SPECIFICATION OF THE CRUISE CONTROL SYSTEM
      5. MODELING WITH MARTE/CCSL AND EAST-ADL
      6. ANALYSIS AND INTERPRETATION OF MODELS
      7. RELATED WORK
      8. CONCLUSION
      9. REFERENCES
      10. ADDITIONAL READING
      11. KEY TERMS AND DEFINITIONS
      12. ENDNOTES
    3. Chapter 3: Symbolic-Based Monitoring for Embedded Applications
      1. ABSTRACT
      2. INTRODUCTION: HOW IT ALL BEGAN
      3. BACKGROUND
      4. RELATED WORK
      5. SYMBOLIC MONITORING METHODOLOGY
      6. AUTOMOTIVE CASE STUDY: BLUETOOTH PROTOCOL
      7. PROPERTY EVALUATION METHODOLOGY
      8. INDUSTRIAL EXPERIMENTATIONS AND RESULTS
      9. FUTURE RESEARCH DIRECTIONS
      10. CONCLUSION
      11. REFERENCES
      12. ADDITIONAL READING
      13. KEY TERMS AND DEFINITION
      14. ENDNOTES
    4. Chapter 4: Designing Resource-Constrained Embedded Heterogeneous Systems to Cope with Variability
      1. ABSTRACT
      2. INTRODUCTION
      3. BACKGROUND: VARIABILITY IN MULTICORE SYSTEMS
      4. CURRENT APPROACHES
      5. MODEL-DRIVEN ENGINEERING IN TOUCHMORE
      6. THE TOUCHMORE SOFTWARE TOOLCHAIN
      7. FUTURE RESEARCH DIRECTIONS
      8. CONCLUSION
      9. REFERENCES
      10. ADDITIONAL READING
      11. KEY TERMS AND DEFINITIONS
    5. Chapter 5: Vulnerabilities of Secure and Reliable Low-Power Embedded Systems and Their Analysis Methods
      1. ABSTRACT
      2. INTRODUCTION
      3. OBJECTIVES
      4. SENSITIVITY OF LOW-POWER EMBEDDED SYSTEMS
      5. FUTURE RESEARCH DIRECTIONS
      6. CONCLUSION
      7. ACKNOWLEDGMENT
      8. REFERENCES
      9. ADDITIONAL READING
      10. KEY TERMS AND DEFINITIONS
    6. Chapter 6: An Aspect-Oriented Approach to Hardware Fault Tolerance for Embedded Systems
      1. ABSTRACT
      2. INTRODUCTION
      3. RELATED WORK
      4. METAPROGRAMMING THE DESIGN OF DEPENDABLE AND SECURE HDL-BASED EMBEDDED SYSTEMS
      5. DEALING WITH WHITE AND BLACK BOX IP CORES AS CASE STUDIES
      6. ANALYSIS OF RESULTS AND DISCUSSION
      7. CONCLUSION AND OPEN CHALLENGES
      8. ACKNOWLEDGMENT
      9. REFERENCES
      10. KEY TERMS AND DEFINITIONS
    7. Chapter 7: Optimized System-Level Design Methods for NoC-Based Many Core Embedded Systems
      1. ABSTRACT
      2. INTRODUCTION
      3. BACKGROUND
      4. OPTIMIZED SYSTEM LEVEL DESIGN METHODS
      5. CONCLUSION AND FUTURE RESEARCH DIRECTIONS
      6. REFERENCES
      7. KEY TERMS AND DEFINITIONS
  9. Section 2: Development Methodologies and Tool Suites
    1. Chapter 8: MADES FP7 EU Project
      1. ABSTRACT
      2. INTRODUCTION
      3. BACKGROUND
      4. AN OVERVIEW OF THE MADES PROJECT
      5. CAR COLLISION AVOIDANCE SYSTEM EXAMPLE
      6. FUTURE RESEARCH DIRECTIONS
      7. CONCLUSION
      8. ACKNOWLEDGMENT
      9. REFERENCES
      10. KEY TERMS AND DEFINITIONS
      11. ENDNOTES
    2. Chapter 9: Requirements Refinement and Component Reuse
      1. ABSTRACT
      2. INTRODUCTION
      3. BACKGROUND
      4. CONTRACT-BASED REQUIREMENTS REFINEMENT AND COMPONENT REUSE
      5. CASE STUDIES
      6. CONCLUSION AND FUTURE RESEARCH DIRECTIONS
      7. REFERENCES
      8. KEY TERMS AND DEFINITIONS
    3. Chapter 10: Model-Based Analysis and Engineering of Automotive Architectures with EAST-ADL
      1. ABSTRACT
      2. INTRODUCTION
      3. BACKGROUND
      4. PRINCIPLES OF THE OVERAL SYSTEM DEVELOPMENT PROCESS
      5. EAST-ADL METHODOLOGY: SWIMLANES AND MAIN ACTIVITIES
      6. MODELS AND VERIFICATION IN THE CORE LANE
      7. MODELS AND VERIFICATION IN THE SAFETY LANE
      8. MODELS AND VERIFICATION IN THE TIMING LANE
      9. BEYOND ISOLATED LANE ACTIVITIES: MULTI-OBJECTIVE OPTIMISATION
      10. CONCLUSION AND FUTURE WORK
      11. REFERENCES
      12. KEY TERMS AND DEFINITIONS
      13. ENDNOTES
    4. Chapter 11: Fostering Analysis from Industrial Embedded Systems Modeling
      1. ABSTRACT
      2. INTRODUCTION
      3. BACKGROUND
      4. RATIONALE OF THE APPROACH
      5. SOLUTIONS AND RECOMMENDATIONS
      6. EXPERIMENTS ON APPLYING THE PRESTO METHOD
      7. APPLICATION OF THE PRESTO METHOD
      8. RESULTS AND DISCUSSION
      9. ANALYSIS RESULTS
      10. FUTURE RESEARCH DIRECTIONS
      11. CONCLUSION
      12. REFERENCES
      13. KEY TERMS AND DEFINITIONS
    5. Chapter 12: A Model-Driven Engineering Method for DRE Defense Systems Performance Analysis and Prediction
      1. ABSTRACT
      2. BACKGROUND
      3. RELATED WORK
      4. PROPOSED APPROACH
      5. INDUSTRY CASE STUDY
      6. CONCLUSION
      7. REFERENCES
      8. ADDITIONAL READING
      9. KEY TERMS AND DEFINITIONS
      10. ENDNOTES
  10. Section 3: Industry Perspective and Applications
    1. Chapter 13: Industrial Applications of Emulation Techniques for the Early Evaluation of Secure Low-Power Embedded Systems
      1. ABSTRACT
      2. INTRODUCTION
      3. OBJECTIVES
      4. BACKGROUND
      5. EMULATION TECHNIQUES FOR THE EARLY DESIGN EVALUATIONS
      6. INDUSTRIAL CASE STUDIES
      7. FUTURE RESEARCH DIRECTIONS
      8. CONCLUSION
      9. ACKNOWLEDGMENT
      10. REFERENCES
      11. ADDITIONAL READING
      12. KEY TERMS AND DEFINITIONS
    2. Chapter 14: Dynamically Reconfigurable Embedded Architectures for Safe Transportation Systems
      1. ABSTRACT
      2. INTRODUCTION
      3. DYNAMIC AND PARTIAL RECONFIGURATION IN FPGAS FOR AUTOMOTIVE ELECTRONIC SYSTEMS
      4. DRIVER ASSISTANT SYSTEM APPLICATION AND THEIR REAL-TIME CONSTRAINTS
      5. DYNAMIC PARTIAL RECONFIGURATION FOR MULTIPLE TARGET TRACKING IN DRIVER ASSISTANT SYSTEM
      6. CONCLUSION AND FUTURE RESEARCH DIRECTIONS
      7. REFERENCES
      8. KEY TERMS AND DEFINITIONS
    3. Chapter 15: Embedded Virtualization Techniques for Automotive Infotainment Applications
      1. ABSTRACT
      2. INTRODUCTION
      3. VIRTUALIZATION TECHNIQUES
      4. HYPERVISORS
      5. OPERATING SYSTEM-LEVEL VIRTUALIZATION
      6. VIRTUALIZATION AND AUTOMOTIVE INFOTAINMENT APPLICATIONS
      7. QUANTITATIVE COMPARISON OF VIRTUALIZATION SOLUTIONS
      8. CONCLUSION
      9. ACKNOWLEDGMENT
      10. REFERENCES
      11. KEY TERMS AND DEFINITIONS
    4. Chapter 16: Studying Individualized Transit Indicators Using a New Low-Cost Information System
      1. ABSTRACT
      2. INTRODUCTION
      3. CURRENT TECHNOLOGIES
      4. OBJECTIVES AND EXPECTED RESULTS
      5. DATA ANALISYS
      6. FUTURE RESEARCH DIRECTIONS
      7. CONCLUSION
      8. ACKNOWLEDGMENT
      9. REFERENCES
      10. ADDITIONAL READING
      11. KEY TERMS AND DEFINITIONS
    5. Chapter 17: Mission Critical Embedded System Development Process
      1. ABSTRACT
      2. INTRODUCTION
      3. COMPLEXITY
      4. TIME TO MARKET
      5. COSTS
      6. DEVELOPMENT PROCESS
      7. TXT E-SOLUTIONS
      8. MANAGING CRITICAL FACTORS DURING DEVELOPMENT
      9. CONCLUSION
      10. REFERENCES
      11. KEY TERMS AND DEFINITIONS
      12. ENDNOTES
    6. Chapter 18: Framework-Based Debugging for Embedded Systems
      1. ABSTRACT
      2. INTRODUCTION
      3. COMPLEXITY IN EMBEDDED SYSTEMS
      4. DEBUGGING PORTABLE EMBEDDED SYSTEMS
      5. FUTURE RESEARCH DIRECTIONS
      6. CONCLUSION
      7. REFERENCES
      8. KEY TERMS AND DEFINITIONS
    7. Chapter 19: Industrial Experiments in IMS, ATC, and SDR Projects of Property Verification Techniques
      1. ABSTRACT
      2. PROPERTY DEFINITION
      3. TECHNOLOGIES
      4. VERIFYING THE PROPERTIES WITH EXHAUSTIVE SIMULATION
      5. USE CASES
      6. CONCLUSION
      7. REFERENCES
      8. KEY TERMS AND DEFINITIONS
  11. Compilation of References
  12. About the Contributors