%
% GENERATED FROM http://acme.able.cs.cmu.edu
%    by   : anonymous
%    IP   : ec2-3-138-105-31.us-east-2.compute.amazonaws.com
%    at   : Fri, 26 Apr 2024 17:24:12 -0400 GMT
%    
% Selection : Publication #449
%


<tr><td><table><tr><td>

@InProceedings{Ruchkin/2015/loops,
      AUTHOR = {Ruchkin, Ivan and Schmerl, Bradley and Garlan, David},
      TITLE = {Analytic Dependency Loops in Architectural Models of Cyber-Physical Systems},
      YEAR = {2015},
      MONTH = {28 September},
      BOOKTITLE = {Proceedings of the 8th International Workshop on Model-based Architecting of Cyber-Physical and Embedded Systems},
      ADDRESS = {Ottawa, Canada},
      PDF = {http://acme.able.cs.cmu.edu/pubs/uploads/pdf/MBA-CPS.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 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}
}