Description
Real-time systems are ones in which correctness depends not only on logical correctness but also on timeliness. For complex real-time systems, it is necessary to develop them as hierarchical systems with real-time components with resource interfaces. This project is to develop abstraction and composition techniques for resource interface while ensuring compositional analysis.