@inproceedings{ruchkin_analytic_2015,
	address = {Ottawa, Canada},
	title = {Analytic {Dependency} {Loops} in {Architectural} {Models} of {Cyber}-{Physical} {Systems}},
	url = {http://ceur-ws.org/Vol-1508/paper2.pdf},
	abstract = {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 such 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 existing contract-based verification. This paper makes a step towards using rich architectural descriptions 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.},
	booktitle = {Joint {Proceedings} of the 8th {International} {Workshop} on {Model}-based {Architecting} of {Cyber}-physical and {Embedded} {Systems} and 1st {International} {Workshop} on {UML} {Consistency} {Rules} ({ACES}-{MB} 2015 \& {WUCOR} 2015) at {MODELS} 2015},
	publisher = {CEUR-WS},
	author = {Ruchkin, Ivan and Schmerl, Bradley R. and Garlan, David},
	year = {2015},
	pages = {3--10}
}