University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 31–60 of 360 items
Thumbnail for PALS: Physically Asynchronous Logically Synchronous Systems
PALS: Physically Asynchronous Logically Synchronous Systems
Sha, Lui; Al-Nayeem, Abdullah; Sun, Mu; Meseguer, José; Olveczky, Peter C.

Thumbnail for An adaptive physiology-aware communication framework for distributed medical cyber physical systems
An adaptive physiology-aware communication framework for distributed medical cyber physical systems
Hosseini, Seyyed Mohammad

Thumbnail for Virtual Execution Environment for Robust Real -Time Systems
Virtual Execution Environment for Robust Real -Time Systems
Lee, Kihwal

Thumbnail for Low complexity system architecture design for medical Cyber-Physical-Human Systems (CPHS)
Low complexity system architecture design for medical Cyber-Physical-Human Systems (CPHS)
Wu, Po-Liang

Thumbnail for Formal patterns for medical device safety
Formal patterns for medical device safety
Sun, Mu

Thumbnail for A wireless controlled robot real-time systems laboratory
A wireless controlled robot real-time systems laboratory
Girotti, Joseph

Thumbnail for Real-Time and Embedded Systems Building Blocks for Cyber-Physical Systems
Real-Time and Embedded Systems Building Blocks for Cyber-Physical Systems
Wang, Qixin

Thumbnail for Operating system level resource management for real-time systems
Operating system level resource management for real-time systems
Yun, Heechul

Thumbnail for Predictable and monitored execution for COTS-based real-time embedded systems
Predictable and monitored execution for COTS-based real-time embedded systems
Pellizzoni, Rodolfo

Thumbnail for Dependency Management Framework: A Tool for Designing Robust Real -Time Systems
Dependency Management Framework: A Tool for Designing Robust Real -Time Systems
Ding, Hui

Thumbnail for Safety-driven software design and engineering in medical cyber-physical-human systems
Safety-driven software design and engineering in medical cyber-physical-human systems
Ou, Yi-Zong

Thumbnail for A Multi-layer Dependency Model for Analysis of Safety-critical Embedded Systems
A Multi-layer Dependency Model for Analysis of Safety-critical Embedded Systems
Rahmaniheris, Maryam

Thumbnail for Modern lightweight approach for design and implementation of workflow-based clinical guidance system
Modern lightweight approach for design and implementation of workflow-based clinical guidance system
Chen, Luting

Thumbnail for Predictable inter-core communication for strictly partitioned real-time multi-core systems
Predictable inter-core communication for strictly partitioned real-time multi-core systems
Wen, Jen-Yang

Thumbnail for A tool for model-based engineering
A tool for model-based engineering
Nam, Min Young

Thumbnail for Timing analysis in existing and emerging cyber physical systems
Timing analysis in existing and emerging cyber physical systems
Kim, Jung-Eun

Thumbnail for Monitoring Oriented Programming and Analysis
Monitoring Oriented Programming and Analysis
Chen, Feng

Thumbnail for A Distributed Open Environment for Real-Time Applications
A Distributed Open Environment for Real-Time Applications
Zhang, Lynn Y.

Thumbnail for Feedback Based Performance Management and Fault Tolerance for Networked and Embedded Computing Systems
Feedback Based Performance Management and Fault Tolerance for Networked and Embedded Computing Systems
Liu, Xue

Thumbnail for Implementation and remote delivery of Embedded Systems labs on the arduino platform
Implementation and remote delivery of Embedded Systems labs on the arduino platform
Fauza, Rafael

Thumbnail for Toward time-predictable execution of multi-task real-time systems
Toward time-predictable execution of multi-task real-time systems
Bui, Bach

Thumbnail for Dynamic resource provisioning for data center workloads with data constraints
Dynamic resource provisioning for data center workloads with data constraints
Li, Shen

Thumbnail for Tunable WCET for hard real-time multicore system
Tunable WCET for hard real-time multicore system
Yoon, Man-Ki

Thumbnail for Safety and security of cyber-physical systems
Safety and security of cyber-physical systems
Abdi Taghi Abad, Fardin

Thumbnail for Design, Analysis and Empirical Evaluation of Power Management in Multi-Hop Wireless Networks
Design, Analysis and Empirical Evaluation of Power Management in Multi-Hop Wireless Networks
Zheng, Rong

Thumbnail for Verifiable COTS-based cyber-physical systems
Verifiable COTS-based cyber-physical systems
Bak, Stanley

Thumbnail for Robust adaptive sampled-data control design for MIMO systems: Applications in cyber-physical security
Robust adaptive sampled-data control design for MIMO systems: Applications in cyber-physical security
Jafarnejadsani, Hamidreza

Thumbnail for Attention-based machine perception for intelligent cyber-physical systems
Attention-based machine perception for intelligent cyber-physical systems
Liu, Shengzhong

Thumbnail for Next-generation safety-critical systems using COTS based homogeneous multi-core processors and heterogeneous MPSoCS
Next-generation safety-critical systems using COTS based homogeneous multi-core processors and heterogeneous MPSoCS
Tabish, Rohan

Thumbnail for Design of a medium access control protocol that exploits the structures of vehicular networks
Design of a medium access control protocol that exploits the structures of vehicular networks
Lam, Kong