Abstract
This paper revisits the distributed real-time abstract state machine (ASM) paradigm as a feasible, yet robust, approach to high-level specification and design of distributed embedded systems. The flexibility in modeling reactive system behavior, the well defined underlying concurrency framework, and the ability to gradually sharpen requirements into specifications, inspires viewing the ASM paradigm as an agile formalization method that directly supports fundamental practical needs in modeling such systems.
Chapter PDF
Similar content being viewed by others
References
Ch. Beierle, E. Börger, I. Đurdanovic, U. Glässer and E. Riccobene. Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code. In J.-R. Abrial, E. Börger and H. Langmaack, editors, Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, volume 1165 of LNCS, State-of-the-Art Survey, 52–78, Springer-Verlag, 1996
D. Berry. Formal Methods: The Very Idea-Some thoughts about why they work when they work. Science of Computer Programming 42(1): 11–27 (2002)
E. Börger. High Level System Design and Analysis using Abstract State Machines. In D. Hutter et al., eds., Current Trends in Applied Formal Methods (FM-Trends 98). Springer LNCS 1641, pp. 1–43, 1999
E. Börger and R. Stärk. Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, 2003
E. Börger, U. Glässer and W. Müller. Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines. In C. Delgado Kloos and Peter T. Breuer, editors, Formal Semantics for VHDL, Kluwer Academic Publishers, 1995, 107–139
N. Dorny. Systems Engineering. University of Pennsylvania, Philadelphia, PA, URL: www.seas.upenn.edu/~dorny/se.htm#si
R. Farahbod, U. Glässer and M. Vajihollahi. Specification and Validation of the Business Process Execution Language for Web Services. In Proc. of the 11th International Workshop on Abstract State Machines (ASM’2004), volume 3065 of LNCS, pages 69–86, Springer-Verlag, 2004
M. Fowler. The New Methodology, April 2003, online reference at URL: www.martinfowler.com/articles/newMethodology.html
U. Glässer, R. Gotzhein and A. Prinz. Formal Semantics of SDL-2000: Status and Perspectives. Computer Networks 42(3): 343–358, Elsevier, 2003
U. Glässer, Y. Gurevich and M. Veanes. An Abstract Communication Model. Microsoft Research, Technical Report, MSR-TR-2002-55, May 2002
U. Glässer, Y. Gurevich and M. Veanes. Abstract Communication Model for Distributed Systems. To appear in IEEE Transactions on Software Engineering.
U. Glässer and M. Veanes. Universal Plug and Play Machine Models. In B. Kleinjohann et al. (Eds.): Design and Analysis of Distributed Embedded Systems, IFIP Conference Proceedings 219, Kluwer Academic Publishers, 2002
Y. Gurevich. Sequential Abstract State Machines Capture Sequential Algorithms, ACM Transactions on Computational Logic, 1(1): 77–111, July 2000
Y. Gurevich. Evolving Algebras 1993: Lipari Guide. In E. Börger, editor, Specification and Validation Methods, Oxford University Press, 1995, pages 9–36
Gurevich and J. Huggins: The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions. In H. Kleine Büning, editor, Computer Science Logic, volume 1092 of LNCS, pages 266–290, Springer, 1996
W. Müller, J. Ruf and W. Rosenstiel. An ASM Based SystemC Simulation Semantics. In W. Müller, W. Rosenstiel and J. Ruf. SystemC-Methodologies and Applications, Kluwer Academic Publishers, 2003
R. Stärk, J. Schmid, and E. Börger, Java and the Java Virtual Machine: Definition, Verification, Validation. Springer-Verlag, 2001
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer Science + Business Media, Inc.
About this paper
Cite this paper
Glässer, U., Vajihollahi, M. (2004). Engineering Concurrent and Reactive Systems with Distributed Real-Time Abstract State Machines. In: Kleinjohann, B., Gao, G.R., Kopetz, H., Kleinjohann, L., Rettberg, A. (eds) Design Methods and Applications for Distributed Embedded Systems. DIPES 2004. IFIP International Federation for Information Processing, vol 150. Springer, Boston, MA. https://doi.org/10.1007/1-4020-8149-9_30
Download citation
DOI: https://doi.org/10.1007/1-4020-8149-9_30
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4020-8148-4
Online ISBN: 978-1-4020-8149-1
eBook Packages: Springer Book Archive