A requirements specification method for adaptive real-time systems

Abstract

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.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">&gt;</ETX>