Skip to Main Content Area
  • CPS-VO
    • Contact Support
  • Browse
    • Calendar
    • Announcements
    • Repositories
    • Groups
  • Search
    • Search for Content
    • Search for a Group
    • Search for People
    • Search for a Project
    • Tagcloud
      
 
Not a member?
Click here to register!
Forgot username or password?
 
Home
National Science Foundation

Cyber-Physical Systems Virtual Organization

Read-only archive of site from September 29, 2023.

CPS-VO

Functional Mockup Interface

video

Visible to the public Compositional System Modeling with Interfaces - COSMOI

Submitted by tripakis on Wed, 12/03/2014 - 12:38pm
  • Multi-models
  • Modeling
  • Simulation
  • Validation and Verification
  • Foundations
  • Compositionality
  • contracts
  • cyber-physical systems
  • Functional Mockup Interface
  • Interfaces
  • model-based design
  • University of California at Berkeley
  • National CPS PI Meeting 2014
  • 2014
  • Academia
file

Visible to the public Compositional System Modeling with Interfaces - COSMOI

Submitted by tripakis on Mon, 11/10/2014 - 2:52pm. Contributors:
  • Stavros Tripakis
  • Edward A. Lee

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.

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

Terms of Use  |  ©2023. CPS-VO