% % GENERATED FROM http://acme.able.cs.cmu.edu % by : anonymous % IP : ec2-3-129-69-13.us-east-2.compute.amazonaws.com % at : Sat, 20 Jul 2024 15:23:19 -0400 GMT % % Selection : Publication #449 %
@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} } |