Abstract
In this contribution, we sketch a design process for reactive systems, specified with the visual formalism Statecharts. In particular, we discuss how to come from a synchronous Statechart specification to an asynchronous, distributed implementation. Synchronous in this context means that these specifications are based on the assumption that all ist subcomponents interact synchronously with a global clock and in addition perfect synchronous ‘a la Berry.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Berry, G. (1998). The Foundations of Esterel,In G. Plotkin, C. Stirling, and M. Tofte, editors, Proof, Language and Interaction: Essays in Honour of Robin Milner, MIT Press.
Biere, A. (1997). µ-cke - Efficient It-Calculus Model Checking. Number 1254 in Lecture Notes in Computer Science, pages 468–471, Springer Verlag.
McMillan, K.L. (1993). Symbolic Model Checking. PhD thesis, Carnegie Mellon University.
Philipps, J., Scholz, P. (1997a). Compositional Specification of Embedded Systems withStatecharts. In TAPSOFT’97: Theory and Practice of Software Development, volume 1214 of Lecture Notes in Computer Science, Springer Verlag.
Philipps, J., Scholz, P. (1997b). Formal Verification of Statecharts with Instantaneous ChainReactions. In TACAS’97: Tools and Algorithms for the Construction and Analysis of Systems, volume 1217 of Lecture Notes in Computer Science, Springer Verlag.
Philipps, J., Scholz P. (1997c). System-Level Hardware Design with It-Charts. In CHDL’97: Hardware Description Languages and their Applications, Toledo.
Scholz, P. (1998a). A Refinement Calculus for Statecharts. In Proceedings of the „ETAPS/FASE’98, Lisbon (Portugal), March 30 - April 03, 1998“, volume 1382 of Lecture Notes in Computer Science, Springer Verlag.
Scholz, P. (1998b). Design of Reactive Systems and their Distributed Implementation with Statecharts. PhD thesis, Technische Universität München, TUM-I9821.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media New York
About this chapter
Cite this chapter
Scholz, P. (1999). From Synchronous Specifications to Asynchronous Distributed Implementations. In: Rammig, F.J. (eds) Distributed and Parallel Embedded Systems. DIPES 1998. IFIP — The International Federation for Information Processing, vol 25. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35570-2_3
Download citation
DOI: https://doi.org/10.1007/978-0-387-35570-2_3
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5006-5
Online ISBN: 978-0-387-35570-2
eBook Packages: Springer Book Archive