Högskolan i Skövde

his.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • apa-cv
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Visualisation and Verification of Communication Protocols for Networked Distributed Systems
Indiana University - Purdue University of Fort Wayne, USA.
Högskolan i Skövde, Institutionen för teknik och samhälle. Högskolan i Skövde, Forskningscentrum för Virtuella system.ORCID-id: 0000-0001-8679-8049
2010 (engelsk)Inngår i: Enterprise Networks and Logistics for Agile Manufacturing / [ed] Lihui Wang, S. C. Lenny Koh, London: Springer, 2010, s. 333-357Kapittel i bok, del av antologi (Annet vitenskapelig)
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.

sted, utgiver, år, opplag, sider
London: Springer, 2010. s. 333-357
HSV kategori
Forskningsprogram
Teknik
Identifikatorer
URN: urn:nbn:se:his:diva-4538DOI: 10.1007/978-1-84996-244-5_16Scopus ID: 2-s2.0-84870903089ISBN: 978-1-84996-243-8 (tryckt)ISBN: 978-1-84996-244-5 (digital)OAI: oai:DiVA.org:his-4538DiVA, id: diva2:383313
Tilgjengelig fra: 2011-01-04 Laget: 2011-01-04 Sist oppdatert: 2019-12-23bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Person

Wang, Lihui

Søk i DiVA

Av forfatter/redaktør
Wang, Lihui
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 652 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • apa-cv
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf