Abstract
This book introduces a software system, dubbed SMURPH, comprising a programming language, its compiler, and an execution environment, for specifying communication networks and protocols and executing those specification in virtual worlds mimicking the behavior of (possibly hypothetical) real-life implementations. The level of specification is both high and low at the same time. High in that the specification, including the network configuration and its protocol (program) is expressed in a self-documenting, structural fashion; low in that the level of detail of the specification corresponds to a friendly view of the implementation, where all the relevant algorithmic issues can be seen without tying the description to specific hardware.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
The software can be downloaded from https://github.com/pkgn/SMURPH.
- 2.
Local Area Network Simulation Facility.
- 3.
A System for Modeling Unslotted Real-time PHenomena.
- 4.
Sensors In a Distributed Environment.
- 5.
- 6.
The first commercial deployment involved a network consisting of 1000+ nodes.
- 7.
Note that the superscript (2) at VUE is part of the name. The acronym reads: Virtual Underlay Execution Engine, which is sometimes shortened to VUEE.
- 8.
People allergic to goto statements and labels will easily rewrite the pseudocode into two nested while loops. We prefer the politically incorrect version, with the label and goto statements emphasizing the reactive stature of the code, where the label represents the “top” and the goto statements mark “taking it from the top” after an event.
- 9.
We witness this kind of scenario in the entrance process in Sect. 1.2.2, which schedules an event at time now to notify the wash process about the new car arrival.
- 10.
The acronym stands for Dynamic Status Display.
References
R.M. Metcalfe, D.R. Boggs, Ethernet: Distributed Packet Switching for Local Computer Networks. Commun. ACM 19(7), 395–404 (1976)
D.R. Boggs, J.C. Mogul, C.A. Kent, Measured Capacity of an Ethernet: Myths and Reality. Digital Equipment Corporation, Western Research Laboratory, Palo Alto, California (1988)
P. Gburzyński, and P. Rudnicki, A better-than-token protocol with bounded packet delay time for Ethernet-type LAN’s, in Proceedings of Symposium on the Simulation of Computer Networks, Colorado Springs, Co., 1987
P. Gburzyński, P. Rudnicki, Using time to synchronize a token Ethernet, in Proceedings of CIPS Edmonton ’87, 1987
P. Gburzyński, P. Rudnicki, A note on the performance of ENET II. IEEE J. Sel. Areas Commun. 7(4), 424–427 (1989)
W. Dobosiewicz, P. Gburzyński, P. Rudnicki, An Ethernet-like CSMA/CD protocol for high speed bus LANs, in Proceedings of IEEE INFOCOM ’90, 1990
W. Dobosiewicz, P. Gburzyński, Improving fairness in CSMA/CD networks, in Proceedings of IEEE SICON ’89, Singapore, 1989
P. Gburzyński, X. Zhou, Ethernet for short packets. Int. J. Model. Simul. (1993)
W. Dobosiewicz, P. Gburzyński, Performance of Piggyback Ethernet, in Proceedings of IEEE IPCCC, Scottsdale, 1990
W. Dobosiewicz, P. Gburzyński, Ethernet with segmented carrier, in Proceedings of IEEE Computer Networking Symposium, Washington, 1988
W. Dobosiewicz, P. Gburzyński, On two modified Ethernets. Comput. Networks ISDN Syst., 1545–1564 (1995)
P. Gburzyński, P. Rudnicki, A virtual token protocol for bus networks: correctness and performance. INFOR 27, 183–205 (1989)
W. Dobosiewicz, P. Gburzyński, P. Rudnicki, Dynamic recognition of the configuration of bus networks. Comput. Commun. 14(5), 216–222 (1991)
W. Dobosiewicz, P. Gburzyński, P. Rudnicki, On two collision protocols for high speed bus LANs. Comput. Networks ISDN Syst. 25(6), 1205–1225 (1993)
P. Gburzyński, P. Rudnicki, LANSF—a modular system for modelling low-level communication protocols, in Modeling Techniques and Tools for Computer Performance Evaluation, ed. by R. Puigjaner, D. Potier (Plenum Publishing Company, 1989), pp. 77–93
P. Gburzyński, P. Rudnicki, LANSF: a protocol modelling environment and its implementation. Softw. Pract. Experience 21(1), 51–76 (1991)
P. Gburzyński, P. Rudnicki, Bounded packet delay protocols for CSMA/CD bus: modeling in LANSF, in Proceedings of the 19th Annual Pittsburgh Conference on Modeling and Simulation, 1988
P. Gburzyński, P. Rudnicki, On formal modelling of communication channels, in Proceedings of IEEE INFOCOM ’89, 1989
M. Berard, P. Gburzyński, P. Rudnicki, Developing MAC protocols with global observers, in Proceedings of Computer Networks ’91, 1991
P. Gburzyński, P. Rudnicki, Modeling low-level communication protocols: a modular approach, in Proceedings of the 4th International Conference on Modeling Techniques and Tools for Computer Performance Evaluation, Palma de Mallorca, Spain, 1988
P. Gburzyński, P. Rudnicki, On executable specifications, validation, and testing of MAC-level protocols, in Proceedings of the 9th IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification, June 1989, Enschede, The Netherlands, 1990
P. Gburzyński, J. Maitan, Deflection routing in regular MNA topologies. J. High Speed Networks 2, 99–131 (1993)
P. Gburzyński, J. Maitan, Simulation and control of reactive systems, in Proceedings of Winter Simulation Conference WSC ’97, Atlanta, 1997
W. Dobosiewicz, P. Gburzyński, Protocol design in SMURPH, in State of the art in Performance Modeling and Simulation, ed. by J. Walrand and K. Bagchi (Gordon and Breach, 1997), pp. 255–274
W. Dobosiewicz, P. Gburzyński, SMURPH: an object oriented simulator for communication networks and protocols, in Proceedings of MASCOTS ’93, Tools Fair Presentation, 1993
P. Gburzyński, P. Rudnicki, Object-oriented simulation in SMURPH: a case study of DQDB protocol, in Proceedings of 1991 Western Multi Conference on Object-Oriented Simulation, Anaheim, 1991
P. Gburzyński, Protocol Design for Local and Metropolitan Area Networks (Prentice-Hall, 1996)
P. Gburzyński, J. Maitan, Specifying control programs for reactive systems, in Proceedings of the 1998 International Conference on Parallel and Distributed Processing Techniques and Applications PDPTA ’98, Las Vegas, 1998
P. Gburzyński, J. Maitan, L. Hillyer, Virtual prototyping of reactive systems in SIDE, in Proceedings of the 5th European Concurrent Engineering Conference ECEC ’98, Erlangen-Nuremberg, Germany, 1998
P. Gburzyński, P. Rudnicki, Modelling of reactive systems in SMURPH, in Proceedings of the European Simulation Multiconference, Erlangen-Nuremberg, W-Germany, 1990
E. Akhmetshina, P. Gburzyński, F. Vizeacoumar, PicOS: a tiny operating system for extremely small embedded platforms, in Proceedings of ESA ’03, Las, 2003
W. Dobosiewicz, P. Gburzyński, From simulation to execution: on a certain programming paradigm for reactive systems, in Proceedings of the First International Multiconference on Computer Science and Information Technology (FIMCSIT ’06), Wisla, 2006
P. Gburzyński, I. Nikolaidis, Wireless network simulation extensions in SMURPH/SIDE, in Proceedings of the 2006 Winter Simulation Conference (WSC ’06), Monetery, 2006
P. Gburzyński, W. Olesiński, On a practical approach to low-cost ad hoc wireless networking. J. Telecommun. Inf. Technol. 2008(1), 29–42 (2008)
N.M. Boers, P. Gburzyński, I. Nikolaidis, W. Olesiński, Developing wireless sensor network applications in a virtual environment. Telecommun. Syst. 45, 165–176 (2010)
M. Cowlishaw, Decimal arithmetic encodings, Strawman 4d. Draft version 0.96. IBM UK Laboratories, 2003
Acknowledgements
I have collaborated with several people on research and industrial projects where SMURPH proved useful, or even essential. All those people have been credited in various places, more pertinent to the context of their contribution, so there is no need to mention them in this book, which is solely about SMURPH, for which I am modestly prepared to take full credit (and assume full responsibility). One of my collaborators, however, stands out in this respect. I mean my friend and first serious collaborator on protocol design, Piotr Rudnicki , who once, in 1986, drew on a piece of paper what must be seen today as the skeletal layout of the first ever SMURPH process, the transmitter of Ethernet. That picture forced me to discard my obscure collection of messy simulation programs and replace them with a unified simulation system good for them all. Piotr is no longer with us, as they say. His much premature departure has been a serious blow to reason and common sense. Too bad, because these days they need all the support they can possibly get.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Gburzyński, P. (2019). Introduction. In: Modeling Communication Networks and Protocols. Lecture Notes in Networks and Systems, vol 61. Springer, Cham. https://doi.org/10.1007/978-3-030-15391-5_1
Download citation
DOI: https://doi.org/10.1007/978-3-030-15391-5_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-15390-8
Online ISBN: 978-3-030-15391-5
eBook Packages: EngineeringEngineering (R0)