Skip to main content
SpringerLink
Log in

Visualisation and Verification of Communication Protocols for Networked Distributed Systems

  • Chapter
Enterprise Networks and Logistics for Agile Manufacturing

Abstract

The successful design and application of a large and complex manufacturing system relies not only on the maturity of its fundamental design, but also on the technologies for seamless integration and coordination of system components, since a large manufacturing or logistic system often adopts a decentralised control architecture to manage its complexity. System components are usually distributed; their behaviours are enacted locally and autonomously. The control objective at the system-level is achieved by the executions of the sub-objectives at the component level, subjected to the condition that the controls of the sub-systems have to be coordinated via effective communication. In developing algorithms for communication and coordination of a networked distributed system, algorithm verification is complicated and trivial, due to the invisible information system. In this chapter, we propose to use the conventional simulation tool, Deneb/QUEST, for modelling and visualisation of the coordinating behaviours. Its vivid graphical environment can be a great assistance in accelerating software debugging and verification and in reducing the time for software development. General architecture of a networked distribute system is introduced, the system components are analysed, and the correspondences between these components and QUEST elements are established. A case study for the verification of ring extrema determination (RED) algorithm is used as an example to illustrate the general procedure and the feasibility of the proposed approach.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover 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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Wikipedia, 2009, Economy of the People’s Republic of China, online access available at http://en.wikipedia.org/wiki/Economy_of_the_People's_Republic_of_China.

    Google Scholar 

  2. Cong, C., 2008, “Technological development challenges in Chinese industry,” In China’s Science and Technology Sector and the Forces of Globalisation, Thomson, E. and Sigurdson, J. (eds.), World Scientific, Singapore, pp. 14–44.

    Google Scholar 

  3. Sinodefense, 2009, ShenZhou Manned Spacecraft, online access available at http://www.sinodefence.com/space/spacecraft/shenzhou.asp.

    Google Scholar 

  4. Sinodefense, 2009, Jian-10 Multirole Fighter Aircraft, online access available at http://www.sinodefence.com/airforce/fighter/j10.asp.

    Google Scholar 

  5. Suh, N.P., 2005, Complexity: Theory and Applications, Oxford University Press, Oxford.

    Google Scholar 

  6. Suh, N.P., 2005, “Complexity in engineering,” Annals of CIRP – Manufacturing Technology, 54(2), pp. 46–63.

    Article  Google Scholar 

  7. Bi, Z.M. and Zhang, W.J., 2001, “Modularity technology in manufacturing: taxonomy and issues,” International Journal of Advanced Manufacturing Technology, 18(5), pp. 381–390.

    Article  MathSciNet  Google Scholar 

  8. Bi, Z.M., Lang, S.Y.T., Shen, W. and Wang, L., 2008, “Reconfigurable manufacturing systems: the state of the art,” International Journal of Production Research, 46(4), pp. 967–992.

    Article  MATH  Google Scholar 

  9. Bi, Z.M. and Zhang, W.J., 2000, “Concurrent optimal design of modular robotic configuration,” Journal of Robotic Systems, 18(2), pp. 77–87.

    Article  MathSciNet  Google Scholar 

  10. Markus, A., Vancza, T.K. and Monostori, L., 1996, “A market approach to holonic manufacturing,” Annals of CIRP, 45(1), pp. 433–436.

    Article  Google Scholar 

  11. Okino, N., 1993, “Bionic manufacturing system, flexible manufacturing systems past-present-future,” Annals of CIRP, 42(2), pp. 73–95.

    Google Scholar 

  12. Sihn, W. and Rist, T., 1998, “Experiences with the fractal company value shift,” CIRP Journal of Manufacturing Systems, 27(1), pp. 23–30.

    Google Scholar 

  13. Ueda, K., Markus, A., Monostori, L., Kals, H.J.J. and Arai, T., 2001, “Emergent synthesis methodologies for manufacturing,” Annals of CIRP, 50(2), pp. 535–551.

    Article  Google Scholar 

  14. Uata, K. and Onosato, M., 1994, “Random manufacturing system: a new concept of manufacturing systems for production to order,” Annals of CIRP, 43(1), pp. 379–383.

    Article  Google Scholar 

  15. Bussmann, S. and McFarlane, D.C., 1999, “Rationales for holonic manufacturing control,” In Proceedings of the 2nd International Workshop on Intelligent Manufacturing Systems, Leuven, Belgium, pp. 177–184.

    Google Scholar 

  16. Shen, W., Norrie, D.H. and Batthes, J.-P., 2001, Multi-Agent Systems for Concurrent Intelligent Design and Manufacturing, Taylor & Francis, New York.

    Google Scholar 

  17. Caplinskas, A., 1998, “AI paradigms,” Journal of Intelligent Manufacturing, 9, pp. 493–502.

    Article  Google Scholar 

  18. Tommila, T., Venta, O. and Koskinen, K., 2001, “Next generation industrial automation – needs and opportunities,” Automation Technology Review, pp. 34–41.

    Google Scholar 

  19. Kim, B., 2002, Intelligent Agent Based Planning, Scheduling, and Control: Warehouse Management Application, PhD Thesis, Rensselaer Polytechnic Institute, Troy, NY.

    Google Scholar 

  20. Marik, V., Fletcher, M. and Pechoucek, M., 2002, “Holons & agents: recent developments and mutual impacts,” In Multi-Agent Systems and Applications II, Marik, V., Stepankova, O., Krautwurmova, H. and Luck, M. (eds.), Springer, Heidelberg, pp. 233–267.

    Chapter  Google Scholar 

  21. Tian, G., Yin, G. and Tayloy, D., 2002, “Internet-based manufacturing: a review and a new infrastructure for distributed intelligent manufacturing,” Journal of Intelligent Manufacturing, 13, pp. 323–338.

    Article  Google Scholar 

  22. Bongaerts, L., Monostori, L., McFarlane, D. and Kadar, B., 2000, “Hierarchy in distributed shop floor control,” Computers in Industry, 43, pp. 123–137.

    Article  Google Scholar 

  23. Langer, G. and Alting, L., 2000, “An architecture for agile shop floor control systems,” Journal of Manufacturing Systems, 19(4), pp. 267–280.

    Article  Google Scholar 

  24. Zhang, X., Balasubramanian, S., Brennan, R.W. and Norrie, D., 2000, “Design and implementation of a real-time holonic control system for manufacturing,” Information Science, 127, pp. 23–44.

    Article  Google Scholar 

  25. Balasubramanian, S., Brennan, R.W. and Norrie, D., 2001, “An architecture for metamorphic control of holonic manufacturing systems,” Computers in Industry, 46, pp. 13–31.

    Article  Google Scholar 

  26. Heikkila, T., Kollingbaum, M., Valckenaer, P. and Bluemink, G.-J., 2001, “An agent architecture for manufacturing control: ManAge,” Computers in Industry, 46, pp. 315–331.

    Article  Google Scholar 

  27. Zaremba, M.B. and Morel, G., 2003, “Integration and control of intelligence in distributed manufacturing,” Journal of Intelligent Manufacturing, 14, pp. 25–42.

    Article  Google Scholar 

  28. Brussel, H., Bongaerts, L., Wyns, J., Valckenaers, P. and van Gingerachter, T., 1999, “A conceptual framework for holonic manufacturing: identification of manufacturing holons,” Journal of Manufacturing Systems, 18(1), pp. 35–52.

    Article  Google Scholar 

  29. Tatra, M., Soparkar, N., Yook, J. and Tilbury, D., 1997, “Real-time data and coordination control for reconfigurable manufacturing systems,” In Real Time Database and Information Systems, Bestavros, A. and Fay-Wolfe, V. (eds.), Springer, London, pp. 23–48.

    Google Scholar 

  30. Lucas, M.R., Endsley, E.W. and Tilbury, D.M., 1999, “Coordinate logic control for reconfigurable machining systems,” In Proceedings of the American Control Conference, San Diego, CA, pp. 2107–213.

    Google Scholar 

  31. Tilbury, D.M. and Kota, S., 1999, “Integrated machine and control design for reconfigurable machine tools,” In Proceedings of the 1999 ASME/IEEE International Conference on Advanced Intelligent Mechatronics, 19–23 September, pp. 629–633.

    Google Scholar 

  32. Shu, S., Wilkes, M. and Kawamura, K., 2000, “Development of reusable, configurable, extensible holonic manufacturing system,” In Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, Piscataway, pp. 1679–1684.

    Google Scholar 

  33. Wang, S. and Shin, K.G., 2002, “Constructing reconfigurable software for machine control systems,” IEEE Transactions on Robotics and Automation, 18(4), pp. 475–486.

    Article  Google Scholar 

  34. Arbib, V. and Rossi, F., 2000, “Optimal resource assignment through negotiation in a multi-agent manufacturing system,” IIE Transactions, 32, pp. 963–974.

    Google Scholar 

  35. Ottaway, T.A. and Burns, J.R., 2000, “An adaptive production control system utilizing agent technology,” International Journal of Production Research, 38(4), pp. 721–737.

    Article  MATH  Google Scholar 

  36. Albus, J.S., 1993, A Reference Model Architecture for Intelligent Systems Design, http://www.isd.mel.nist.gov/documents/albus/Ref_Model_Arch345.pdf.

    Google Scholar 

  37. Faulkner, D., Levy, B. and Garner, T., 1999, “Open-architecture platforms,” Circuits Assembly, January, http://www.cassembly.com.

    Google Scholar 

  38. Erol, N.A., Altintas, Y. and Ito, M.R., 2000, “Open system architecture modular tool kit for motion and machining process control,” IEEE/ASME Transactions on Mechatronics, 5(3), pp. 281–291.

    Article  Google Scholar 

  39. Pritschow, G., Altintas, Y., Jovane, F., Koren, Y., Mitsuishi, M., Takata, S., van Brussel, H., Weck, M. and Yamazaki, K., 2001, “Open controller architecture – past, present and future,” Annals of CIRP, 50(2), pp. 463–470.

    Article  Google Scholar 

  40. Katz, R., Li, Z. and Pierrot, F., 2002, Engineering Research Center for Reconfigurable Machining Systems: Conceptual Design of a High-Speed Drilling Machine (HSDM) Based on PKM Module, ERC/RMS Report #37, College of Engineering, The University of Michigan, Ann Arbor, MI.

    Google Scholar 

  41. Monfared, R.P. and Weston, R.H., 1997, “Reconfiguration of manufacturing cell control systems and reuse of their components,” Proceedings of the Institution of Mechanical Engineers, 211(B), pp. 495–508.

    Article  Google Scholar 

  42. Harrison, R., Weston, R.H. and Monfared, R.P., 2001, “Distributed engineering of manufacturing machines,” Proceedings of the Institution of Mechanical Engineers, 215(B), pp. 217–231.

    Article  Google Scholar 

  43. Park, J.H., Park, J.W. and Kim, J., 2000, “A generic event control framework for modular flexible manufacturing systems,” Computers & Industrial Engineering, 38, pp. 107–123.

    Article  Google Scholar 

  44. Kalita, D. and Khargonekar, P.P., 2002, “Formal verification for analysis and design of logic controllers for reconfigurable machining systems,” IEEE Transactions on Robotics and Automation, 18(4), pp. 463–474.

    Article  Google Scholar 

  45. Pressman, R.S., 2002, Software Engineering – A Practitioner's Approach, 5th edn., McGraw-Hill, New York.

    Google Scholar 

  46. Intelligent Distributed Controls Ltd., 2009, Track, Locate and Monitor Progress in Real Time with ZigBee Networks, http://www.zig-bee.co.uk/.

    Google Scholar 

  47. Energy Information Administration, 2009, Chapter 3: The U.S. Electric Power Industry Infrastructure: Functions and Components, online access available at http://www.eia.doe.gov/cneaf/electricity/chg_stru_update/chapter3.html.

    Google Scholar 

  48. IEEE Standards, 2009, IEEE 802.11TM Wireless Local Area Networks, online access available at http://grouper.ieee.org/groups/802/11/.

    Google Scholar 

  49. Booch, G., Rumbaugh, J. and Jacobson, I., 2005, The Unified Modeling Language User Guide, 2nd edn., Addison-Wesley.

    Google Scholar 

  50. Hirschberg, D.S. and Sinclair, J.B., 1980, “Decentralized extrema-finding in circular configurations of processes,” Communications of the ACM, 23(11), pp. 627–628.

    Article  MATH  MathSciNet  Google Scholar 

  51. Delmia Solutions, 2000, QUEST User Manual, Version 5.3, Delmia Corporation.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Indiana University – Purdue University Fort Wayne, 46805-1499, Fort Wayne, IN, USA

    Z. M. Bi

  2. Virtual Systems Research Centre, University of Skövde, PO Box 408, 541 28, Skövde, Sweden

    Lihui Wang

Authors
  1. Z. M. Bi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Lihui Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Virtual Systems Research Centre, Intelligent Automation, University of Skövde, PO Box 408, 541 28, Skövde, Sweden

    Lihui Wang

  2. Management School, Logistics and Supply Chain Management (LSCM) Research Centre, Sheffield University, 9 Mappin Street, S1 4DT, Sheffield, UK

    S.C. Lenny Koh

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag London Limited

About this chapter

Cite this chapter

Bi, Z., Wang, L. (2010). Visualisation and Verification of Communication Protocols for Networked Distributed Systems. In: Wang, L., Koh, S. (eds) Enterprise Networks and Logistics for Agile Manufacturing. Springer, London. https://doi.org/10.1007/978-1-84996-244-5_16

Download citation

  • DOI: https://doi.org/10.1007/978-1-84996-244-5_16

  • Publisher Name: Springer, London

  • Print ISBN: 978-1-84996-243-8

  • Online ISBN: 978-1-84996-244-5

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation