Requirement specifications for communication in distributed real-time systems
Sean David Sandys, Alan Shaw · 2002
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.