CPS Architectures

The mission of this online community of CPS architectures is to share research results on using cyber-physical system architectures to support design, analysis and verification of complex cyber-physical systems using heterogeneous modeling formalisms.

event

Workshop on Control of Cyber-Physical Systems
Mar 20, 2013 12:00:pm - Mar 21, 2013 7:30:pm

Submitted by dtarraf on Mon, 03/11/2013 - 1:31pm

This targeted workshop on the Control of Cyber-Physical Systems, held at The Johns Hopkins University, consists of a set of invited sessions, focusing on:
◊ Theory of Cyber-Physical Systems
◊ Cybertrust and Cybersecurity
◊ Applications of Cyber-Physical Systems

The workshop program is avilable at:

http://www.ece.jhu.edu/~dtarraf/CPSWorkshop/program.html

Registration is free and open to all. If you plan on attending, please register at:

http://www.ece.jhu.edu/~dtarraf/CPSWorkshop/register.php

file

Using Parameters in Architectural Views to Support Heterogeneous Design and Verification Akshay

Submitted by arajhans on Fri, 08/03/2012 - 3:47pm

Abstract—Current methods for designing cyber-physical systems lack a unifying framework due to the heterogeneous nature of the constituent models and their respective analysis and verification tools. There is a need for a formal representation of the relationships between the different models. Our approach is to