Modeling physically distributed embedded systems
Lawrence J. Henschen, Julia C. Lee · Elsevier eBooks · 2024
In this chapter, we discuss the extension of the finite state machine model to distributed systems in which separate modules communicate with each other through message passing. We describe the Specification and Description Language (SDL) tool for defining distributed systems and illustrate its use. We include a discussion of the channel mechanism of SDL, a method for defining the communication links between modules and their properties. Finally, we discuss additional ways in which nondeterminism could affect a system over that described in Chapter 3 .