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

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review


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

Research units

  • The University of Auckland


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.


Original languageEnglish
Title of host publicationProceedings of the 2015 10th IEEE Conference on Industrial Electronics and Applications, ICIEA 2015
Publication statusPublished - 20 Nov 2015
MoE publication typeA4 Article in a conference publication
EventIEEE Conference on Industrial Electronics and Applications - Auckland, New Zealand
Duration: 15 Jun 201517 Jun 2015
Conference number: 10


ConferenceIEEE Conference on Industrial Electronics and Applications
Abbreviated titleICIEA
CountryNew Zealand

    Research areas

  • distributed cyber physical systems, industrial automation, on-demand manufacturing, SystemJ

ID: 17157397