Compositional engineering frameworks for development of smart cyber-physical systems: A critical survey of the current state of progression

Imre Horvath, Sirasak Tepjit, Zoltan Rusak

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Abstract

Various system-engineering frameworks (SEFs) have been developed for composable systems, whose overall operation is the sum of the operations of their components. However, smart cyber-physical systems (S-CPSs) are compositional in nature. Their reasoning capability and system knowledge assume an ‘ampliative’ (inter)operation of all hardware, software, or cyberware components. The need for SEFs that support synthesis, modeling, analysis, simulation, verification, and validation of S-CPSs is recognized in the literature. The objective of this paper is a critically review the state of development of compositionality enabling frameworks. Both quantitative and qualitative literature studies were conducted in combination with critical system thinking. The reasoning model used in the qualitative analysis was derived based on the findings of the quantitative analysis. The major observations are: (i) the notion of compositionality is not studied extensively in the context of S-CPSs that do not obey the principle of reductionism, (ii) methodological support of implementation of compositional CPSs seems to be in its infancy, (iii) SEFs may play a crucial role in synthesis, modeling and implementation of S-CPSs, and (iv) SEFs for compositional system design may be realized using the principles of semantic knowledge fusion or meta-synthesis. Our follow up research targets a formal definition and computational implementation of a testable prototype of a specific SEF tool supporting compositional design of reasoning mechanisms.
Original languageEnglish
Title of host publicationProceedings of the ASME 2018 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference IDETC/CIE 2018
EditorsC. Turner, Y. Wang
Place of PublicationNew York
PublisherASME
Pages1-14
Number of pages14
Volume1A
ISBN (Print)978-0-7918-5172-2
DOIs
Publication statusPublished - 2018
EventASME 2018 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, IDETC/CIE 2018 - Quebec City, Canada
Duration: 26 Aug 201829 Aug 2018

Conference

ConferenceASME 2018 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, IDETC/CIE 2018
Abbreviated titleIDETC/CIE 2018
Country/TerritoryCanada
CityQuebec City
Period26/08/1829/08/18

Keywords

  • Compositionality
  • smart cyber-physical systems
  • systemengineering
  • framework constituents
  • synthesis challenge
  • smart reasoning mechanisms

Fingerprint

Dive into the research topics of 'Compositional engineering frameworks for development of smart cyber-physical systems: A critical survey of the current state of progression'. Together they form a unique fingerprint.

Cite this