Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
Publication no #449   Download bibtex file Type :   Html | Bib | Both
Add to my selection
Analytic Dependency Loops in Architectural Models of Cyber-Physical Systems

Ivan Ruchkin, Bradley Schmerl and David Garlan.

In Proceedings of the 8th International Workshop on Model-based Architecting of Cyber-Physical and Embedded Systems, Ottawa, Canada, 28 September 2015.

Online links: PDF   Bibtex entry   Plain Text

Rigorous engineering of safety-critical Cyber- Physical Systems (CPS) requires integration of heterogeneous modeling methods from different disciplines. It is often necessary to view this integration from the perspective of analyses algorithms that read and change models. Although analytic integration supports formal contract-based verification of model evolution, it suffers from the limitation of analytic dependency loops. Dependency loops between analyses cannot be resolved based on the existing contract-based verification. This paper makes a step towards using rich architectural description to resolve circular analytic dependencies. We characterize the dependency loop problem and discuss three algorithmic approaches to resolving such loops: analysis iteration, constraint solving, and genetic search. These approaches take advantage of information in multi-view architectures to resolve analytic dependency loops.

Keywords: Architecture View Consistency, Cyberphysical Systems.  
    Created: 2015-07-27 11:09:20     Modified: 2016-02-17 09:41:13
Feedback: ABLE Webmaster
Last modified: Mon February 12 2018 11:21:51