Accession Number:

ADA614286

Title:

Contract-Based Integration of Cyber-Physical Analyses (Poster)

Descriptive Note:

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST

Report Date:

2014-11-07

Pagination or Media Count:

2.0

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

Subject Categories:

  • Computer Programming and Software
  • Computer Hardware

Distribution Statement:

APPROVED FOR PUBLIC RELEASE