A Methodology for Structure Temporal Constraints in Hardware/Software Co-analysis and Co-design of Real- Time Systems

The hardware/software co-design of a high-quality eal-time system relies heavily on the modeling of both he hardware and software components from three spects: structures, functionalities, and constraints, specially the temporal constraints. However, there is not systematic process for the elicitation and analysis of emporal constraints in hardware/software co-design. urthermore, existing object-oriented methods provide no eans for the explicit specification of system/component onstraints in object models. This paper presents a ystematic methodology for structured object-oriented nalysis and specification of temporal constraints in ardware/software co-analysis and co-design using an xtended High-Order Object-Oriented Modeling echnique (HOOMT). This methodology hierarchically licits and analyzes the temporal constraints in ardware/software co-design based on the integration of he High-Order Object Model (HOOM) and Hierarchical imed Automata (HTA). It helps to identify temporal onstraints of hardware and software components as well s their interactions level by level. In addition, it helps race the relationships among these constraints at ultiple levels during the co-design of real-time systems. case study from the hardware/software co-design of the imulated FACTS Power Transmission System is used to llustrate the feasibility and merits of this methodology. eyword