Tutorial: Compositional Real-Time Analysis for Cyber-Physical Systems

Submitted by Katie Dey on

 

Compositional Real-Time Analysis for Cyber-Physical Systems Tutorial at CPS Week 2012

This tutorial is concerned with various aspects of component-based design and compositional analysis of cyber-physical systems, with a focus on timing issues. It will first give an overview of component-based frameworks and their underlying principles.

CPS Week Tutorial on Resilient Control Systems

Submitted by Katie Dey on
Resilient control systems refer to ones that maintain the state awareness of threats and anomalies and assure an accepted level of operational normalcy in response to disturbances, including threats of an unexpected and malicious nature such as natural disasters, human errors, and device malfunctions. Traditional concepts of robustness, reliability and defense need to be broadened to include the consideration of cyber and physical security and threats stemming from malicious behavior.

RealWiN 2012

Submitted by Katie Dey on

 

Workshop on Real-Time Wireless Networking for Industrial Applications

During the last 20 years the development of wireless networks has been driven mainly by the demand for more bandwidth. This demand has been necessitated by the human desire for information and communication. Hence, wireless networks have been designed to serve mainly Internet best-effort traffic as well as delay-sensitive voice and video applications.

CONET 2012

Submitted by Katie Dey on

The Third International Workshop on Networks of Cooperating Objects

During the last decade, the continuous improvement and miniaturization of integrated circuits has led to new types of computing systems. An emerging trend is the collaboration of miniature devices to achieve a common goal. Representative examples include wireless sensor networks, pervasive computing and embedded systems.

ECBS 2012

Submitted by Katie Dey on

IEEE International Conference and Workshops on the Engineering of Computer Based Systems

ECBS 2012 will be the 19th formal IEEE sponsored meeting dedicated to formulating and advancing methods, techniques and tools for the engineering of computer-based systems.

Subscribe to