Compositional System Modeling with Interfaces - COSMOI

Download

Abstract:

Design of cyber-physical systems today relies on executable models. Designers develop models, simulate them, find defects, and improve their designs before the system is built, thus greatly reducing the design costs.

  • Compositionality
  • contracts
  • cyber-physical systems
  • Functional Mockup Interface
  • Interfaces
  • model-based design
  • University of California at Berkeley
  • Multi-models
  • Control
  • Modeling
  • Simulation
  • Validation and Verification
  • Foundations
  • National CPS PI Meeting 2014
  • 2014
  • Abstract
  • Poster
  • Academia
  • CPSPI MTG 2014 Posters, Videos and Abstracts
Submitted by tripakis on