Embedded System Design: Embedded Systems Foundations Of Cyber-Physical Systems, And The Internet Of Things

A UNIQUE FEATURE OF THIS TEXTBOOK IS TO PROVIDE A COMPREHENSIVE INTRODUCTION TO THE FUNDAMENTAL KNOWLEDGE IN EMBEDDED SYSTEMS, WITH APPLICATIONS IN CYBER-PHYSICAL SYSTEMS AND THE INTERNET OF THINGS. IT STARTS WITH AN INTRODUCTION TO THE FIELD AND A SURVEY OF SPECIFICATION MODELS AND LANGUAGES FOR EMBEDDED AND CYBER-PHYSICAL SYSTEMS. IT PROVIDES A BRIEF OVERVIEW OF HARDWARE DEVICES USED FOR SUCH SYSTEMS AND PRESENTS THE ESSENTIALS OF SYSTEM SOFTWARE FOR EMBEDDED SYSTEMS, INCLUDING REAL-TIME OPERATING SYSTEMS. THE AUTHOR ALSO DISCUSSES EVALUATION AND VALIDATION TECHNIQUES FOR EMBEDDED SYSTEMS AND PROVIDES AN OVERVIEW OF TECHNIQUES FOR MAPPING APPLICATIONS TO EXECUTION PLATFORMS, INCLUDING MULTI-CORE PLATFORMS. EMBEDDED SYSTEMS HAVE TO OPERATE UNDER TIGHT CONSTRAINTS AND, HENCE, THE BOOK ALSO CONTAINS A SELECTED SET OF OPTIMIZATION TECHNIQUES, INCLUDING SOFTWARE OPTIMIZATION TECHNIQUES. THE BOOK CLOSES WITH A BRIEF SURVEY ON TESTING. THIS THIRD EDITION HAS BEEN UPDATED AND REVISED TO REFLECT NEW TRENDS AND TECHNOLOGIES, SUCH AS THE IMPORTANCE OF CYBER-PHYSICAL SYSTEMS AND THE INTERNET OF THINGS, THE EVOLUTION OF SINGLE-CORE PROCESSORS TO MULTI-CORE PROCESSORS, AND THE INCREASED IMPORTANCE OF ENERGY EFFICIENCY AND THERMAL ISSUES.