University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 349 items
Thumbnail for Towards a Systematic Software Architecture for Acute Care Support
Towards a Systematic Software Architecture for Acute Care Support
Sun, Mu; Rahmaniheris, Maryam; Kim, Cheolgi; Sha, Lui R.; Berlin, Richard B.; Goldman, Julian M.

Thumbnail for Physically-asynchronous logically-synchronous (PALS) system design and development
Physically-asynchronous logically-synchronous (PALS) system design and development
Al-Nayeem, Abdullah

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

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 Operating system level resource management for real-time systems
Operating system level resource management for real-time systems
Yun, Heechul

Thumbnail for Architectural Reference Models For Safety-Critical Systems
Architectural Reference Models For Safety-Critical Systems
Crenshaw, Tanya L.

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 Modeling 3-Tiered Web Services
Modeling 3-Tiered Web Services
Liu, Xue; Heo, Jin; Sha, Lui

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 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 Monitoring Oriented Programming and Analysis
Monitoring Oriented Programming and Analysis
Chen, Feng

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

Thumbnail for A Distributed, Energy-aware, Utility-based Approach for Data Transport in Wireless Sensor Networks
A Distributed, Energy-aware, Utility-based Approach for Data Transport in Wireless Sensor Networks
Chen, Wei-Peng; Hou, Jennifer C.; Sha, Lui; Caccamo, Marco

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 Tunable WCET for hard real-time multicore system
Tunable WCET for hard real-time multicore system
Yoon, Man-Ki

Thumbnail for A Microscopic Study of Power Management in IEEE 802.11 Wireless Networks
A Microscopic Study of Power Management in IEEE 802.11 Wireless Networks
Hu, Chunyu; Zheng, Rong; Hou, Jennifer C.; Sha, Lui

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

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

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

Thumbnail for Troubleshooting interactive complexity bugs
Troubleshooting interactive complexity bugs
Khan, Mohammad M.

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

Thumbnail for From experiment to design – fault characterization and detection in parallel computer systems using computational accelerators
From experiment to design – fault characterization and detection in parallel computer systems using computational accelerators
Yim, Keun Soo

Thumbnail for Data-driven resiliency assessment of medical cyber-physical systems
Data-driven resiliency assessment of medical cyber-physical systems
Alemzadeh, Homa

Thumbnail for An exploration on methods for early prediction of sepsis
An exploration on methods for early prediction of sepsis
Chen, Zikun • 2022

Thumbnail for Delay composition theory: A reduction-based schedulability theory for distributed real-time systems
Delay composition theory: A reduction-based schedulability theory for distributed real-time systems
Jayachandran, Praveen

Thumbnail for Static analysis for architecture-implementation conformance in robust embedded systems
Static analysis for architecture-implementation conformance in robust embedded systems
Kowshik, Sumant J.

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 space Real-Time and Embedded Systems Building Blocks for Cyber-Physical Systems
space Real-Time and Embedded Systems Building Blocks for Cyber-Physical Systems
Wang, Qixin

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