Taxonomic Search: Lui Sha

10 results

Results

file

Visible to the public Integrated Emergency Cyber Physical Human Systems

Abstract:

Researchers from the University of Illinois at Urbana-Champaign in collaboration with physicians and nurses from Intensive Care Unit, Carle Foundation Hospital are developing a new initiative on engineering next generation of medical systems. This project is part of the initiative and focuses on exploring the efficient and safe operation of integrated Emergency Cyber Physical Human (ECPH) systems in emergency scenarios from the Intensive Care Unit (ICU) environment. The key requirements are:

file

Visible to the public The Ektokernel Approach: A Composition Paradigm for Building Evolvable Safety-critical Systems from Unsafe Components

Abstract:

The goal of this project is to develop a tool-chain for composition of safety-critical cyber-physical systems from a small code base of verified components and a large code base of unverified commercial off-the- shelf components. Unlike tool-chains that aim to deliver end-to-end verified component code, starting from formal languages, specifications, or models, an explicit goal of this project is to accommodate large amounts of legacy code that is typically too complex to verify.

file

Visible to the public CPS: Synergy: Collaborative Research: Engineering Safety-Critical Cyber-Physical-Human Systems

This cross-disciplinary project brings together a team of engineering and computer science researchers to create and demonstrate the value of new techniques for ensuring that systems comprised of hardware, software, and humans will perform in a synergistic and safe manner.