A unified framework for the design of distributed cyber-physical systems - Industrial automation example

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

Tutkijat

  • Suraksha S. Setty
  • Humaa Yaqoob
  • Avinash Malik
  • Kevin I.Kai Wang
  • Zoran Salcic
  • Heejong Park
  • Udayanto Atmojo

Organisaatiot

  • The University of Auckland

Kuvaus

Modern manufacturing systems are best examples where networked embedded controllers and mechatronic devices form the so-called distributed cyber physical systems (CPS). Design and deployment of such systems pose significant challenges to traditional PLC-based software design approaches. In this paper, a unified framework for the design and deployment of such systems based on a formal language, SystemJ, is presented. The proposed framework supports implementing distributed CPS at system level abstraction with correct by construction design. The designed software components can easily interact with each other and with web-based interface for modelling and validation via simulation and subsequently run on embedded controllers without any change, which simplifies the design and implementation process significantly. An ice-cream manufacturing system (ICMF) example is presented to illustrate the proposed approach.

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoProceedings of the 2015 10th IEEE Conference on Industrial Electronics and Applications, ICIEA 2015
TilaJulkaistu - 20 marraskuuta 2015
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaIEEE Conference on Industrial Electronics and Applications - Auckland, Uusi-Seelanti
Kesto: 15 kesäkuuta 201517 kesäkuuta 2015
Konferenssinumero: 10

Conference

ConferenceIEEE Conference on Industrial Electronics and Applications
LyhennettäICIEA
MaaUusi-Seelanti
KaupunkiAuckland
Ajanjakso15/06/201517/06/2015

ID: 17157397