Timed Simulation with Multiple Resource Schedulability Analysis

Target applications we consider in this project are model-based computer controlled systems, for which the re-quired system response is deterministic both in value and time. Specification of real-time software components for multiple resources and multi-domain timed simulation is discussed. We describe a simulation framework in the Ptolemy modeling environment that takes into account tim-ing requirements of the model software components and al-lows for schedulability analysis. In this framework both a static and dynamic scheduling mechanism is proposed.