Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Publication no #411   Download bibtex file Type :   Html | Bib | Both
411
@InProceedings{2014/Ruchkin/CBI,
      AUTHOR = {Ruchkin, Ivan and De Niz, Dio and Chaki, Sagar and Garlan, David},
      TITLE = {Contract-Based Integration of Cyber-Physical Analyses},
      YEAR = {2014},
      MONTH = {12-17 October},
      BOOKTITLE = {Embedded Systems Week},
      PDF = {http://acme.able.cs.cmu.edu/pubs/uploads/pdf/paper-camera-ready-ieee-verified-178-EM82.pdf},
      ABSTRACT = {Developing cyber-physical systems involves creating systems with properties from multiple domains, e.g., timing, logical correctness, thermal resilience, aerodynamics, and mechanical stress. In today�s industrial practice, multiple analyses are used to obtain and verify such properties. Unfortunately, given that these analyses originate from different scientific domains, they abstract away interactions among themselves, risking the invalidation of their results. Specifically, one challenge is to ensure that an analysis is never applied to a model that violates its assumptions. Since such violation can originate from the updating of the model by another analysis, analyses must be executed in the correct order. Another challenge is to do this soundly and scalably over models of realistic complexity and diverse set of analyses. To address these challenges, we develop an analysis integration approach that uses contracts to specify dependencies between analyses, determine their correct orders of application, and specify and verify applicability conditions across multiple domains. We present an implementation of our approach, and demonstrate its effectiveness, extensibility, and scalability.},
      KEYWORDS = {Cyberphysical Systems, Landmark}
}

Your name:
Email:
Comment:
    Created: 2014-05-05 13:37:19     Modified: 2017-04-11 12:36:38
Feedback: ABLE Webmaster
Last modified: Sat October 12 2019 16:15:32
        BibAdmin