Composition

The ability to include models as submodels inside other models.
event

Visible to the public  WFCD'10
Oct 24, 2010 8:00 am - 8:00 am CDT

WFCD - Foundations and Applications of Component-based Design 2010 

The workshop aims to discuss recent results on component-based design with emphasis on design frameworks for real-time systems encompassing heterogeneous composition and models of computation. The focus is not only on fundamental results but also on their implementation in methods and tools and their concrete application in areas such as automotive, avionics, consumer electronics and automation. 
event

Visible to the public  Automotive CPS
Mar 17, 2011 3:00 am - Mar 18, 2011 9:30 am CDT

Workshop for Developing Dependable Automotive Cyber-Physical Systems from Components

 

The goal of this workshop, a follow-on to previous workshops on Cyber-Physical Systems (CPS), is to continue to define and refine the technology needs and gaps for deeply-embedded software-intensive electronic control systems that interact deeply with the physical world in ways that have stringent reliability, availability, and safety requirements

 

event

Visible to the public  EOOLT 2010
Oct 02, 2010 7:00 pm - 7:00 pm CDT

3rd International Workshop on Equation-Based Object-Oriented Languages and Tools 

forum

Visible to the public CFP: SenSys 2012

The ACM Conference on Embedded Networked Sensor Systems (SenSys 2012) solicits innovative research papers on the systems issues of networked, embedded sensing and control.

file

Visible to the public Compositional Assurance for MILS

Presented as part of the 2007 HCSS conference.

Abstract

Assurance and certification for safety and security have traditionally been performed only on complete systems. But modern engineering and business practices argue for a compositional approach based on pre-certified components.