Skip to main content
U.S. flag

An official website of the United States government

Dot gov

The .gov means it’s official.
Federal government websites often end in .gov or .mil. Before sharing sensitive information, make sure you’re on a federal government site.

Https

The site is secure.
The https:// ensures that you are connecting to the official website and that any information you provide is encrypted and transmitted securely.

Summary

This project studies ways to approach the notion of composition in IoT.

Description

One approach develops a ‘CPS algebra’ based on a formal language that offers the expressive power needed to capture the observable behavior of Cyber-Physical System (CPS) components, and at the same time offers a way to express the notion of composition of CPSs. 

A second effort extends the in-network capabilities of Named-Data Networking (NDN) to enable on-the-fly composition of resources.  A Composition Domain Specific Language (C-DSL) is proposed as a solution to express the composition using the power of NDN naming.
 

Major Accomplishments

  • Definition Composition Domain Specific Language for IoT
  • NamedIoT: an implementation of in-network composition using Named Data Networking architecture
  • Distance measurement method for networked composition efficiency 
  • Definition of a formal CPS algebra using formal methods  

Publications:

  • Toward In-Network IoT Composition over NDN
  • The Algebra of Systems and System Interactions with an application to Smart Grid
Created August 16, 2016, Updated May 9, 2018