CPS

Cyber-Physical Systems 

OpenMETA

OpenMETA provides several key innovations:

pizza Lecture : Establishing Secure Interactions Across Distributed Applications in Satellite Clusters

08/22/2014 12:00 pm
08/22/2014 1:00 pm

Title: Establishing Secure Interactions Across Distributed Applications in Satellite Clusters

 

Lecture by Daniel Balasubramanian: Polyglot: Modeling and Analysis for Multiple Statechart Formalisms

In large programs such as NASA Exploration, multiple systems that interact via safety-critical protocols are already designed with different Statechart variants. To verify these safety-critical systems, a unified framework is needed based on a formal semantics that captures the variants of Statecharts. We describe Polyglot, a unified framework for the analysis of models described using multiple Statechart formalisms. In this framework, Statechart models are translated into Java and analyzed using pluggable semantics for different variants operating in a polymorphic execution environment.

NSF Locates National Resource for Cyber-Physical Systems Research at ISIS

The Virtual Organization for Cyber-Physical Research - The objective of the CPS “virtual organization” (CPS-VO) is to actively build and support the multidisciplinary community needed to underpin this new research discipline and enable international and interagency collaboration on CPS. In support of this, VO-CyPhER will work with the CPS-VO community to foster community building, knowledge sharing, and collaboration.  

Cyber Physical Systems

Cyber-Physical Systems (CPS) are engineered systems comprising interacting physical and computational components. In  CPS, computation and communication are deeply embedded in and interacting with physical processes to add new capabilities and characteristics to physical systems. Software design in such system will have a very strong 'systems engineering' flavor: the software implementation of various system functions (e.g.