SAT-a schedulability analysis tool for real-time applications

The process of guaranteeing that real-time software will meet its timing requirements, is referred to as schedulability analysis. In this paper an implementation independent schedulability analysis tool (SAT) for real-time applications is presented and the supported analysis methods are discussed. SAT can be used during the initial stages of the design phase when the effects of the operating system or the runtime system are not considered. However, the methods supported by the tool are based on an event-action framework and thus, new events or actions introduced by the underlying software can also be evaluated and included in the performed analysis