Please use this identifier to cite or link to this item:
Full metadata record
DC FieldValueLanguage
dc.contributor.authorPark, Heejongen_US
dc.contributor.authorEaswaran, Arvinden_US
dc.contributor.authorBorde, Etienneen_US
dc.identifier.citationPark, H., Easwaran, A. & Borde, E. (2021). Online cycle detection for models with mode-dependent input and output dependencies. Journal of Systems Architecture, 115, 102017-.
dc.description.abstractIn the fields of co-simulation and component-based modelling, designers import models as building blocks to create a composite model that provides more complex functionalities. Modelling tools perform instantaneous cycle detection (ICD) on the composite models having feedback loops to reject the models if the loops are mathematically unsound and to improve simulation performance. In this case, the analysis relies heavily on the availability of dependency information from the imported models. However, the cycle detection problem becomes harder when the model's input to output dependencies are mode-dependent, i.e. changes for certain events generated internally or externally as inputs. The number of possible modes created by composing such models increases significantly and unknown factors such as environmental inputs make the offline (statical) ICD a difficult task. In this paper, an online ICD method is introduced to address this issue for the models used in cyber-physical systems. The method utilises an oracle as a central source of information that can answer whether the individual models can make mode transition without creating instantaneous cycles. The oracle utilises three types of data-structures created offline that are adaptively chosen during online (runtime) depending on the frequency as well as the number of models that make mode transitions. During the analysis, the models used online are stalled from running, resulting in the discrepancy with the physical system. The objective is to detect an absence of the instantaneous cycle while minimising the stall time of the model simulation that is induced from the analysis. The benchmark results show that our method is an adequate alternative to the offline analysis methods and significantly reduces the analysis time.en_US
dc.description.sponsorshipNational Research Foundation (NRF)en_US
dc.relation.ispartofJournal of Systems Architectureen_US
dc.rights© 2021 Elsevier B.V. All rights reserved.en_US
dc.subjectEngineering::Computer science and engineeringen_US
dc.titleOnline cycle detection for models with mode-dependent input and output dependenciesen_US
dc.typeJournal Articleen
dc.contributor.schoolSchool of Computer Science and Engineeringen_US
dc.subject.keywordsInstantaneous Cycleen_US
dc.description.acknowledgementThis work was supported by Delta-NTU Corporate Lab for cyber– physical Systems with funding support from Delta Electronics Inc, Taiwan and the National Research Foundation (NRF) Singapore under the Corp Lab@University Scheme.en_US
item.fulltextNo Fulltext-
Appears in Collections:SCSE Journal Articles

Citations 50

Updated on Nov 27, 2023

Web of ScienceTM
Citations 50

Updated on Oct 27, 2023

Page view(s)

Updated on Dec 3, 2023

Google ScholarTM




Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.