Research On Hardware/Software Co-Design Scheduling Technologies Based On Co-Design Model

With the more and more complex design and the development and maturity of technologies, HW/SW Co-Design of the embedded systems has gradually become one hot research domain. HW/SW Co-Design Scheduling is the key issue of HW/SW Co-Design thechnologies.In this thesis we study two issues related to high-level Hardware/Software Co-Design Scheduling Technologies based on Co-Design Model.The first issue is the System modeling technologies. We extensively define the CDM (Co-Design Model) proposed by Germany Darmstadt University, where our work is focused on the definitions of communication time and signal synchronization in order to achieve more accurate description of system timing properties. Hence, the scheduling simulation analysis can be more efficiently processed. The second issue is the design of Scheduling Simulation tools and we have bulit the FSSF framework (flexible scheduling simulation framework) on the basis of SystemC. This framework provides an effective HW/SW Co-Design scheduling simulation tool for embedded system design.The author's main contributions in this dissertation are as follows:1. Based on the CDM model, this thesis innovatively proposed the extensive definitions of CDM model on communication time and signal synchronization. The extension supports the selecting strategy of multiply input signals under the circumstance that system timing properties are defined. After the concept of signal synchronization is introduced into the system-level modeling, we can get more accurate system timing analysis results with very limited increase of computation complexity.2. We have designed a scheduling simulation framework named FSSF (Flexible Scheduling Simulation Framework) for system-level design verification and evaluation. This framework is based on SystemC language, which supports the co-scheduling of heteromerous systems and the simulation of multi-scheduling strategies. Under this framework, the system's function and timing constraints can be verified and the selection of system architectures and scheduling strategies can be evaluated.3. Based on the above-mentioned technologies, we designed and implemented a simple telephone system on the iCDMdt platform (integrated CDM Design and Test). The telephone system is modeled by the extension CDM model, and verified on the FSSF framework. The simulation results confirm the feasibility and accuracy of our extensive timing definitions and show great effectiveness of the FSSF .