Contract-Based Integration of Cyber-Physical Analyses (Poster)
Abstract
CPS engineering combines diverse model-based analyses from various engineering domains. Differences in domain abstractions lead to integration issues: * If an assumption of an analysis are violated by another, the outputs of the former may be invalid. * Specification of such implicit assumptions and detection of their violation is left to human designers, who are often unable to cope with complexity. * Analysis integration problems discovered late in development lead to expensive changes to the system. Hence the research question: * How to specify analysis compositions and verify their correctness?
Document Details
- Document Type
- Technical Report
- Publication Date
- Nov 07, 2014
- Accession Number
- ADA614286
Entities
People
- David Garlan
- Dionisio de Niz
- Ivan Ruchkin
- Sagar Chaki
Organizations
- Carnegie Mellon University