Skip to main content

Introduction

  • Chapter
  • First Online:
  • 288 Accesses

Part of the book series: Lecture Notes in Networks and Systems ((LNNS,volume 61))

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Notes

  1. 1.

    The software can be downloaded from https://github.com/pkgn/SMURPH.

  2. 2.

    Local Area Network Simulation Facility.

  3. 3.

    A System for Modeling Unslotted Real-time PHenomena.

  4. 4.

    Sensors In a Distributed Environment.

  5. 5.

    http://www.olsonet.com.

  6. 6.

    The first commercial deployment involved a network consisting of 1000+ nodes.

  7. 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. 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. 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. 10.

    The acronym stands for Dynamic Status Display.

References

  1. R.M. Metcalfe, D.R. Boggs, Ethernet: Distributed Packet Switching for Local Computer Networks. Commun. ACM 19(7), 395–404 (1976)

    Google Scholar 

  2. 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)

    Google Scholar 

  3. 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

    Google Scholar 

  4. P. Gburzyński, P. Rudnicki, Using time to synchronize a token Ethernet, in Proceedings of CIPS Edmonton ’87, 1987

    Google Scholar 

  5. P. Gburzyński, P. Rudnicki, A note on the performance of ENET II. IEEE J. Sel. Areas Commun. 7(4), 424–427 (1989)

    Google Scholar 

  6. 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

    Google Scholar 

  7. W. Dobosiewicz, P. Gburzyński, Improving fairness in CSMA/CD networks, in Proceedings of IEEE SICON ’89, Singapore, 1989

    Google Scholar 

  8. P. Gburzyński, X. Zhou, Ethernet for short packets. Int. J. Model. Simul. (1993)

    Google Scholar 

  9. W. Dobosiewicz, P. Gburzyński, Performance of Piggyback Ethernet, in Proceedings of IEEE IPCCC, Scottsdale, 1990

    Google Scholar 

  10. W. Dobosiewicz, P. Gburzyński, Ethernet with segmented carrier, in Proceedings of IEEE Computer Networking Symposium, Washington, 1988

    Google Scholar 

  11. W. Dobosiewicz, P. Gburzyński, On two modified Ethernets. Comput. Networks ISDN Syst., 1545–1564 (1995)

    Google Scholar 

  12. P. Gburzyński, P. Rudnicki, A virtual token protocol for bus networks: correctness and performance. INFOR 27, 183–205 (1989)

    Google Scholar 

  13. W. Dobosiewicz, P. Gburzyński, P. Rudnicki, Dynamic recognition of the configuration of bus networks. Comput. Commun. 14(5), 216–222 (1991)

    Google Scholar 

  14. 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)

    Google Scholar 

  15. 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

    Google Scholar 

  16. P. Gburzyński, P. Rudnicki, LANSF: a protocol modelling environment and its implementation. Softw. Pract. Experience 21(1), 51–76 (1991)

    Google Scholar 

  17. 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

    Google Scholar 

  18. P. Gburzyński, P. Rudnicki, On formal modelling of communication channels, in Proceedings of IEEE INFOCOM ’89, 1989

    Google Scholar 

  19. M. Berard, P. Gburzyński, P. Rudnicki, Developing MAC protocols with global observers, in Proceedings of Computer Networks ’91, 1991

    Google Scholar 

  20. 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

    Google Scholar 

  21. 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

    Google Scholar 

  22. P. Gburzyński, J. Maitan, Deflection routing in regular MNA topologies. J. High Speed Networks 2, 99–131 (1993)

    Google Scholar 

  23. P. Gburzyński, J. Maitan, Simulation and control of reactive systems, in Proceedings of Winter Simulation Conference WSC ’97, Atlanta, 1997

    Google Scholar 

  24. 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

    Google Scholar 

  25. W. Dobosiewicz, P. Gburzyński, SMURPH: an object oriented simulator for communication networks and protocols, in Proceedings of MASCOTS ’93, Tools Fair Presentation, 1993

    Google Scholar 

  26. 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

    Google Scholar 

  27. P. Gburzyński, Protocol Design for Local and Metropolitan Area Networks (Prentice-Hall, 1996)

    Google Scholar 

  28. 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

    Google Scholar 

  29. 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

    Google Scholar 

  30. P. Gburzyński, P. Rudnicki, Modelling of reactive systems in SMURPH, in Proceedings of the European Simulation Multiconference, Erlangen-Nuremberg, W-Germany, 1990

    Google Scholar 

  31. E. Akhmetshina, P. Gburzyński, F. Vizeacoumar, PicOS: a tiny operating system for extremely small embedded platforms, in Proceedings of ESA ’03, Las, 2003

    Google Scholar 

  32. 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

    Google Scholar 

  33. P. Gburzyński, I. Nikolaidis, Wireless network simulation extensions in SMURPH/SIDE, in Proceedings of the 2006 Winter Simulation Conference (WSC ’06), Monetery, 2006

    Google Scholar 

  34. 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)

    Google Scholar 

  35. 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)

    Article  Google Scholar 

  36. M. Cowlishaw, Decimal arithmetic encodings, Strawman 4d. Draft version 0.96. IBM UK Laboratories, 2003

    Google Scholar 

Download references

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

Authors

Corresponding author

Correspondence to Paweł Gburzyński .

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

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)

Publish with us

Policies and ethics