State-based languages have been used to specify, simulate and analyze the requirements of a number of real-time systems. However, because of the limited facilities for specifying the communication requirements of the various components, the analysis of the components and communication interfaces is also restricted.; In this dissertation we present a new state-based requirements formalism called condition-based state machines. We describe a method for mapping descriptions of a variety of styles of inter-component communication into condition-based state machines that can then be integrated with component descriptions that are also expressed in a state-based requirements language.; These combined descriptions can then be used for simulation and potentially other state-machine analysis techniques. |