software engineering

file

Visible to the public Reconciling Safety with the Internet for Cyber-Physical Systems

Overview. The Internet of Things (IoT) leverages Internet technology in cyber-physical systems, but the protocols and principles of the Internet were not designed for interacting with the physical world. For example, timeliness is not a factor in any widespread Internet technology, with Quality-of-Service (QoS) features having been routinely omitted for decades.

file

Visible to the public Minimizing the Oracle Problem for Self-Adaptive Cyber-Physical Systems

Cyber-physical systems (CPS), particularly those within the safety-critical domain, must continually ensure that their requirements are being satisfied. To support online requirements satisfaction, a CPS can be modeled with self-adaptive characteristics (SA-CPS) to enable the system to self-reconfigure as uncertainty manifests in both the environment and the system itself.