real-timeembeddedsoftwaresynthesis即时嵌入式软体合成.pptVIP

2001/11/29 國立中正大學資訊工程學系熊博安 Real-Time Embedded Software Synthesis即時嵌入式軟體合成 熊博安 國立中正大學資訊工程學系 民國九十年十一月廿九日 What do I want to talk about ? What is a real-time system? What is an embedded system? Why software? Why synthesis? How to generate code automatically? Real-world applications? Future work? What is a REAL-TIME SYSTEM? Timely Response Predictable Response System Correctness: Timing (period, deadlines, etc.) Function Constraints: Hard (meet ALL deadlines) Soft (miss SOME deadlines) Examples of Real-Time Systems What is an EMBEDDED SYSTEM? Installed in a larger system Dedicated task Small Memory Space (200~400 KB) Low Processing Power (100~200 MHz) Unstable Environment (mobile, …) Reactive Real-Time Embedded Systems Example Embedded System Architecture Why SOFTWARE? more than 70% software in many real-time embedded systems!!! software is more flexible and easily reconfigurable, hence more errors!!! real-time ?  need correct software embedded ?  need small, efficient software Why SYNTHESIS? More software ? high complexity ? need for automatic design (synthesis) Eliminate human and logical errors Relatively immature synthesis techniques for software Code optimizations size efficiency Automatic code generation How to generate CODE automatically? Real-Time Embedded System Model? Set of concurrent tasks with memory and timing constraints! How to execute in an embedded system (e.g. 1 CPU, 100 KB Mem)? Task Scheduling! How to generate code?Map schedules to software code! Code optimizations?Minimize size, maximize efficiency! Design Issues and Solutions Real-Time Embedded System Model Synthesis Algorithm (Hard RTES) Synthesize_Hard_RTES(S, ?, ? ) { QSS = Quasi_Static_Schedule(S, ?); If (QSS = NULL) return MemOverFlow; RTS = Real_Time_Sched(S, QSS, ? ); If (RTS = NULL) return RTS_Error; else Code = Code_Gen(S,QSS,RTS); return Code; } Synthesis Algorithm (Soft RTES) Synthesize_Soft_RTES(S, ?, ? ) { QSS = Quasi_Static_Schedule(S, ?); If (QSS = NULL) return MemOverFl