Standard

Compositional engineering frameworks for development of smart cyber-physical systems : A critical survey of the current state of progression. / Horvath, Imre; Tepjit, Sirasak; Rusak, Zoltan.

Proceedings of the ASME 2018 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference IDETC/CIE 2018. ed. / C. Turner; Y. Wang. Vol. 1A New York : ASME, 2018. p. 1-14 DETC2018-85107.

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

Harvard

Horvath, I, Tepjit, S & Rusak, Z 2018, Compositional engineering frameworks for development of smart cyber-physical systems: A critical survey of the current state of progression. in C Turner & Y Wang (eds), Proceedings of the ASME 2018 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference IDETC/CIE 2018. vol. 1A, DETC2018-85107, ASME, New York, pp. 1-14, ASME 2018 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, IDETC/CIE 2018, Quebec City, Canada, 26/08/18. https://doi.org/10.1115/DETC2018-85107

APA

Horvath, I., Tepjit, S., & Rusak, Z. (2018). Compositional engineering frameworks for development of smart cyber-physical systems: A critical survey of the current state of progression. In C. Turner, & Y. Wang (Eds.), Proceedings of the ASME 2018 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference IDETC/CIE 2018 (Vol. 1A, pp. 1-14). [DETC2018-85107] ASME. https://doi.org/10.1115/DETC2018-85107

Vancouver

Horvath I, Tepjit S, Rusak Z. Compositional engineering frameworks for development of smart cyber-physical systems: A critical survey of the current state of progression. In Turner C, Wang Y, editors, Proceedings of the ASME 2018 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference IDETC/CIE 2018. Vol. 1A. New York: ASME. 2018. p. 1-14. DETC2018-85107 https://doi.org/10.1115/DETC2018-85107

Author

Horvath, Imre ; Tepjit, Sirasak ; Rusak, Zoltan. / Compositional engineering frameworks for development of smart cyber-physical systems : A critical survey of the current state of progression. Proceedings of the ASME 2018 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference IDETC/CIE 2018. editor / C. Turner ; Y. Wang. Vol. 1A New York : ASME, 2018. pp. 1-14

BibTeX

@inproceedings{42137987ab664f6cbd1245bb6d2154b2,
title = "Compositional engineering frameworks for development of smart cyber-physical systems: A critical survey of the current state of progression",
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 {\textquoteleft}ampliative{\textquoteright} (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.",
keywords = "Compositionality, smart cyber-physical systems, systemengineering, framework constituents, synthesis challenge, smart reasoning mechanisms",
author = "Imre Horvath and Sirasak Tepjit and Zoltan Rusak",
year = "2018",
doi = "10.1115/DETC2018-85107",
language = "English",
isbn = "978-0-7918-5172-2",
volume = "1A",
pages = "1--14",
editor = "C. Turner and Y. Wang",
booktitle = "Proceedings of the ASME 2018 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference IDETC/CIE 2018",
publisher = "ASME",
address = "United States",
note = "ASME 2018 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, IDETC/CIE 2018, IDETC/CIE 2018 ; Conference date: 26-08-2018 Through 29-08-2018",

}

RIS

TY - GEN

T1 - Compositional engineering frameworks for development of smart cyber-physical systems

T2 - ASME 2018 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, IDETC/CIE 2018

AU - Horvath, Imre

AU - Tepjit, Sirasak

AU - Rusak, Zoltan

PY - 2018

Y1 - 2018

N2 - 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.

AB - 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.

KW - Compositionality

KW - smart cyber-physical systems

KW - systemengineering

KW - framework constituents

KW - synthesis challenge

KW - smart reasoning mechanisms

U2 - 10.1115/DETC2018-85107

DO - 10.1115/DETC2018-85107

M3 - Conference contribution

SN - 978-0-7918-5172-2

VL - 1A

SP - 1

EP - 14

BT - Proceedings of the ASME 2018 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference IDETC/CIE 2018

A2 - Turner, C.

A2 - Wang, Y.

PB - ASME

CY - New York

Y2 - 26 August 2018 through 29 August 2018

ER -

ID: 46622521