his.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Visualisation and Verification of Communication Protocols for Networked Distributed Systems.
Indiana University - Purdue University of Fort Wayne.
University of Skövde, The Virtual Systems Research Centre. University of Skövde, School of Technology and Society.
2010 (English)In: Enterprise Networks and Logistics for Agile Manufacturing / [ed] Wang, L. & Koh, S.C.L., Springer London, 2010, 333-357 p.Chapter in book (Other academic)
Abstract [en]

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.

Place, publisher, year, edition, pages
Springer London, 2010. 333-357 p.
National Category
Engineering and Technology
Research subject
Technology
Identifiers
URN: urn:nbn:se:his:diva-4538ISBN: 978-1-84996-243-8 OAI: oai:DiVA.org:his-4538DiVA: diva2:383313
Available from: 2011-01-04 Created: 2011-01-04 Last updated: 2013-09-05

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Wang, Lihui
By organisation
The Virtual Systems Research CentreSchool of Technology and Society
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

Total: 339 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf