Abstract
In this chapter1 the single-agent ASMs of Chaps. 3, 4 are extended to multiagent synchronous ASMs (sync ASM) which support modularity for the design of large systems. We illustrate this by sync ASMs for two popular benchmark case studies for the verified design of reactive control systems: a controller for the Production Cell [323] (Sect. 5.1), solving a typical industrial plant control problem, and a real-time gate controller for the Generalized Railroad Crossing [277] (Sect. 5.2), both controllers coming with to- be-verified safety, liveness and performance requirements. Although the case studies are really small (leading to roughly 1 K lines of controller code), they allow us to explain how to apply practically useful software architecture principles to modularize systems, starting from ground model ASMs and leading to verified code. The chapter can be read independently of the preceding Chaps. 4 and 3 and most of Chap. 2; it suffices to know the definition of basic ASMs and of ASM refinements.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Börger, E., Stärk, R. (2003). Synchronous Multi-Agent ASMs. In: Abstract State Machines. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-18216-7_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-18216-7_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-62116-1
Online ISBN: 978-3-642-18216-7
eBook Packages: Springer Book Archive