EMBEDDED SYSTEMS AND SOFTWARE VALIDATION (H/C)

MODERN EMBEDDED SYSTEMS REQUIRE HIGH PERFORMANCE, LOW COST AND LOW POWER CONSUMPTION. SUCH SYSTEMS TYPICALLY CONSIST OF A HETEROGENEOUS COLLECTION OF PROCESSORS, SPECIALIZED MEMORY SUBSYSTEMS, AND PARTIALLY PROGRAMMABLE OR FIXED-FUNCTION COMPONENTS. THIS HETEROGENEITY, COUPLED WITH ISSUES SUCH AS HARDWARE/SOFTWARE PARTITIONING, MAPPING, SCHEDULING, ETC., LEADS TO A LARGE NUMBER OF DESIGN POSSIBILITIES, MAKING PERFORMANCE DEBUGGING AND VALIDATION OF SUCH SYSTEMS A DIFFICULT PROBLEM. EMBEDDED SYSTEMS ARE USED TO CONTROL SAFETY CRITICAL APPLICATIONS SUCH AS FLIGHT CONTROL, AUTOMOTIVE ELECTRONICS AND HEALTHCARE MONITORING. CLEARLY, DEVELOPING RELIABLE SOFTWARE/SYSTEMS FOR SUCH APPLICATIONS IS OF UTMOST IMPORTANCE. THIS BOOK DESCRIBES A HOST OF DEBUGGING AND VERIFICATION METHODS WHICH CAN HELP TO ACHIEVE THIS GOAL. IT COVERS THE MAJOR ABSTRACTION LEVELS OF EMBEDDED SYSTEMS DESIGN, STARTING FROM SOFTWARE ANALYSIS AND MICRO-ARCHITECTURAL MODELING, TO MODELING OF RESOURCE SHARING AND COMMUNICA