Modeling Reliable Distributed Real-Time Programs
Victor Fay Wolfe, Susan B. Davidson, Insup Lee · ScholarlyCommons (University of Pennsylvania) · 1988
A model for distributed hard real-time programs should incorporate real-time characteristics and be capable of analyzing time-related reliability issues. We introduce a model called the Real-Tie Selection/ Resolution (RT-SIR) Model with these capabilities and demonstrate it by example.