A requirements specification method for adaptive real-time systems

A method for facilitating the specification and analysis of semihard real-time systems is described. The authors introduce the notion of an activity, the fundamental unit of computation upon which the methodology is based. They present a notation for creating an integrated requirements model which addresses the functional, behavioral, temporal, and information aspects of a semihard real-time system. It is shown how the fundamental properties of a requirements model can be analyzed. Extensions of the activity formalism to other classes of semihard real-time systems are considered. The authors show that this approach can be used to specify adaptive as well as periodic and sporadic computations