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 language | English |
---|---|
Title of host publication | Proceedings of the ASME 2018 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference IDETC/CIE 2018 |
Editors | C. Turner, Y. Wang |
Place of Publication | New York |
Publisher | ASME |
Pages | 1-14 |
Number of pages | 14 |
Volume | 1A |
ISBN (Print) | 978-0-7918-5172-2 |
DOIs | |
Publication status | Published - 2018 |
Event | ASME 2018 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, IDETC/CIE 2018 - Quebec City, Canada Duration: 26 Aug 2018 → 29 Aug 2018 |
Conference
Conference | ASME 2018 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, IDETC/CIE 2018 |
---|---|
Abbreviated title | IDETC/CIE 2018 |
Country/Territory | Canada |
City | Quebec City |
Period | 26/08/18 → 29/08/18 |
Keywords
- Compositionality
- smart cyber-physical systems
- systemengineering
- framework constituents
- synthesis challenge
- smart reasoning mechanisms